6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-05-29 07:39:27 +00:00
Code Issues Projects Releases Wiki Activity

InstSimplify: Don't try to replace an extractvalue/insertvalue pair with the original value if types don't match.

Browse Source 
Fixes clang selfhost.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@139120 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Benjamin Kramer 2011-09-05 18:16:19 +00:00
parent ad99ef8bf5
commit ae707bd559
2 changed files with 13 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
lib/Analysis/InstructionSimplify.cpp
View File

@ -2286,7 +2286,8 @@ Value *llvm::SimplifyInsertValueInst(Value *Agg, Value *Val,
// insertvalue x, (extractvalue y, n), n // insertvalue x, (extractvalue y, n), n
if (ExtractValueInst *EV = dyn_cast<ExtractValueInst>(Val)) if (ExtractValueInst *EV = dyn_cast<ExtractValueInst>(Val))
if (EV->getIndices() == Idxs) { if (EV->getAggregateOperand()->getType() == Agg->getType() &&
EV->getIndices() == Idxs) {
// insertvalue undef, (extractvalue y, n), n -> y // insertvalue undef, (extractvalue y, n), n -> y
if (match(Agg, m_Undef())) if (match(Agg, m_Undef()))
return EV->getAggregateOperand(); return EV->getAggregateOperand();

15
test/Transforms/InstSimplify/2011-09-05-InsertExtractValue.ll
View File

@ -1,11 +1,8 @@
; RUN: opt < %s -instsimplify -S | FileCheck %s ; RUN: opt < %s -instsimplify -S | FileCheck %s
; CHECK-NOT: extractvalue
; CHECK-NOT: insertvalue
declare void @bar() declare void @bar()
define void @foo() { define void @test1() {
entry: entry:
invoke void @bar() to label %cont unwind label %lpad invoke void @bar() to label %cont unwind label %lpad
cont: cont:
@ -17,6 +14,16 @@ lpad:
%exc_ptr2 = insertvalue { i8*, i32 } undef, i8* %exc_ptr, 0 %exc_ptr2 = insertvalue { i8*, i32 } undef, i8* %exc_ptr, 0
%filter2 = insertvalue { i8*, i32 } %exc_ptr2, i32 %filter, 1 %filter2 = insertvalue { i8*, i32 } %exc_ptr2, i32 %filter, 1
resume { i8*, i32 } %filter2 resume { i8*, i32 } %filter2
; CHECK: @test1
; CHECK-NOT: extractvalue
; CHECK-NOT: insertvalue
} }
declare i32 @__gxx_personality_v0(i32, i64, i8*, i8*) declare i32 @__gxx_personality_v0(i32, i64, i8*, i8*)
define { i8, i32 } @test2({ i8*, i32 } %x) {
%ex = extractvalue { i8*, i32 } %x, 1
%ins = insertvalue { i8, i32 } undef, i32 %ex, 1
ret { i8, i32 } %ins
; CHECK: @test2
}