6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-08-09 11:25:55 +00:00
Code Issues Projects Releases Wiki Activity

fix PR5733, a case where we'd replace an add with a lexically identical

Browse Source 
binary operator that wasn't an add.  In this case, a xor.  Whoops.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90971 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner
2009-12-09 17:18:49 +00:00
parent 990d285765
commit eddc65aa0d
2 changed files with 68 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
lib/Analysis/PHITransAddr.cpp
View File

@@ -280,7 +280,8 @@ Value *PHITransAddr::PHITranslateSubExpr(Value *V, BasicBlock *CurBB,
for (Value::use_iterator UI = LHS->use_begin(), E = LHS->use_end(); for (Value::use_iterator UI = LHS->use_begin(), E = LHS->use_end();
UI != E; ++UI) { UI != E; ++UI) {
if (BinaryOperator *BO = dyn_cast<BinaryOperator>(*UI)) if (BinaryOperator *BO = dyn_cast<BinaryOperator>(*UI))
if (BO->getOperand(0) == LHS && BO->getOperand(1) == RHS && if (BO->getOpcode() == Instruction::Add &&
BO->getOperand(0) == LHS && BO->getOperand(1) == RHS &&
BO->getParent()->getParent() == CurBB->getParent()) BO->getParent()->getParent() == CurBB->getParent())
return BO; return BO;
} }

66
test/Transforms/GVN/crash-2.ll Normal file
View File

@@ -0,0 +1,66 @@
; RUN: opt -instcombine -gvn -S %s
; PR5733
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32-n8:16:32"
target triple = "i686-linux-gnu"
@ff_cropTbl = external global [2304 x i8] ; <[2304 x i8]*> [#uses=1]
define void @ff_pred8x8_plane_c(i8* nocapture %src, i32 %stride) nounwind {
entry:
br i1 true, label %bb.nph41, label %for.end
bb.nph41: ; preds = %entry
%sub.ptr.neg37 = sub i32 0, %stride ; <i32> [#uses=1]
%tmp55 = add i32 %sub.ptr.neg37, -1 ; <i32> [#uses=1]
%tmp73 = add i32 %stride, -1 ; <i32> [#uses=2]
%sub.ptr38 = getelementptr i8* %src, i32 %tmp73 ; <i8*> [#uses=1]
%tmp60 = load i8* %sub.ptr38 ; <i8> [#uses=1]
%conv61 = zext i8 %tmp60 to i32 ; <i32> [#uses=1]
%sub62 = sub i32 0, %conv61 ; <i32> [#uses=1]
%mul63 = mul i32 %sub62, 2 ; <i32> [#uses=1]
%add65 = add nsw i32 %mul63, 0 ; <i32> [#uses=1]
%tmp71.2 = mul i32 2, %stride ; <i32> [#uses=1]
%tmp72.2 = sub i32 0, %tmp71.2 ; <i32> [#uses=1]
%tmp74.2 = add i32 %tmp72.2, %tmp73 ; <i32> [#uses=1]
%sub.ptr38.2 = getelementptr i8* %src, i32 %tmp74.2 ; <i8*> [#uses=1]
%tmp60.2 = load i8* %sub.ptr38.2 ; <i8> [#uses=1]
%conv61.2 = zext i8 %tmp60.2 to i32 ; <i32> [#uses=1]
%sub62.2 = sub i32 0, %conv61.2 ; <i32> [#uses=1]
%mul63.2 = mul i32 %sub62.2, 4 ; <i32> [#uses=1]
%add65.2 = add nsw i32 %mul63.2, %add65 ; <i32> [#uses=1]
%scevgep = getelementptr i8* %src, i32 %tmp55 ; <i8*> [#uses=1]
br label %for.end
for.end: ; preds = %for.cond.2, %entry
%V.0.lcssa = phi i32 [ %add65.2, %bb.nph41 ], [ 0, %entry ] ; <i32> [#uses=1]
%src2.0.lcssa = phi i8* [ %scevgep, %bb.nph41 ], [ null, %entry ] ; <i8*> [#uses=1]
%mul71 = mul i32 %V.0.lcssa, 17 ; <i32> [#uses=1]
%add72 = add nsw i32 %mul71, 16 ; <i32> [#uses=1]
%shr73 = ashr i32 %add72, 5 ; <i32> [#uses=1]
br i1 true, label %bb.nph, label %for.end181
bb.nph: ; preds = %for.end
%arrayidx79 = getelementptr inbounds i8* %src2.0.lcssa, i32 8 ; <i8*> [#uses=1]
%tmp80 = load i8* %arrayidx79 ; <i8> [#uses=1]
%tmp9 = mul i32 %shr73, -3 ; <i32> [#uses=1]
%tmp11 = zext i8 %tmp80 to i32 ; <i32> [#uses=1]
%tmp12 = add i32 0, %tmp11 ; <i32> [#uses=1]
%tmp13 = mul i32 %tmp12, 16 ; <i32> [#uses=1]
%tmp38 = add i32 %tmp9, %tmp13 ; <i32> [#uses=1]
%tmp39 = add i32 %tmp38, 16 ; <i32> [#uses=1]
br label %for.body94
for.body94: ; preds = %bb.nph, %for.cond90
%add129 = add i32 0, %tmp39 ; <i32> [#uses=1]
%shr130 = ashr i32 %add129, 5 ; <i32> [#uses=1]
%.sum4 = add i32 %shr130, 1024 ; <i32> [#uses=1]
%arrayidx132 = getelementptr inbounds [2304 x i8]* @ff_cropTbl, i32 0, i32 %.sum4 ; <i8*> [#uses=1]
%tmp133 = load i8* %arrayidx132 ; <i8> [#uses=1]
store i8 %tmp133, i8* undef
br label %for.body94
for.end181: ; preds = %for.cond90.for.end181_crit_edge, %for.end
ret void
}