/* Purpose: test the soundness of the vlsrw operation */

    .text
    .globl _start

_start:
    {
        r0 = #0x00000001
        r1 = #0x00000001
    }
    {
        r1:0 = vlsrw(r1:0, #1)
    }
    {
        r0 = add(r0, r1)
    }
    {
        p0 = cmp.eq(r0, #0); if (p0.new) jump:t pass
        jump fail
    }