// X - X -> { 0, false }
if (Op0 == Op1)
return Constant::getNullValue(ReturnType);
- // X - undef -> undef
- // undef - X -> undef
- if (isa<UndefValue>(Op0) || isa<UndefValue>(Op1))
- return UndefValue::get(ReturnType);
- break;
+ LLVM_FALLTHROUGH;
case Intrinsic::uadd_with_overflow:
case Intrinsic::sadd_with_overflow:
- // X + undef -> undef
- if (isa<UndefValue>(Op0) || isa<UndefValue>(Op1))
- return UndefValue::get(ReturnType);
+ // X - undef -> { undef, false }
+ // undef - X -> { undef, false }
+ // X + undef -> { undef, false }
+ // undef + x -> { undef, false }
+ if (isa<UndefValue>(Op0) || isa<UndefValue>(Op1)) {
+ return ConstantStruct::get(
+ cast<StructType>(ReturnType),
+ {UndefValue::get(ReturnType->getStructElementType(0)),
+ Constant::getNullValue(ReturnType->getStructElementType(1))});
+ }
break;
case Intrinsic::umul_with_overflow:
case Intrinsic::smul_with_overflow:
define {i8, i1} @test_uadd3(i8 %v) {
; CHECK-LABEL: @test_uadd3(
-; CHECK-NEXT: ret { i8, i1 } undef
+; CHECK-NEXT: ret { i8, i1 } { i8 undef, i1 false }
;
%result = call {i8, i1} @llvm.uadd.with.overflow.i8(i8 %v, i8 undef)
ret {i8, i1} %result
define {i8, i1} @test_uadd4(i8 %v) {
; CHECK-LABEL: @test_uadd4(
-; CHECK-NEXT: ret { i8, i1 } undef
+; CHECK-NEXT: ret { i8, i1 } { i8 undef, i1 false }
;
%result = call {i8, i1} @llvm.uadd.with.overflow.i8(i8 undef, i8 %v)
ret {i8, i1} %result
define {i8, i1} @test_sadd3(i8 %v) {
; CHECK-LABEL: @test_sadd3(
-; CHECK-NEXT: ret { i8, i1 } undef
+; CHECK-NEXT: ret { i8, i1 } { i8 undef, i1 false }
;
%result = call {i8, i1} @llvm.sadd.with.overflow.i8(i8 %v, i8 undef)
ret {i8, i1} %result
define {i8, i1} @test_sadd4(i8 %v) {
; CHECK-LABEL: @test_sadd4(
-; CHECK-NEXT: ret { i8, i1 } undef
+; CHECK-NEXT: ret { i8, i1 } { i8 undef, i1 false }
;
%result = call {i8, i1} @llvm.sadd.with.overflow.i8(i8 undef, i8 %v)
ret {i8, i1} %result
define {i8, i1} @test_usub2(i8 %V) {
; CHECK-LABEL: @test_usub2(
-; CHECK-NEXT: ret { i8, i1 } undef
+; CHECK-NEXT: ret { i8, i1 } { i8 undef, i1 false }
;
%x = call {i8, i1} @llvm.usub.with.overflow.i8(i8 %V, i8 undef)
ret {i8, i1} %x
define {i8, i1} @test_usub3(i8 %V) {
; CHECK-LABEL: @test_usub3(
-; CHECK-NEXT: ret { i8, i1 } undef
+; CHECK-NEXT: ret { i8, i1 } { i8 undef, i1 false }
;
%x = call {i8, i1} @llvm.usub.with.overflow.i8(i8 undef, i8 %V)
ret {i8, i1} %x
define {i8, i1} @test_ssub2(i8 %V) {
; CHECK-LABEL: @test_ssub2(
-; CHECK-NEXT: ret { i8, i1 } undef
+; CHECK-NEXT: ret { i8, i1 } { i8 undef, i1 false }
;
%x = call {i8, i1} @llvm.ssub.with.overflow.i8(i8 %V, i8 undef)
ret {i8, i1} %x
define {i8, i1} @test_ssub3(i8 %V) {
; CHECK-LABEL: @test_ssub3(
-; CHECK-NEXT: ret { i8, i1 } undef
+; CHECK-NEXT: ret { i8, i1 } { i8 undef, i1 false }
;
%x = call {i8, i1} @llvm.ssub.with.overflow.i8(i8 undef, i8 %V)
ret {i8, i1} %x