/* Purpose: test example, verify the soundness of the abs operation */

    .text
    .globl _start

_start:
    {
        r1 = #-2
        r2 = #2
    }
    {
        r3 = abs(r1)
    }
    {
        p0 = cmp.eq(r3, r2); if (p0.new) jump:t pass
        jump fail
    }