RPCSX/llvm
1
0
Fork 0
mirror of https://github.com/RPCSX/llvm.git synced 2024-11-25 20:59:51 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

This transform is not safe. Thanks to Eli for pointing that out!

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@137575 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Nick Lewycky 2011-08-14 04:51:49 +00:00
parent 7f0170c197
commit 28b84ff4ce
2 changed files with 11 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
lib/Transforms/InstCombine/InstructionCombining.cpp
View File

@ -294,14 +294,7 @@ bool InstCombiner::SimplifyAssociativeOrCommutative(BinaryOperator &I) {
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;

20
test/Transforms/InstCombine/nsw.ll
View File

@ -46,16 +46,6 @@ define i32 @preserve1(i32 %x) nounwind {
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 {
@ -81,3 +71,13 @@ define i8 @nopreserve3(i8 %A, i8 %B) 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
}