| /* Purpose: test the soundness of the lsr operation */ | |
| .text | |
| .globl _start | |
| _start: | |
| { | |
| r0 = #-56984 | |
| r1 = #2147483647 | |
| } | |
| { | |
| r2 = #0x19 | |
| } | |
| { | |
| r0 &= lsr(r1, r2) | |
| } | |
| { | |
| p0 = cmp.eq(r0, #0x28); if (p0.new) jump:t test2 | |
| jump fail | |
| } | |
| test2: | |
| { | |
| r0 = #0x0000000a | |
| r1 = #0x00000000 | |
| } | |
| { | |
| r2 = #-1 | |
| } | |
| { | |
| r1:0 = lsl(r1:0, r2) | |
| } | |
| { | |
| p0 = cmp.eq(r0, #0x5); if (p0.new) jump:t pass | |
| jump fail | |
| } |