Implement some arithmetic instructions in WebAssembly
[WebKit-https.git] / Source / JavaScriptCore / wasm / WASMFunctionSyntaxChecker.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 WASMFunctionSyntaxChecker_h
27 #define WASMFunctionSyntaxChecker_h
28
29 #if ENABLE(WEBASSEMBLY)
30
31 #define UNUSED 0
32
33 namespace JSC {
34
35 class WASMFunctionSyntaxChecker {
36 public:
37     typedef int Expression;
38     typedef int Statement;
39
40     void startFunction(const Vector<WASMType>& arguments, uint32_t numberOfI32LocalVariables, uint32_t numberOfF32LocalVariables, uint32_t numberOfF64LocalVariables)
41     {
42         m_numberOfLocals = arguments.size() + numberOfI32LocalVariables + numberOfF32LocalVariables + numberOfF64LocalVariables;
43     }
44
45     void endFunction()
46     {
47         ASSERT(!m_tempStackTop);
48     }
49
50     void buildReturn(int, WASMExpressionType returnType)
51     {
52         if (returnType != WASMExpressionType::Void)
53             m_tempStackTop--;
54     }
55
56     int buildImmediateI32(uint32_t)
57     {
58         m_tempStackTop++;
59         updateTempStackHeight();
60         return UNUSED;
61     }
62
63     int buildBinaryI32(int, int, WASMOpExpressionI32)
64     {
65         m_tempStackTop--;
66         return UNUSED;
67     }
68
69     unsigned stackHeight()
70     {
71         return m_numberOfLocals + m_tempStackHeight;
72     }
73
74 private:
75     void updateTempStackHeight()
76     {
77         if (m_tempStackTop > m_tempStackHeight)
78             m_tempStackHeight = m_tempStackTop;
79     }
80
81     unsigned m_numberOfLocals;
82     unsigned m_tempStackTop { 0 };
83     unsigned m_tempStackHeight { 0 };
84 };
85
86 } // namespace JSC
87
88 #endif // ENABLE(WEBASSEMBLY)
89
90 #endif // WASMFunctionSyntaxChecker_h