1*585a86b1SNiccolò Izzo/* Purpose: test example, verify the soundness of the bitsplit 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 = #187 9*585a86b1SNiccolò Izzo } 10*585a86b1SNiccolò Izzo { 11*585a86b1SNiccolò Izzo r3:2 = bitsplit(r1, #3) 12*585a86b1SNiccolò Izzo } 13*585a86b1SNiccolò Izzo { 14*585a86b1SNiccolò Izzo p0 = cmp.eq(r2, #3); if (p0.new) jump:t test2 15*585a86b1SNiccolò Izzo jump fail 16*585a86b1SNiccolò Izzo } 17*585a86b1SNiccolò Izzo 18*585a86b1SNiccolò Izzotest2: 19*585a86b1SNiccolò Izzo { 20*585a86b1SNiccolò Izzo p0 = cmp.eq(r3, #23); if (p0.new) jump:t pass 21*585a86b1SNiccolò Izzo jump fail 22*585a86b1SNiccolò Izzo } 23