# CHECK: p1 = any8(p2)
0x01 0xc0 0xa2 0x6b
# CHECK: p1 = all8(p2)
-0x08 0xc4 0x15 0x60
-# CHECK: loop0
-0x08 0xc4 0x35 0x60
-# CHECK: loop1
-0x68 0xc4 0x00 0x69
-# CHECK: loop0
-0x68 0xc4 0x20 0x69
-# CHECK: loop1
-0x08 0xc4 0xb5 0x60
-# CHECK: p3 = sp1loop0
-0x08 0xc4 0xd5 0x60
-# CHECK: p3 = sp2loop0
-0x08 0xc4 0xf5 0x60
-# CHECK: p3 = sp3loop0
-0xa9 0xc4 0xa0 0x69
-# CHECK: p3 = sp1loop0
-0xa9 0xc4 0xc0 0x69
-# CHECK: p3 = sp2loop0
-0xa9 0xc4 0xe0 0x69
-# CHECK: p3 = sp3loop0
0x01 0xc3 0x02 0x6b
# CHECK: p1 = and(p3, p2)
0x01 0xc3 0x62 0x6b