6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-03-13 08:35:46 +00:00
Code Issues Projects Releases Wiki Activity

[Reassociate] Don't canonicalize X - undef to X + (-undef).

Browse Source 
Phabricator Revision: http://reviews.llvm.org/D5674
PR21205

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@219434 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chad Rosier 2014-10-09 20:06:29 +00:00
parent 07200c4b6c
commit c2bf8fbdf4
2 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/Transforms/Scalar/Reassociate.cpp
View File

@ -967,6 +967,10 @@ static bool ShouldBreakUpSubtract(Instruction *Sub) {
if (BinaryOperator::isNeg(Sub) || BinaryOperator::isFNeg(Sub))
return false;
// Don't breakup X - undef.
if (isa<UndefValue>(Sub->getOperand(1)))
return false;
// Don't bother to break this up unless either the LHS is an associable add or
// subtract or if this is only used by one.
Value *V0 = Sub->getOperand(0);

21
test/Transforms/Reassociate/pr21205.ll Normal file
View File

@ -0,0 +1,21 @@
; RUN: opt -reassociate -S < %s | FileCheck %s
; PR21205
@a = common global i32 0, align 4
@b = common global i32 0, align 4
; Don't canonicalize %conv - undef into %conv + (-undef).
; CHECK-LABEL: @test1
; CHECK: %sub = fsub fast float %conv, undef
; CHECK: %sub1 = fadd fast float %sub, -1.000000e+00
define i32 @test1() {
entry:
%0 = load i32* @a, align 4
%conv = sitofp i32 %0 to float
%sub = fsub fast float %conv, undef
%sub1 = fadd fast float %sub, -1.000000e+00
%conv2 = fptosi float %sub1 to i32
store i32 %conv2, i32* @b, align 4
ret i32 undef
}