/* 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
    }