1/*
2 * Copyright (C) 2015-2016 Apple Inc. All rights reserved.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions
6 * are met:
7 * 1. Redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer.
9 * 2. Redistributions in binary form must reproduce the above copyright
10 * notice, this list of conditions and the following disclaimer in the
11 * documentation and/or other materials provided with the distribution.
12 *
13 * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR
17 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20 * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21 * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
24 */
25
26#pragma once
27
28#if ENABLE(B3_JIT)
29
30#include "B3CaseCollection.h"
31#include "B3SwitchCase.h"
32#include "B3Value.h"
33
34namespace JSC { namespace B3 {
35
36class SwitchValue : public Value {
37public:
38 static bool accepts(Kind kind) { return kind == Switch; }
39
40 ~SwitchValue();
41
42 // numCaseValues() + 1 == numSuccessors().
43 unsigned numCaseValues() const { return m_values.size(); }
44
45 // The successor for this case value is at the same index.
46 int64_t caseValue(unsigned index) const { return m_values[index]; }
47
48 const Vector<int64_t>& caseValues() const { return m_values; }
49
50 CaseCollection cases(const BasicBlock* owner) const { return CaseCollection(this, owner); }
51 CaseCollection cases() const { return cases(owner); }
52
53 bool hasFallThrough(const BasicBlock*) const;
54 bool hasFallThrough() const;
55
56 BasicBlock* fallThrough(const BasicBlock* owner);
57
58 // These two functions can be called in any order.
59 void setFallThrough(BasicBlock*, const FrequentedBlock&);
60 void appendCase(BasicBlock*, const SwitchCase&);
61
62 JS_EXPORT_PRIVATE void setFallThrough(const FrequentedBlock&);
63 JS_EXPORT_PRIVATE void appendCase(const SwitchCase&);
64
65 void dumpSuccessors(const BasicBlock*, PrintStream&) const override;
66
67 B3_SPECIALIZE_VALUE_FOR_FIXED_CHILDREN(1)
68 B3_SPECIALIZE_VALUE_FOR_FINAL_SIZE_FIXED_CHILDREN
69
70protected:
71 void dumpMeta(CommaPrinter&, PrintStream&) const override;
72
73private:
74 friend class Procedure;
75 friend class Value;
76
77 static Opcode opcodeFromConstructor(Origin, Value*) { return Switch; }
78 JS_EXPORT_PRIVATE SwitchValue(Origin, Value* child);
79
80 Vector<int64_t> m_values;
81};
82
83} } // namespace JSC::B3
84
85#endif // ENABLE(B3_JIT)
86