1/* Purpose: test example, verify the soundness of the abs operation */ 2 3 .text 4 .globl _start 5 6_start: 7 { 8 r1 = #-2 9 r2 = #2 10 } 11 { 12 r3 = abs(r1) 13 } 14 { 15 p0 = cmp.eq(r3, r2); if (p0.new) jump:t pass 16 jump fail 17 } 18