Test Failure: Transforms/InstCombine/saturating-add-sub.ll

Test source: git

Log:

Source: <stdin>

----------------------------------------
define i8 @test_scalar_uadd_canonical(i8 %a) {
%0:
  %x = uadd_sat i8 10, %a
  ret i8 %x
}
=>
define i8 @test_scalar_uadd_canonical(i8 %a) {
%0:
  %x = uadd_sat i8 %a, 10
  ret i8 %x
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_uadd_canonical(<2 x i8> %a) {
%0:
  %x = uadd_sat <2 x i8> { 10, 20 }, %a
  ret <2 x i8> %x
}
=>
define <2 x i8> @test_vector_uadd_canonical(<2 x i8> %a) {
%0:
  %x = uadd_sat <2 x i8> %a, { 10, 20 }
  ret <2 x i8> %x
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_sadd_canonical(i8 %a) {
%0:
  %x = sadd_sat i8 246, %a
  ret i8 %x
}
=>
define i8 @test_scalar_sadd_canonical(i8 %a) {
%0:
  %x = sadd_sat i8 %a, 246
  ret i8 %x
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_sadd_canonical(<2 x i8> %a) {
%0:
  %x = sadd_sat <2 x i8> { 10, 236 }, %a
  ret <2 x i8> %x
}
=>
define <2 x i8> @test_vector_sadd_canonical(<2 x i8> %a) {
%0:
  %x = sadd_sat <2 x i8> %a, { 10, 236 }
  ret <2 x i8> %x
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_uadd_combine(i8 %a) {
%0:
  %x1 = uadd_sat i8 %a, 10
  %x2 = uadd_sat i8 %x1, 20
  ret i8 %x2
}
=>
define i8 @test_scalar_uadd_combine(i8 %a) {
%0:
  %1 = uadd_sat i8 %a, 30
  ret i8 %1
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_uadd_combine(<2 x i8> %a) {
%0:
  %x1 = uadd_sat <2 x i8> %a, { 10, 10 }
  %x2 = uadd_sat <2 x i8> %x1, { 20, 20 }
  ret <2 x i8> %x2
}
=>
define <2 x i8> @test_vector_uadd_combine(<2 x i8> %a) {
%0:
  %1 = uadd_sat <2 x i8> %a, { 30, 30 }
  ret <2 x i8> %1
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_uadd_overflow(i8 %a) {
%0:
  %y1 = uadd_sat i8 %a, 100
  %y2 = uadd_sat i8 %y1, 200
  ret i8 %y2
}
=>
define i8 @test_scalar_uadd_overflow(i8 %a) {
%0:
  ret i8 255
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_uadd_overflow(<2 x i8> %a) {
%0:
  %y1 = uadd_sat <2 x i8> %a, { 100, 100 }
  %y2 = uadd_sat <2 x i8> %y1, { 200, 200 }
  ret <2 x i8> %y2
}
=>
define <2 x i8> @test_vector_uadd_overflow(<2 x i8> %a) {
%0:
  ret <2 x i8> { 255, 255 }
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_sadd_both_positive(i8 %a) {
%0:
  %z1 = sadd_sat i8 %a, 10
  %z2 = sadd_sat i8 %z1, 20
  ret i8 %z2
}
=>
define i8 @test_scalar_sadd_both_positive(i8 %a) {
%0:
  %1 = sadd_sat i8 %a, 30
  ret i8 %1
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_sadd_both_positive(<2 x i8> %a) {
%0:
  %z1 = sadd_sat <2 x i8> %a, { 10, 10 }
  %z2 = sadd_sat <2 x i8> %z1, { 20, 20 }
  ret <2 x i8> %z2
}
=>
define <2 x i8> @test_vector_sadd_both_positive(<2 x i8> %a) {
%0:
  %1 = sadd_sat <2 x i8> %a, { 30, 30 }
  ret <2 x i8> %1
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_sadd_both_negative(i8 %a) {
%0:
  %u1 = sadd_sat i8 %a, 246
  %u2 = sadd_sat i8 %u1, 236
  ret i8 %u2
}
=>
define i8 @test_scalar_sadd_both_negative(i8 %a) {
%0:
  %1 = sadd_sat i8 %a, 226
  ret i8 %1
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_sadd_both_negative(<2 x i8> %a) {
%0:
  %u1 = sadd_sat <2 x i8> %a, { 246, 246 }
  %u2 = sadd_sat <2 x i8> %u1, { 236, 236 }
  ret <2 x i8> %u2
}
=>
define <2 x i8> @test_vector_sadd_both_negative(<2 x i8> %a) {
%0:
  %1 = sadd_sat <2 x i8> %a, { 226, 226 }
  ret <2 x i8> %1
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_uadd_neg_neg(i8 %a) {
%0:
  %a_neg = or i8 %a, 128
  %r = uadd_sat i8 %a_neg, 246
  ret i8 %r
}
=>
define i8 @test_scalar_uadd_neg_neg(i8 %a) {
%0:
  ret i8 255
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_uadd_neg_neg(<2 x i8> %a) {
%0:
  %a_neg = or <2 x i8> %a, { 128, 128 }
  %r = uadd_sat <2 x i8> %a_neg, { 246, 236 }
  ret <2 x i8> %r
}
=>
define <2 x i8> @test_vector_uadd_neg_neg(<2 x i8> %a) {
%0:
  ret <2 x i8> { 255, 255 }
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_uadd_nneg_nneg(i8 %a) {
%0:
  %a_nneg = and i8 %a, 127
  %r = uadd_sat i8 %a_nneg, 10
  ret i8 %r
}
=>
define i8 @test_scalar_uadd_nneg_nneg(i8 %a) {
%0:
  %a_nneg = and i8 %a, 127
  %r = add nuw i8 %a_nneg, 10
  ret i8 %r
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_uadd_nneg_nneg(<2 x i8> %a) {
%0:
  %a_nneg = and <2 x i8> %a, { 127, 127 }
  %r = uadd_sat <2 x i8> %a_nneg, { 10, 20 }
  ret <2 x i8> %r
}
=>
define <2 x i8> @test_vector_uadd_nneg_nneg(<2 x i8> %a) {
%0:
  %a_nneg = and <2 x i8> %a, { 127, 127 }
  %r = add nuw <2 x i8> %a_nneg, { 10, 20 }
  ret <2 x i8> %r
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define i8 @test_scalar_uadd_never_overflows(i8 %a) {
%0:
  %a_masked = and i8 %a, 129
  %r = uadd_sat i8 %a_masked, 1
  ret i8 %r
}
=>
define i8 @test_scalar_uadd_never_overflows(i8 %a) {
%0:
  %a_masked = and i8 %a, 129
  %r = add nsw nuw i8 %a_masked, 1
  ret i8 %r
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_uadd_never_overflows(<2 x i8> %a) {
%0:
  %a_masked = and <2 x i8> %a, { 129, 129 }
  %r = uadd_sat <2 x i8> %a_masked, { 1, 1 }
  ret <2 x i8> %r
}
=>
define <2 x i8> @test_vector_uadd_never_overflows(<2 x i8> %a) {
%0:
  %a_masked = and <2 x i8> %a, { 129, 129 }
  %r = add nsw nuw <2 x i8> %a_masked, { 1, 1 }
  ret <2 x i8> %r
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_uadd_always_overflows(i8 %a) {
%0:
  %a_masked = or i8 %a, 192
  %r = uadd_sat i8 %a_masked, 64
  ret i8 %r
}
=>
define i8 @test_scalar_uadd_always_overflows(i8 %a) {
%0:
  ret i8 255
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_uadd_always_overflows(<2 x i8> %a) {
%0:
  %a_masked = or <2 x i8> %a, { 192, 192 }
  %r = uadd_sat <2 x i8> %a_masked, { 64, 64 }
  ret <2 x i8> %r
}
=>
define <2 x i8> @test_vector_uadd_always_overflows(<2 x i8> %a) {
%0:
  ret <2 x i8> { 255, 255 }
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_sadd_neg_nneg(i8 %a) {
%0:
  %a_neg = or i8 %a, 128
  %r = sadd_sat i8 %a_neg, 10
  ret i8 %r
}
=>
define i8 @test_scalar_sadd_neg_nneg(i8 %a) {
%0:
  %a_neg = or i8 %a, 128
  %r = add nsw i8 %a_neg, 10
  ret i8 %r
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_sadd_neg_nneg(<2 x i8> %a) {
%0:
  %a_neg = or <2 x i8> %a, { 128, 128 }
  %r = sadd_sat <2 x i8> %a_neg, { 10, 20 }
  ret <2 x i8> %r
}
=>
define <2 x i8> @test_vector_sadd_neg_nneg(<2 x i8> %a) {
%0:
  %a_neg = or <2 x i8> %a, { 128, 128 }
  %r = add nsw <2 x i8> %a_neg, { 10, 20 }
  ret <2 x i8> %r
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define i8 @test_scalar_sadd_nneg_neg(i8 %a) {
%0:
  %a_nneg = and i8 %a, 127
  %r = sadd_sat i8 %a_nneg, 246
  ret i8 %r
}
=>
define i8 @test_scalar_sadd_nneg_neg(i8 %a) {
%0:
  %a_nneg = and i8 %a, 127
  %r = add nsw i8 %a_nneg, 246
  ret i8 %r
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_sadd_nneg_neg(<2 x i8> %a) {
%0:
  %a_nneg = and <2 x i8> %a, { 127, 127 }
  %r = sadd_sat <2 x i8> %a_nneg, { 246, 236 }
  ret <2 x i8> %r
}
=>
define <2 x i8> @test_vector_sadd_nneg_neg(<2 x i8> %a) {
%0:
  %a_nneg = and <2 x i8> %a, { 127, 127 }
  %r = add nsw <2 x i8> %a_nneg, { 246, 236 }
  ret <2 x i8> %r
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_sadd_always_overflows_low(i8 %a) {
%0:
  %cmp = icmp slt i8 %a, 136
  %min = select i1 %cmp, i8 %a, i8 136
  %r = sadd_sat i8 %min, 246
  ret i8 %r
}
=>
define i8 @test_scalar_sadd_always_overflows_low(i8 %a) {
%0:
  ret i8 128
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_sadd_always_overflows_high(i8 %a) {
%0:
  %cmp = icmp sgt i8 %a, 120
  %max = select i1 %cmp, i8 %a, i8 120
  %r = sadd_sat i8 %max, 10
  ret i8 %r
}
=>
define i8 @test_scalar_sadd_always_overflows_high(i8 %a) {
%0:
  ret i8 127
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_uadd_sub_nuw_lost_no_ov(i8 %a) {
%0:
  %b = sub nuw i8 %a, 10
  %r = uadd_sat i8 %b, 9
  ret i8 %r
}
=>
define i8 @test_scalar_uadd_sub_nuw_lost_no_ov(i8 %a) {
%0:
  %b = add i8 %a, 246
  %r = uadd_sat i8 %b, 9
  ret i8 %r
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_uadd_urem_no_ov(i8 %a) {
%0:
  %b = urem i8 %a, 100
  %r = uadd_sat i8 %b, 156
  ret i8 %r
}
=>
define i8 @test_scalar_uadd_urem_no_ov(i8 %a) {
%0:
  %b = urem i8 %a, 100
  %r = add nsw nuw i8 %b, 156
  ret i8 %r
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_uadd_udiv_known_bits(i8 %a, i8 %b) {
%0:
  %aa = udiv i8 190, %a
  %bb = and i8 %b, 63
  %r = uadd_sat i8 %aa, %bb
  ret i8 %r
}
=>
define i8 @test_scalar_uadd_udiv_known_bits(i8 %a, i8 %b) {
%0:
  %aa = udiv i8 190, %a
  %bb = and i8 %b, 63
  %r = add nuw i8 %aa, %bb
  ret i8 %r
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_sadd_srem_no_ov(i8 %a) {
%0:
  %b = srem i8 %a, 100
  %r = sadd_sat i8 %b, 28
  ret i8 %r
}
=>
define i8 @test_scalar_sadd_srem_no_ov(i8 %a) {
%0:
  %b = srem i8 %a, 100
  %r = add nsw i8 %b, 28
  ret i8 %r
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_sadd_srem_and_no_ov(i8 %a, i8 %b) {
%0:
  %aa = srem i8 %a, 100
  %bb = and i8 %b, 15
  %r = sadd_sat i8 %aa, %bb
  ret i8 %r
}
=>
define i8 @test_scalar_sadd_srem_and_no_ov(i8 %a, i8 %b) {
%0:
  %aa = srem i8 %a, 100
  %bb = and i8 %b, 15
  %r = add nsw i8 %aa, %bb
  ret i8 %r
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_ssub_canonical(i8 %a) {
%0:
  %r = ssub_sat i8 %a, 10
  ret i8 %r
}
=>
define i8 @test_scalar_ssub_canonical(i8 %a) {
%0:
  %1 = sadd_sat i8 %a, 246
  ret i8 %1
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_ssub_canonical(<2 x i8> %a) {
%0:
  %r = ssub_sat <2 x i8> %a, { 10, 10 }
  ret <2 x i8> %r
}
=>
define <2 x i8> @test_vector_ssub_canonical(<2 x i8> %a) {
%0:
  %1 = sadd_sat <2 x i8> %a, { 246, 246 }
  ret <2 x i8> %1
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_ssub_canonical_min_non_splat(<2 x i8> %a) {
%0:
  %r = ssub_sat <2 x i8> %a, { 10, 246 }
  ret <2 x i8> %r
}
=>
define <2 x i8> @test_vector_ssub_canonical_min_non_splat(<2 x i8> %a) {
%0:
  %1 = sadd_sat <2 x i8> %a, { 246, 10 }
  ret <2 x i8> %1
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_usub_combine(i8 %a) {
%0:
  %x1 = usub_sat i8 %a, 10
  %x2 = usub_sat i8 %x1, 20
  ret i8 %x2
}
=>
define i8 @test_scalar_usub_combine(i8 %a) {
%0:
  %1 = usub_sat i8 %a, 30
  ret i8 %1
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_usub_combine(<2 x i8> %a) {
%0:
  %x1 = usub_sat <2 x i8> %a, { 10, 10 }
  %x2 = usub_sat <2 x i8> %x1, { 20, 20 }
  ret <2 x i8> %x2
}
=>
define <2 x i8> @test_vector_usub_combine(<2 x i8> %a) {
%0:
  %1 = usub_sat <2 x i8> %a, { 30, 30 }
  ret <2 x i8> %1
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_usub_overflow(i8 %a) {
%0:
  %y1 = usub_sat i8 %a, 100
  %y2 = usub_sat i8 %y1, 200
  ret i8 %y2
}
=>
define i8 @test_scalar_usub_overflow(i8 %a) {
%0:
  ret i8 0
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_usub_overflow(<2 x i8> %a) {
%0:
  %y1 = usub_sat <2 x i8> %a, { 100, 100 }
  %y2 = usub_sat <2 x i8> %y1, { 200, 200 }
  ret <2 x i8> %y2
}
=>
define <2 x i8> @test_vector_usub_overflow(<2 x i8> %a) {
%0:
  ret <2 x i8> { 0, 0 }
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_ssub_both_positive(i8 %a) {
%0:
  %z1 = ssub_sat i8 %a, 10
  %z2 = ssub_sat i8 %z1, 20
  ret i8 %z2
}
=>
define i8 @test_scalar_ssub_both_positive(i8 %a) {
%0:
  %1 = sadd_sat i8 %a, 226
  ret i8 %1
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_ssub_both_positive(<2 x i8> %a) {
%0:
  %z1 = ssub_sat <2 x i8> %a, { 10, 10 }
  %z2 = ssub_sat <2 x i8> %z1, { 20, 20 }
  ret <2 x i8> %z2
}
=>
define <2 x i8> @test_vector_ssub_both_positive(<2 x i8> %a) {
%0:
  %1 = sadd_sat <2 x i8> %a, { 226, 226 }
  ret <2 x i8> %1
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_ssub_both_negative(i8 %a) {
%0:
  %u1 = ssub_sat i8 %a, 246
  %u2 = ssub_sat i8 %u1, 236
  ret i8 %u2
}
=>
define i8 @test_scalar_ssub_both_negative(i8 %a) {
%0:
  %1 = sadd_sat i8 %a, 30
  ret i8 %1
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_ssub_both_negative(<2 x i8> %a) {
%0:
  %u1 = ssub_sat <2 x i8> %a, { 246, 246 }
  %u2 = ssub_sat <2 x i8> %u1, { 236, 236 }
  ret <2 x i8> %u2
}
=>
define <2 x i8> @test_vector_ssub_both_negative(<2 x i8> %a) {
%0:
  %1 = sadd_sat <2 x i8> %a, { 30, 30 }
  ret <2 x i8> %1
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_ssub_different_sign(i8 %a) {
%0:
  %v1 = ssub_sat i8 %a, 10
  %v2 = ssub_sat i8 %v1, 236
  ret i8 %v2
}
=>
define i8 @test_scalar_ssub_different_sign(i8 %a) {
%0:
  %1 = sadd_sat i8 %a, 246
  %2 = sadd_sat i8 %1, 20
  ret i8 %2
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_sadd_ssub(i8 %a) {
%0:
  %v1 = sadd_sat i8 10, %a
  %v2 = ssub_sat i8 %v1, 236
  ret i8 %v2
}
=>
define i8 @test_scalar_sadd_ssub(i8 %a) {
%0:
  %1 = sadd_sat i8 %a, 30
  ret i8 %1
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_sadd_ssub(<2 x i8> %a) {
%0:
  %v1 = sadd_sat <2 x i8> { 246, 246 }, %a
  %v2 = ssub_sat <2 x i8> %v1, { 20, 20 }
  ret <2 x i8> %v2
}
=>
define <2 x i8> @test_vector_sadd_ssub(<2 x i8> %a) {
%0:
  %1 = sadd_sat <2 x i8> %a, { 226, 226 }
  ret <2 x i8> %1
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_ssub_overflow(i8 %a) {
%0:
  %w1 = ssub_sat i8 %a, 100
  %w2 = ssub_sat i8 %w1, 100
  ret i8 %w2
}
=>
define i8 @test_scalar_ssub_overflow(i8 %a) {
%0:
  %1 = sadd_sat i8 %a, 156
  %2 = sadd_sat i8 %1, 156
  ret i8 %2
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_usub_nneg_neg(i8 %a) {
%0:
  %a_nneg = and i8 %a, 127
  %r = usub_sat i8 %a_nneg, 246
  ret i8 %r
}
=>
define i8 @test_scalar_usub_nneg_neg(i8 %a) {
%0:
  ret i8 0
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_usub_nneg_neg(<2 x i8> %a) {
%0:
  %a_nneg = and <2 x i8> %a, { 127, 127 }
  %r = usub_sat <2 x i8> %a_nneg, { 246, 236 }
  ret <2 x i8> %r
}
=>
define <2 x i8> @test_vector_usub_nneg_neg(<2 x i8> %a) {
%0:
  ret <2 x i8> { 0, 0 }
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_usub_neg_nneg(i8 %a) {
%0:
  %a_neg = or i8 %a, 128
  %r = usub_sat i8 %a_neg, 10
  ret i8 %r
}
=>
define i8 @test_scalar_usub_neg_nneg(i8 %a) {
%0:
  %a_neg = or i8 %a, 128
  %r = add i8 %a_neg, 246
  ret i8 %r
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_usub_neg_nneg(<2 x i8> %a) {
%0:
  %a_neg = or <2 x i8> %a, { 128, 128 }
  %r = usub_sat <2 x i8> %a_neg, { 10, 20 }
  ret <2 x i8> %r
}
=>
define <2 x i8> @test_vector_usub_neg_nneg(<2 x i8> %a) {
%0:
  %a_neg = or <2 x i8> %a, { 128, 128 }
  %r = add <2 x i8> %a_neg, { 246, 236 }
  ret <2 x i8> %r
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define i8 @test_scalar_usub_never_overflows(i8 %a) {
%0:
  %a_masked = or i8 %a, 64
  %r = usub_sat i8 %a_masked, 10
  ret i8 %r
}
=>
define i8 @test_scalar_usub_never_overflows(i8 %a) {
%0:
  %a_masked = or i8 %a, 64
  %r = add nsw i8 %a_masked, 246
  ret i8 %r
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_usub_never_overflows(<2 x i8> %a) {
%0:
  %a_masked = or <2 x i8> %a, { 64, 64 }
  %r = usub_sat <2 x i8> %a_masked, { 10, 10 }
  ret <2 x i8> %r
}
=>
define <2 x i8> @test_vector_usub_never_overflows(<2 x i8> %a) {
%0:
  %a_masked = or <2 x i8> %a, { 64, 64 }
  %r = add nsw <2 x i8> %a_masked, { 246, 246 }
  ret <2 x i8> %r
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_usub_always_overflows(i8 %a) {
%0:
  %a_masked = and i8 %a, 64
  %r = usub_sat i8 %a_masked, 100
  ret i8 %r
}
=>
define i8 @test_scalar_usub_always_overflows(i8 %a) {
%0:
  ret i8 0
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_usub_always_overflows(<2 x i8> %a) {
%0:
  %a_masked = and <2 x i8> %a, { 64, 64 }
  %r = usub_sat <2 x i8> %a_masked, { 100, 100 }
  ret <2 x i8> %r
}
=>
define <2 x i8> @test_vector_usub_always_overflows(<2 x i8> %a) {
%0:
  ret <2 x i8> { 0, 0 }
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_ssub_neg_neg(i8 %a) {
%0:
  %a_neg = or i8 %a, 128
  %r = ssub_sat i8 %a_neg, 246
  ret i8 %r
}
=>
define i8 @test_scalar_ssub_neg_neg(i8 %a) {
%0:
  %a_neg = or i8 %a, 128
  %r = add nsw i8 %a_neg, 10
  ret i8 %r
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_ssub_neg_neg(<2 x i8> %a) {
%0:
  %a_neg = or <2 x i8> %a, { 128, 128 }
  %r = ssub_sat <2 x i8> %a_neg, { 246, 236 }
  ret <2 x i8> %r
}
=>
define <2 x i8> @test_vector_ssub_neg_neg(<2 x i8> %a) {
%0:
  %a_neg = or <2 x i8> %a, { 128, 128 }
  %r = add nsw <2 x i8> %a_neg, { 10, 20 }
  ret <2 x i8> %r
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define i8 @test_scalar_ssub_nneg_nneg(i8 %a) {
%0:
  %a_nneg = and i8 %a, 127
  %r = ssub_sat i8 %a_nneg, 10
  ret i8 %r
}
=>
define i8 @test_scalar_ssub_nneg_nneg(i8 %a) {
%0:
  %a_nneg = and i8 %a, 127
  %r = add nsw i8 %a_nneg, 246
  ret i8 %r
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_ssub_nneg_nneg(<2 x i8> %a) {
%0:
  %a_nneg = and <2 x i8> %a, { 127, 127 }
  %r = ssub_sat <2 x i8> %a_nneg, { 10, 20 }
  ret <2 x i8> %r
}
=>
define <2 x i8> @test_vector_ssub_nneg_nneg(<2 x i8> %a) {
%0:
  %a_nneg = and <2 x i8> %a, { 127, 127 }
  %r = add nsw <2 x i8> %a_nneg, { 246, 236 }
  ret <2 x i8> %r
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_ssub_neg_nneg(i8 %a) {
%0:
  %a_neg = or i8 %a, 128
  %r = ssub_sat i8 %a_neg, 10
  ret i8 %r
}
=>
define i8 @test_scalar_ssub_neg_nneg(i8 %a) {
%0:
  %a_neg = or i8 %a, 128
  %1 = sadd_sat i8 %a_neg, 246
  ret i8 %1
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_ssub_neg_nneg(<2 x i8> %a) {
%0:
  %a_neg = or <2 x i8> %a, { 128, 128 }
  %r = ssub_sat <2 x i8> %a_neg, { 10, 20 }
  ret <2 x i8> %r
}
=>
define <2 x i8> @test_vector_ssub_neg_nneg(<2 x i8> %a) {
%0:
  %a_neg = or <2 x i8> %a, { 128, 128 }
  %1 = sadd_sat <2 x i8> %a_neg, { 246, 236 }
  ret <2 x i8> %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define i8 @test_scalar_ssub_always_overflows_low(i8 %a) {
%0:
  %cmp = icmp sgt i8 %a, 120
  %max = select i1 %cmp, i8 %a, i8 120
  %r = ssub_sat i8 246, %max
  ret i8 %r
}
=>
define i8 @test_scalar_ssub_always_overflows_low(i8 %a) {
%0:
  ret i8 128
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_ssub_always_overflows_high(i8 %a) {
%0:
  %cmp = icmp slt i8 %a, 136
  %min = select i1 %cmp, i8 %a, i8 136
  %r = ssub_sat i8 10, %min
  ret i8 %r
}
=>
define i8 @test_scalar_ssub_always_overflows_high(i8 %a) {
%0:
  ret i8 127
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_usub_add_nuw_no_ov(i8 %a) {
%0:
  %b = add nuw i8 %a, 10
  %r = usub_sat i8 %b, 9
  ret i8 %r
}
=>
define i8 @test_scalar_usub_add_nuw_no_ov(i8 %a) {
%0:
  %r = add i8 %a, 1
  ret i8 %r
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_usub_add_nuw_eq(i8 %a) {
%0:
  %b = add nuw i8 %a, 10
  %r = usub_sat i8 %b, 10
  ret i8 %r
}
=>
define i8 @test_scalar_usub_add_nuw_eq(i8 %a) {
%0:
  ret i8 %a
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_usub_urem_must_ov(i8 %a) {
%0:
  %b = urem i8 %a, 10
  %r = usub_sat i8 %b, 10
  ret i8 %r
}
=>
define i8 @test_scalar_usub_urem_must_ov(i8 %a) {
%0:
  ret i8 0
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_usub_add_nuw_known_bits(i8 %a, i8 %b) {
%0:
  %aa = add nuw i8 %a, 10
  %bb = and i8 %b, 7
  %r = usub_sat i8 %aa, %bb
  ret i8 %r
}
=>
define i8 @test_scalar_usub_add_nuw_known_bits(i8 %a, i8 %b) {
%0:
  %aa = add nuw i8 %a, 10
  %bb = and i8 %b, 7
  %r = sub nuw i8 %aa, %bb
  ret i8 %r
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_usub_add_nuw_inferred(i8 %a) {
%0:
  %b = usub_sat i8 %a, 10
  %r = add i8 %b, 9
  ret i8 %r
}
=>
define i8 @test_scalar_usub_add_nuw_inferred(i8 %a) {
%0:
  %b = usub_sat i8 %a, 10
  %r = add nuw i8 %b, 9
  ret i8 %r
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_usub_add_nuw_no_ov(<2 x i8> %a) {
%0:
  %b = add nuw <2 x i8> %a, { 10, 10 }
  %r = usub_sat <2 x i8> %b, { 9, 9 }
  ret <2 x i8> %r
}
=>
define <2 x i8> @test_vector_usub_add_nuw_no_ov(<2 x i8> %a) {
%0:
  %r = add <2 x i8> %a, { 1, 1 }
  ret <2 x i8> %r
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_ssub_add_nsw_no_ov(i8 %a, i8 %b) {
%0:
  %aa = add nsw i8 %a, 7
  %bb = and i8 %b, 7
  %r = ssub_sat i8 %aa, %bb
  ret i8 %r
}
=>
define i8 @test_scalar_ssub_add_nsw_no_ov(i8 %a, i8 %b) {
%0:
  %aa = add nsw i8 %a, 7
  %bb = and i8 %b, 7
  %r = sub nsw i8 %aa, %bb
  ret i8 %r
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_ssub_add_nsw_no_ov_splat(<2 x i8> %a, <2 x i8> %b) {
%0:
  %aa = add nsw <2 x i8> %a, { 7, 7 }
  %bb = and <2 x i8> %b, { 7, 7 }
  %r = ssub_sat <2 x i8> %aa, %bb
  ret <2 x i8> %r
}
=>
define <2 x i8> @test_vector_ssub_add_nsw_no_ov_splat(<2 x i8> %a, <2 x i8> %b) {
%0:
  %aa = add nsw <2 x i8> %a, { 7, 7 }
  %bb = and <2 x i8> %b, { 7, 7 }
  %r = sub nsw <2 x i8> %aa, %bb
  ret <2 x i8> %r
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @test_vector_ssub_add_nsw_no_ov_nonsplat1(<2 x i8> %a, <2 x i8> %b) {
%0:
  %aa = add nsw <2 x i8> %a, { 7, 7 }
  %bb = and <2 x i8> %b, { 7, 6 }
  %r = ssub_sat <2 x i8> %aa, %bb
  ret <2 x i8> %r
}
=>
define <2 x i8> @test_vector_ssub_add_nsw_no_ov_nonsplat1(<2 x i8> %a, <2 x i8> %b) {
%0:
  %aa = add nsw <2 x i8> %a, { 7, 7 }
  %bb = and <2 x i8> %b, { 7, 6 }
  %r = sub nsw <2 x i8> %aa, %bb
  ret <2 x i8> %r
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_usub_add(i8 %a, i8 %b) {
%0:
  %sat = usub_sat i8 %a, %b
  %res = add i8 %sat, %b
  ret i8 %res
}
=>
define i8 @test_scalar_usub_add(i8 %a, i8 %b) {
%0:
  %1 = umax i8 %a, %b
  ret i8 %1
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_usub_add_commuted(i8 %a, i8 %b) {
%0:
  %sat = usub_sat i8 %a, %b
  %res = add i8 %b, %sat
  ret i8 %res
}
=>
define i8 @test_scalar_usub_add_commuted(i8 %a, i8 %b) {
%0:
  %1 = umax i8 %a, %b
  ret i8 %1
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_usub_add_const(i8 %a) {
%0:
  %sat = usub_sat i8 %a, 42
  %res = add i8 %sat, 42
  ret i8 %res
}
=>
define i8 @test_scalar_usub_add_const(i8 %a) {
%0:
  %1 = umax i8 %a, 42
  ret i8 %1
}
Transformation seems to be correct!


----------------------------------------
define i8 @test_scalar_uadd_sub_const(i8 %a) {
%0:
  %sat = uadd_sat i8 %a, 42
  %res = sub i8 %sat, 42
  ret i8 %res
}
=>
define i8 @test_scalar_uadd_sub_const(i8 %a) {
%0:
  %sat = uadd_sat i8 %a, 42
  %res = add i8 %sat, 214
  ret i8 %res
}
Transformation seems to be correct!


----------------------------------------
define i1 @scalar_uadd_eq_zero(i8 %a, i8 %b) {
%0:
  %sat = uadd_sat i8 %a, %b
  %cmp = icmp eq i8 %sat, 0
  ret i1 %cmp
}
=>
define i1 @scalar_uadd_eq_zero(i8 %a, i8 %b) {
%0:
  %1 = or i8 %a, %b
  %cmp = icmp eq i8 %1, 0
  ret i1 %cmp
}
Transformation seems to be correct!


----------------------------------------
define i1 @scalar_uadd_ne_zero(i8 %a, i8 %b) {
%0:
  %sat = uadd_sat i8 %a, %b
  %cmp = icmp ne i8 %sat, 0
  ret i1 %cmp
}
=>
define i1 @scalar_uadd_ne_zero(i8 %a, i8 %b) {
%0:
  %1 = or i8 %a, %b
  %cmp = icmp ne i8 %1, 0
  ret i1 %cmp
}
Transformation seems to be correct!


----------------------------------------
define i1 @scalar_usub_eq_zero(i8 %a, i8 %b) {
%0:
  %sat = usub_sat i8 %a, %b
  %cmp = icmp eq i8 %sat, 0
  ret i1 %cmp
}
=>
define i1 @scalar_usub_eq_zero(i8 %a, i8 %b) {
%0:
  %cmp = icmp ule i8 %a, %b
  ret i1 %cmp
}
Transformation seems to be correct!


----------------------------------------
define i1 @scalar_usub_ne_zero(i8 %a, i8 %b) {
%0:
  %sat = usub_sat i8 %a, %b
  %cmp = icmp ne i8 %sat, 0
  ret i1 %cmp
}
=>
define i1 @scalar_usub_ne_zero(i8 %a, i8 %b) {
%0:
  %cmp = icmp ugt i8 %a, %b
  ret i1 %cmp
}
Transformation seems to be correct!


----------------------------------------
define i32 @uadd_sat(i32 %x, i32 %y) {
%0:
  %notx = xor i32 %x, 4294967295
  %a = add i32 %y, %x
  %c = icmp ult i32 %notx, %y
  %r = select i1 %c, i32 4294967295, i32 %a
  ret i32 %r
}
=>
define i32 @uadd_sat(i32 %x, i32 %y) {
%0:
  %1 = uadd_sat i32 %x, %y
  ret i32 %1
}
Transformation seems to be correct!


----------------------------------------
define i32 @uadd_sat_nonstrict(i32 %x, i32 %y) {
%0:
  %notx = xor i32 %x, 4294967295
  %a = add i32 %y, %x
  %c = icmp ule i32 %notx, %y
  %r = select i1 %c, i32 4294967295, i32 %a
  ret i32 %r
}
=>
define i32 @uadd_sat_nonstrict(i32 %x, i32 %y) {
%0:
  %1 = uadd_sat i32 %x, %y
  ret i32 %1
}
Transformation seems to be correct!


----------------------------------------
define i32 @uadd_sat_commute_add(i32 %xp, i32 %y) {
%0:
  %x = urem i32 42, %xp
  %notx = xor i32 %x, 4294967295
  %a = add i32 %x, %y
  %c = icmp ult i32 %notx, %y
  %r = select i1 %c, i32 4294967295, i32 %a
  ret i32 %r
}
=>
define i32 @uadd_sat_commute_add(i32 %xp, i32 %y) {
%0:
  %x = urem i32 42, %xp
  %1 = uadd_sat i32 %x, %y
  ret i32 %1
}
Transformation seems to be correct!


----------------------------------------
define i32 @uadd_sat_ugt(i32 %x, i32 %yp) {
%0:
  %y = sdiv i32 %yp, 2442
  %notx = xor i32 %x, 4294967295
  %a = add i32 %y, %x
  %c = icmp ugt i32 %y, %notx
  %r = select i1 %c, i32 4294967295, i32 %a
  ret i32 %r
}
=>
define i32 @uadd_sat_ugt(i32 %x, i32 %yp) {
%0:
  %y = sdiv i32 %yp, 2442
  %1 = uadd_sat i32 %x, %y
  ret i32 %1
}
Transformation seems to be correct!


----------------------------------------
define i32 @uadd_sat_uge(i32 %x, i32 %yp) {
%0:
  %y = sdiv i32 %yp, 2442
  %notx = xor i32 %x, 4294967295
  %a = add i32 %y, %x
  %c = icmp uge i32 %y, %notx
  %r = select i1 %c, i32 4294967295, i32 %a
  ret i32 %r
}
=>
define i32 @uadd_sat_uge(i32 %x, i32 %yp) {
%0:
  %y = sdiv i32 %yp, 2442
  %1 = uadd_sat i32 %x, %y
  ret i32 %1
}
Transformation seems to be correct!


----------------------------------------
define <2 x i32> @uadd_sat_ugt_commute_add(<2 x i32> %xp, <2 x i32> %yp) {
%0:
  %y = sdiv <2 x i32> %yp, { 2442, 4242 }
  %x = srem <2 x i32> { 42, 43 }, %xp
  %notx = xor <2 x i32> %x, { 4294967295, 4294967295 }
  %a = add <2 x i32> %x, %y
  %c = icmp ugt <2 x i32> %y, %notx
  %r = select <2 x i1> %c, <2 x i32> { 4294967295, 4294967295 }, <2 x i32> %a
  ret <2 x i32> %r
}
=>
define <2 x i32> @uadd_sat_ugt_commute_add(<2 x i32> %xp, <2 x i32> %yp) {
%0:
  %y = sdiv <2 x i32> %yp, { 2442, 4242 }
  %x = srem <2 x i32> { 42, 43 }, %xp
  %1 = uadd_sat <2 x i32> %x, %y
  ret <2 x i32> %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define i32 @uadd_sat_commute_select(i32 %x, i32 %yp) {
%0:
  %y = sdiv i32 %yp, 2442
  %notx = xor i32 %x, 4294967295
  %a = add i32 %y, %x
  %c = icmp ult i32 %y, %notx
  %r = select i1 %c, i32 %a, i32 4294967295
  ret i32 %r
}
=>
define i32 @uadd_sat_commute_select(i32 %x, i32 %yp) {
%0:
  %y = sdiv i32 %yp, 2442
  %1 = uadd_sat i32 %x, %y
  ret i32 %1
}
Transformation seems to be correct!


----------------------------------------
define i32 @uadd_sat_commute_select_nonstrict(i32 %x, i32 %yp) {
%0:
  %y = sdiv i32 %yp, 2442
  %notx = xor i32 %x, 4294967295
  %a = add i32 %y, %x
  %c = icmp ule i32 %y, %notx
  %r = select i1 %c, i32 %a, i32 4294967295
  ret i32 %r
}
=>
define i32 @uadd_sat_commute_select_nonstrict(i32 %x, i32 %yp) {
%0:
  %y = sdiv i32 %yp, 2442
  %1 = uadd_sat i32 %x, %y
  ret i32 %1
}
Transformation seems to be correct!


----------------------------------------
define i32 @uadd_sat_commute_select_commute_add(i32 %xp, i32 %yp) {
%0:
  %x = urem i32 42, %xp
  %y = sdiv i32 %yp, 2442
  %notx = xor i32 %x, 4294967295
  %a = add i32 %x, %y
  %c = icmp ult i32 %y, %notx
  %r = select i1 %c, i32 %a, i32 4294967295
  ret i32 %r
}
=>
define i32 @uadd_sat_commute_select_commute_add(i32 %xp, i32 %yp) {
%0:
  %x = urem i32 42, %xp
  %y = sdiv i32 %yp, 2442
  %1 = uadd_sat i32 %x, %y
  ret i32 %1
}
Transformation seems to be correct!


----------------------------------------
define <2 x i32> @uadd_sat_commute_select_ugt(<2 x i32> %x, <2 x i32> %y) {
%0:
  %notx = xor <2 x i32> %x, { 4294967295, 4294967295 }
  %a = add <2 x i32> %y, %x
  %c = icmp ugt <2 x i32> %notx, %y
  %r = select <2 x i1> %c, <2 x i32> %a, <2 x i32> { 4294967295, 4294967295 }
  ret <2 x i32> %r
}
=>
define <2 x i32> @uadd_sat_commute_select_ugt(<2 x i32> %x, <2 x i32> %y) {
%0:
  %1 = uadd_sat <2 x i32> %x, %y
  ret <2 x i32> %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define i32 @uadd_sat_commute_select_ugt_commute_add(i32 %xp, i32 %y) {
%0:
  %x = srem i32 42, %xp
  %notx = xor i32 %x, 4294967295
  %a = add i32 %x, %y
  %c = icmp ugt i32 %notx, %y
  %r = select i1 %c, i32 %a, i32 4294967295
  ret i32 %r
}
=>
define i32 @uadd_sat_commute_select_ugt_commute_add(i32 %xp, i32 %y) {
%0:
  %x = srem i32 42, %xp
  %1 = uadd_sat i32 %x, %y
  ret i32 %1
}
Transformation seems to be correct!


----------------------------------------
define i32 @uadd_sat_not(i32 %x, i32 %y) {
%0:
  %notx = xor i32 %x, 4294967295
  %a = add i32 %notx, %y
  %c = icmp ult i32 %x, %y
  %r = select i1 %c, i32 4294967295, i32 %a
  ret i32 %r
}
=>
define i32 @uadd_sat_not(i32 %x, i32 %y) {
%0:
  %notx = xor i32 %x, 4294967295
  %1 = uadd_sat i32 %notx, %y
  ret i32 %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define i32 @uadd_sat_not_nonstrict(i32 %x, i32 %y) {
%0:
  %notx = xor i32 %x, 4294967295
  %a = add i32 %notx, %y
  %c = icmp ule i32 %x, %y
  %r = select i1 %c, i32 4294967295, i32 %a
  ret i32 %r
}
=>
define i32 @uadd_sat_not_nonstrict(i32 %x, i32 %y) {
%0:
  %notx = xor i32 %x, 4294967295
  %1 = uadd_sat i32 %notx, %y
  ret i32 %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define i32 @uadd_sat_not_commute_add(i32 %xp, i32 %yp) {
%0:
  %x = srem i32 42, %xp
  %y = urem i32 42, %yp
  %notx = xor i32 %x, 4294967295
  %a = add i32 %y, %notx
  %c = icmp ult i32 %x, %y
  %r = select i1 %c, i32 4294967295, i32 %a
  ret i32 %r
}
=>
define i32 @uadd_sat_not_commute_add(i32 %xp, i32 %yp) {
%0:
  %x = srem i32 42, %xp
  %y = urem i32 42, %yp
  %notx = xor i32 %x, 4294967295
  %1 = uadd_sat i32 %y, %notx
  ret i32 %1
}
Transformation seems to be correct!


----------------------------------------
define i32 @uadd_sat_not_ugt(i32 %x, i32 %y) {
%0:
  %notx = xor i32 %x, 4294967295
  %a = add i32 %notx, %y
  %c = icmp ugt i32 %y, %x
  %r = select i1 %c, i32 4294967295, i32 %a
  ret i32 %r
}
=>
define i32 @uadd_sat_not_ugt(i32 %x, i32 %y) {
%0:
  %notx = xor i32 %x, 4294967295
  %1 = uadd_sat i32 %notx, %y
  ret i32 %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define i32 @uadd_sat_not_uge(i32 %x, i32 %y) {
%0:
  %notx = xor i32 %x, 4294967295
  %a = add i32 %notx, %y
  %c = icmp uge i32 %y, %x
  %r = select i1 %c, i32 4294967295, i32 %a
  ret i32 %r
}
=>
define i32 @uadd_sat_not_uge(i32 %x, i32 %y) {
%0:
  %notx = xor i32 %x, 4294967295
  %1 = uadd_sat i32 %notx, %y
  ret i32 %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define <2 x i32> @uadd_sat_not_ugt_commute_add(<2 x i32> %x, <2 x i32> %yp) {
%0:
  %y = sdiv <2 x i32> %yp, { 2442, 4242 }
  %notx = xor <2 x i32> %x, { 4294967295, 4294967295 }
  %a = add <2 x i32> %y, %notx
  %c = icmp ugt <2 x i32> %y, %x
  %r = select <2 x i1> %c, <2 x i32> { 4294967295, 4294967295 }, <2 x i32> %a
  ret <2 x i32> %r
}
=>
define <2 x i32> @uadd_sat_not_ugt_commute_add(<2 x i32> %x, <2 x i32> %yp) {
%0:
  %y = sdiv <2 x i32> %yp, { 2442, 4242 }
  %notx = xor <2 x i32> %x, { 4294967295, 4294967295 }
  %1 = uadd_sat <2 x i32> %y, %notx
  ret <2 x i32> %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define i32 @uadd_sat_not_commute_select(i32 %x, i32 %y) {
%0:
  %notx = xor i32 %x, 4294967295
  %a = add i32 %notx, %y
  %c = icmp ult i32 %y, %x
  %r = select i1 %c, i32 %a, i32 4294967295
  ret i32 %r
}
=>
define i32 @uadd_sat_not_commute_select(i32 %x, i32 %y) {
%0:
  %notx = xor i32 %x, 4294967295
  %1 = uadd_sat i32 %notx, %y
  ret i32 %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define i32 @uadd_sat_not_commute_select_nonstrict(i32 %x, i32 %y) {
%0:
  %notx = xor i32 %x, 4294967295
  %a = add i32 %notx, %y
  %c = icmp ule i32 %y, %x
  %r = select i1 %c, i32 %a, i32 4294967295
  ret i32 %r
}
=>
define i32 @uadd_sat_not_commute_select_nonstrict(i32 %x, i32 %y) {
%0:
  %notx = xor i32 %x, 4294967295
  %1 = uadd_sat i32 %notx, %y
  ret i32 %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define i32 @uadd_sat_not_commute_select_commute_add(i32 %x, i32 %yp) {
%0:
  %y = sdiv i32 42, %yp
  %notx = xor i32 %x, 4294967295
  %a = add i32 %y, %notx
  %c = icmp ult i32 %y, %x
  %r = select i1 %c, i32 %a, i32 4294967295
  ret i32 %r
}
=>
define i32 @uadd_sat_not_commute_select_commute_add(i32 %x, i32 %yp) {
%0:
  %y = sdiv i32 42, %yp
  %notx = xor i32 %x, 4294967295
  %1 = uadd_sat i32 %y, %notx
  ret i32 %1
}
Transformation seems to be correct!


----------------------------------------
define <2 x i32> @uadd_sat_not_commute_select_ugt(<2 x i32> %xp, <2 x i32> %yp) {
%0:
  %x = urem <2 x i32> { 42, 4294967254 }, %xp
  %y = srem <2 x i32> { 12, 412 }, %yp
  %notx = xor <2 x i32> %x, { 4294967295, 4294967295 }
  %a = add <2 x i32> %y, %notx
  %c = icmp ugt <2 x i32> %x, %y
  %r = select <2 x i1> %c, <2 x i32> %a, <2 x i32> { 4294967295, 4294967295 }
  ret <2 x i32> %r
}
=>
define <2 x i32> @uadd_sat_not_commute_select_ugt(<2 x i32> %xp, <2 x i32> %yp) {
%0:
  %x = urem <2 x i32> { 42, 4294967254 }, %xp
  %y = srem <2 x i32> { 12, 412 }, %yp
  %notx = xor <2 x i32> %x, { 4294967295, 4294967295 }
  %1 = uadd_sat <2 x i32> %y, %notx
  ret <2 x i32> %1
}
Transformation seems to be correct!


----------------------------------------
define i32 @uadd_sat_not_commute_select_ugt_commute_add(i32 %x, i32 %y) {
%0:
  %notx = xor i32 %x, 4294967295
  %a = add i32 %notx, %y
  %c = icmp ugt i32 %x, %y
  %r = select i1 %c, i32 %a, i32 4294967295
  ret i32 %r
}
=>
define i32 @uadd_sat_not_commute_select_ugt_commute_add(i32 %x, i32 %y) {
%0:
  %notx = xor i32 %x, 4294967295
  %1 = uadd_sat i32 %notx, %y
  ret i32 %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define i32 @uadd_sat_not_commute_select_uge_commute_add(i32 %x, i32 %y) {
%0:
  %notx = xor i32 %x, 4294967295
  %a = add i32 %notx, %y
  %c = icmp uge i32 %x, %y
  %r = select i1 %c, i32 %a, i32 4294967295
  ret i32 %r
}
=>
define i32 @uadd_sat_not_commute_select_uge_commute_add(i32 %x, i32 %y) {
%0:
  %notx = xor i32 %x, 4294967295
  %1 = uadd_sat i32 %notx, %y
  ret i32 %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define i32 @uadd_sat_constant_commute(i32 %x) {
%0:
  %a = add i32 %x, 42
  %c = icmp ult i32 %x, 4294967253
  %r = select i1 %c, i32 %a, i32 4294967295
  ret i32 %r
}
=>
define i32 @uadd_sat_constant_commute(i32 %x) {
%0:
  %1 = uadd_sat i32 %x, 42
  ret i32 %1
}
Transformation seems to be correct!


----------------------------------------
define i32 @uadd_sat_canon(i32 %x, i32 %y) {
%0:
  %a = add i32 %x, %y
  %c = icmp ult i32 %a, %x
  %r = select i1 %c, i32 4294967295, i32 %a
  ret i32 %r
}
=>
define i32 @uadd_sat_canon(i32 %x, i32 %y) {
%0:
  %1 = uadd_sat i32 %x, %y
  ret i32 %1
}
Transformation seems to be correct!


----------------------------------------
define i32 @uadd_sat_canon_y(i32 %x, i32 %y) {
%0:
  %a = add i32 %x, %y
  %c = icmp ult i32 %a, %y
  %r = select i1 %c, i32 4294967295, i32 %a
  ret i32 %r
}
=>
define i32 @uadd_sat_canon_y(i32 %x, i32 %y) {
%0:
  %1 = uadd_sat i32 %y, %x
  ret i32 %1
}
Transformation seems to be correct!


----------------------------------------
define i32 @uadd_sat_canon_nuw(i32 %x, i32 %y) {
%0:
  %a = add nuw i32 %x, %y
  %c = icmp ult i32 %a, %x
  %r = select i1 %c, i32 4294967295, i32 %a
  ret i32 %r
}
=>
define i32 @uadd_sat_canon_nuw(i32 %x, i32 %y) {
%0:
  %a = add nuw i32 %x, %y
  ret i32 %a
}
Transformation seems to be correct!


----------------------------------------
define i32 @uadd_sat_canon_y_nuw(i32 %x, i32 %y) {
%0:
  %a = add nuw i32 %x, %y
  %c = icmp ult i32 %a, %y
  %r = select i1 %c, i32 4294967295, i32 %a
  ret i32 %r
}
=>
define i32 @uadd_sat_canon_y_nuw(i32 %x, i32 %y) {
%0:
  %a = add nuw i32 %x, %y
  ret i32 %a
}
Transformation seems to be correct!


----------------------------------------
define <4 x i32> @uadd_sat_constant_vec_commute(<4 x i32> %x) {
%0:
  %a = add <4 x i32> %x, { 42, 42, 42, 42 }
  %c = icmp ult <4 x i32> %x, { 4294967253, 4294967253, 4294967253, 4294967253 }
  %r = select <4 x i1> %c, <4 x i32> %a, <4 x i32> { 4294967295, 4294967295, 4294967295, 4294967295 }
  ret <4 x i32> %r
}
=>
define <4 x i32> @uadd_sat_constant_vec_commute(<4 x i32> %x) {
%0:
  %1 = uadd_sat <4 x i32> %x, { 42, 42, 42, 42 }
  ret <4 x i32> %1
}
Transformation seems to be correct!


----------------------------------------
define i32 @unsigned_sat_variable_using_min_add(i32 %x) {
%0:
  %y = call i32 @get_i32()
  %noty = xor i32 %y, 4294967295
  %c = icmp ult i32 %x, %noty
  %s = select i1 %c, i32 %x, i32 %noty
  %r = add i32 %s, %y
  ret i32 %r
}
=>
define i32 @unsigned_sat_variable_using_min_add(i32 %x) {
%0:
  %y = call i32 @get_i32()
  %r = uadd_sat i32 %x, %y
  ret i32 %r
}
Transformation seems to be correct!


----------------------------------------
define i32 @unsigned_sat_variable_using_min_commute_add(i32 %x) {
%0:
  %y = call i32 @get_i32()
  %noty = xor i32 %y, 4294967295
  %c = icmp ult i32 %x, %noty
  %s = select i1 %c, i32 %x, i32 %noty
  %r = add i32 %y, %s
  ret i32 %r
}
=>
define i32 @unsigned_sat_variable_using_min_commute_add(i32 %x) {
%0:
  %y = call i32 @get_i32()
  %r = uadd_sat i32 %x, %y
  ret i32 %r
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @unsigned_sat_variable_using_min_commute_select(<2 x i8> %x) {
%0:
  %y = call <2 x i8> @get_v2i8()
  %noty = xor <2 x i8> %y, { 255, 255 }
  %c = icmp ult <2 x i8> %noty, %x
  %s = select <2 x i1> %c, <2 x i8> %noty, <2 x i8> %x
  %r = add <2 x i8> %s, %y
  ret <2 x i8> %r
}
=>
define <2 x i8> @unsigned_sat_variable_using_min_commute_select(<2 x i8> %x) {
%0:
  %y = call <2 x i8> @get_v2i8()
  %r = uadd_sat <2 x i8> %x, %y
  ret <2 x i8> %r
}
Transformation seems to be correct!


----------------------------------------
define <2 x i8> @unsigned_sat_variable_using_min_commute_add_select(<2 x i8> %x) {
%0:
  %y = call <2 x i8> @get_v2i8()
  %noty = xor <2 x i8> %y, { 255, 255 }
  %c = icmp ult <2 x i8> %noty, %x
  %s = select <2 x i1> %c, <2 x i8> %noty, <2 x i8> %x
  %r = add <2 x i8> %y, %s
  ret <2 x i8> %r
}
=>
define <2 x i8> @unsigned_sat_variable_using_min_commute_add_select(<2 x i8> %x) {
%0:
  %y = call <2 x i8> @get_v2i8()
  %r = uadd_sat <2 x i8> %x, %y
  ret <2 x i8> %r
}
Transformation seems to be correct!


----------------------------------------
define i32 @unsigned_sat_variable_using_wrong_min(i32 %x) {
%0:
  %y = call i32 @get_i32()
  %noty = xor i32 %y, 4294967295
  %c = icmp slt i32 %x, %noty
  %s = select i1 %c, i32 %x, i32 %noty
  %r = add i32 %y, %s
  ret i32 %r
}
=>
define i32 @unsigned_sat_variable_using_wrong_min(i32 %x) {
%0:
  %y = call i32 @get_i32()
  %noty = xor i32 %y, 4294967295
  %c = icmp sgt i32 %noty, %x
  %s = select i1 %c, i32 %x, i32 %noty
  %r = add i32 %y, %s
  ret i32 %r
}
Transformation seems to be correct!


----------------------------------------
define i32 @unsigned_sat_variable_using_wrong_value(i32 %x, i32 %z) {
%0:
  %y = call i32 @get_i32()
  %noty = xor i32 %y, 4294967295
  %c = icmp ult i32 %x, %noty
  %s = select i1 %c, i32 %x, i32 %noty
  %r = add i32 %z, %s
  ret i32 %r
}
=>
define i32 @unsigned_sat_variable_using_wrong_value(i32 %x, i32 %z) {
%0:
  %y = call i32 @get_i32()
  %noty = xor i32 %y, 4294967295
  %c = icmp ugt i32 %noty, %x
  %s = select i1 %c, i32 %x, i32 %noty
  %r = add i32 %s, %z
  ret i32 %r
}
Transformation seems to be correct!


----------------------------------------
define i32 @unsigned_sat_constant_using_min(i32 %x) {
%0:
  %c = icmp ult i32 %x, 42
  %s = select i1 %c, i32 %x, i32 42
  %r = add i32 %s, 4294967253
  ret i32 %r
}
=>
define i32 @unsigned_sat_constant_using_min(i32 %x) {
%0:
  %r = uadd_sat i32 %x, 4294967253
  ret i32 %r
}
Transformation seems to be correct!


----------------------------------------
define <2 x i32> @unsigned_sat_constant_using_min_splat(<2 x i32> %x) {
%0:
  %c = icmp ult <2 x i32> %x, { 14, 14 }
  %s = select <2 x i1> %c, <2 x i32> %x, <2 x i32> { 14, 14 }
  %r = add <2 x i32> %s, { 4294967281, 4294967281 }
  ret <2 x i32> %r
}
=>
define <2 x i32> @unsigned_sat_constant_using_min_splat(<2 x i32> %x) {
%0:
  %r = uadd_sat <2 x i32> %x, { 4294967281, 4294967281 }
  ret <2 x i32> %r
}
Transformation seems to be correct!


----------------------------------------
define i32 @unsigned_sat_constant_using_min_wrong_constant(i32 %x) {
%0:
  %c = icmp ult i32 %x, 42
  %s = select i1 %c, i32 %x, i32 42
  %r = add i32 %s, 4294967254
  ret i32 %r
}
=>
define i32 @unsigned_sat_constant_using_min_wrong_constant(i32 %x) {
%0:
  %c = icmp ult i32 %x, 42
  %s = select i1 %c, i32 %x, i32 42
  %r = add nsw i32 %s, 4294967254
  ret i32 %r
}
Transformation doesn't verify!
ERROR: Target is more poisonous than source

Example:
i32 %x = undef

Source:
i1 %c = any
i32 %s = any
i32 %r = any

Target:
i1 %c = #x1 (1)
i32 %s = #x8000000c (2147483660, -2147483636)
i32 %r = poison
Source value: any
Target value: poison


------------------- SMT STATS -------------------
Num queries: 405
Num invalid: 0
Num skips:   0
Num trivial: 406 (50.1%)
Num timeout: 16 (4.0%)
Num errors:  0 (0.0%)
Num SAT:     118 (29.1%)
Num UNSAT:   271 (66.9%)
Alive2: Transform doesn't verify; aborting!

stderr:

+ : 'RUN: at line 2'
+ /home/nlopes/alive2/build/opt-alive.sh -instcombine -instcombine-infinite-loop-threshold=2 -S
+ /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/InstCombine/saturating-add-sub.ll

FileCheck error: '<stdin>' is empty.
FileCheck command line:  /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/InstCombine/saturating-add-sub.ll

 

NOTE: This test would pass if undef didn't exist!

 

<-- Back