Test case:
test-case: signed right shift
pre: ["r0.type=number", "r0.svalue=0", "r0.uvalue=0"]
code:
<start>: |
r0 = 0xfb000000
r0 s>>= 0
post:
- r0.type=number
- r0.svalue=-83886080
- r0.uvalue=18446744073625665536
Expected result:
Test should pass.
Actual result:
Unexpected properties:
[
r0.uvalue=-83886080]
Unseen properties:
[
r0.uvalue=18446744073625665536]
Unexpected messages: None
Unseen messages: None
Test case:
Expected result:
Test should pass.
Actual result: