Swap = true;
}
}
- // 64-bit check whether we can use CSINC. To avoid signed integer
- // overflow the condition ignores wrap around, which is already
- // handled by CSINV above.
- } else if (1 ==
- std::max(TrueVal, FalseVal) - std::min(TrueVal, FalseVal)) {
- Opcode = AArch64ISD::CSINC;
-
- if (TrueVal > FalseVal) {
- Swap = true;
+ } else {
+ // 64-bit check whether we can use CSINC.
+ const uint64_t TrueVal64 = TrueVal;
+ const uint64_t FalseVal64 = FalseVal;
+
+ if ((TrueVal64 == FalseVal64 + 1) || (TrueVal64 + 1 == FalseVal64)) {
+ Opcode = AArch64ISD::CSINC;
+
+ if (TrueVal > FalseVal) {
+ Swap = true;
+ }
}
}
ret i64 %.
}
+; Regression test for FalseVal - TrueVal overflow
+define i64 @foo18_overflow3(i1 %cmp) nounwind readnone optsize ssp {
+; CHECK-LABEL: foo18_overflow3:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: mov x8, #-9223372036854775808
+; CHECK-NEXT: tst w0, #0x1
+; CHECK-NEXT: csel x0, x8, xzr, ne
+; CHECK-NEXT: ret
+entry:
+ %. = select i1 %cmp, i64 -9223372036854775808, i64 0
+ ret i64 %.
+}
+
+; Regression test for TrueVal - FalseVal overflow
+define i64 @foo18_overflow4(i1 %cmp) nounwind readnone optsize ssp {
+; CHECK-LABEL: foo18_overflow4:
+; CHECK: // %bb.0: // %entry
+; CHECK-NEXT: mov x8, #-9223372036854775808
+; CHECK-NEXT: tst w0, #0x1
+; CHECK-NEXT: csel x0, xzr, x8, ne
+; CHECK-NEXT: ret
+entry:
+ %. = select i1 %cmp, i64 0, i64 -9223372036854775808
+ ret i64 %.
+}
+
define i64 @foo19(i64 %a, i64 %b, i64 %c) {
; CHECK-LABEL: foo19:
; CHECK: // %bb.0: // %entry