Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
xsmith
WebAssembly Sandbox
Commits
96ba1726
Commit
96ba1726
authored
Apr 08, 2020
by
Guy Watson
Browse files
Properly classify 'shl', 'shr_s/u', 'rotr', and 'rotl' as binops
parent
e73dec39
Changes
1
Hide whitespace changes
Inline
Side-by-side
wasmlike/wasmlike.rkt
View file @
96ba1726
...
...
@@ -75,6 +75,11 @@
[
And
Binop
()]
[
Or
Binop
()]
[
Xor
Binop
()]
[
ShiftLeft
Binop
()]
[
ShiftRightSigned
Binop
()]
[
ShiftRightUnsigned
Binop
()]
[
RotateLeft
Binop
()]
[
RotateRight
Binop
()]
[
Unop
Expr
([
expr
:
Expr
])
#:prop
choice-weight
20
#:prop
may-be-generated
#f
]
...
...
@@ -82,11 +87,6 @@
[
CountLeadingZero
Unop
()]
[
CountTrailingZero
Unop
()]
[
NonZeroBits
Unop
()]
[
ShiftLeft
Unop
()]
[
ShiftRightSigned
Unop
()]
[
ShiftRightUnsigned
Unop
()]
[
RotateLeft
Unop
()]
[
RotateRight
Unop
()]
[
IfElse
Expr
([
cond
:
Expr
]
[
then
:
Expr
]
[
else
:
Expr
])
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment