Create a super rough prototype of B3
[WebKit-https.git] / Source / JavaScriptCore / b3 / B3AddressMatcher.patterns
1 # Copyright (C) 2015 Apple Inc. All rights reserved.
2 #
3 # Redistribution and use in source and binary forms, with or without
4 # modification, are permitted provided that the following conditions
5 # are met:
6 # 1. Redistributions of source code must retain the above copyright
7 #    notice, this list of conditions and the following disclaimer.
8 # 2. Redistributions in binary form must reproduce the above copyright
9 #    notice, this list of conditions and the following disclaimer in the
10 #    documentation and/or other materials provided with the distribution.
11 #
12 # THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS''
13 # AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
14 # THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
15 # PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS
16 # BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
17 # CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
18 # SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
19 # INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
20 # CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
21 # ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
22 # THE POSSIBILITY OF SUCH DAMAGE.
23
24 matcher AddressMatcher
25
26 # Note that this relies on B3 doing aggressive reassociation and canoncalization of integer adds.
27 # We'll never see Add(Add(x, const1), const2) because it would have already been reassociated into
28 # Add(x, const1 + const2). Also, we will never see Add(const, x), because we would have canonicalized
29 # it to Add(x, const). That said, in this code we never make assertions about these optimizations
30 # having been performed. Also, since the Load/Store instructions in B3 have a built-in offset, we
31 # don't need to match Add(x, const). That would have been folded into the Load/Store instructions
32 # already. So, the only fancy mathing this can do is just BaseIndex forms.
33
34 AddShift1 = Add(Shl(index, $logScale), base)
35 AddShift2 = Add(base, Shl(index, $logScale))
36
37 Add = Add(left, right)
38
39 Direct