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