Create a super rough prototype of B3
[WebKit-https.git] / Source / JavaScriptCore / b3 / B3CheckValue.h
1 /*
2  * Copyright (C) 2015 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 #ifndef B3CheckValue_h
27 #define B3CheckValue_h
28
29 #if ENABLE(B3_JIT)
30
31 #include "B3Stackmap.h"
32 #include "B3Value.h"
33
34 namespace JSC { namespace B3 {
35
36 class JS_EXPORT_PRIVATE CheckValue : public Value {
37 public:
38     static bool accepts(Opcode opcode)
39     {
40         switch (opcode) {
41         case CheckAdd:
42         case CheckSub:
43         case CheckMul:
44         case Check:
45             return true;
46         default:
47             return false;
48         }
49     }
50
51     ~CheckValue();
52
53     Stackmap stackmap;
54
55 protected:
56     void dumpMeta(PrintStream&) const override;
57
58 private:
59     friend class Procedure;
60
61     // Use this form for CheckAdd, CheckSub, and CheckMul.
62     CheckValue(unsigned index, Opcode opcode, Origin origin, Value* left, Value* right)
63         : Value(index, opcode, left->type(), origin, left, right)
64     {
65         ASSERT(isInt(type()));
66         ASSERT(left->type() == right->type());
67         ASSERT(opcode == CheckAdd || opcode == CheckSub || opcode == CheckMul);
68     }
69
70     // Use this form for Check.
71     CheckValue(unsigned index, Opcode opcode, Origin origin, Value* predicate)
72         : Value(index, opcode, Void, origin, predicate)
73     {
74         ASSERT(opcode == Check);
75     }
76 };
77
78 } } // namespace JSC::B3
79
80 #endif // ENABLE(B3_JIT)
81
82 #endif // B3CheckValue_h
83
84