0x03 0x40 0x45 0x85 0xb1 0xda 0x75 0x47
# CHECK: p3 = r5
# CHECK-NEXT: if (!p3.new) r17 = memuh(r21 + #42)
-0xb1 0xc2 0x95 0x91
-# CHECK: r17 = memw(r21 + #84)
-0xb1 0xda 0x95 0x41
-# CHECK: if (p3) r17 = memw(r21 + #84)
-0xb1 0xda 0x95 0x45
-# CHECK: if (!p3) r17 = memw(r21 + #84)
-0x03 0x40 0x45 0x85 0xb1 0xda 0x95 0x43
-# CHECK: p3 = r5
-# CHECK-NEXT: if (p3.new) r17 = memw(r21 + #84)
-0x03 0x40 0x45 0x85 0xb1 0xda 0x95 0x47
-# CHECK: p3 = r5
-# CHECK-NEXT: if (!p3.new) r17 = memw(r21 + #84)