git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@137575
91177308-0d34-0410-b5e6-
96231b3b80d8
I.setOperand(1, Folded);
// Conservatively clear the optional flags, since they may not be
// preserved by the reassociation.
- if (MaintainNoSignedWrap(I, C1, C2) && Op0->hasNoSignedWrap() &&
- Op1->hasNoSignedWrap()) {
- New->setHasNoSignedWrap(true);
- I.clearSubclassOptionalData();
- I.setHasNoSignedWrap(true);
- } else {
- I.clearSubclassOptionalData();
- }
+ I.clearSubclassOptionalData();
Changed = true;
continue;
ret i32 %add3
}
-; CHECK: @preserve2
-; CHECK: add nsw i8 %A, %B
-; CHECK: add nsw i8
-define i8 @preserve2(i8 %A, i8 %B) nounwind {
- %x = add nsw i8 %A, 10
- %y = add nsw i8 %B, 10
- %add = add nsw i8 %x, %y
- ret i8 %add
-}
-
; CHECK: @nopreserve1
; CHECK: add i8 %x, -126
define i8 @nopreserve1(i8 %x) nounwind {
%add = add nsw i8 %x, %y
ret i8 %add
}
+
+; CHECK: @nopreserve4
+; CHECK: add i8 %A, %B
+; CHECK: add i8
+define i8 @nopreserve4(i8 %A, i8 %B) nounwind {
+ %x = add nsw i8 %A, 10
+ %y = add nsw i8 %B, 10
+ %add = add nsw i8 %x, %y
+ ret i8 %add
+}