with unknown instructions.
Fixes PR10687.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@137836
91177308-0d34-0410-b5e6-
96231b3b80d8
// Only a few things that can be structs matter for undef. Just send
// all their results to overdefined. We could be more precise than this
// but it isn't worth bothering.
// Only a few things that can be structs matter for undef. Just send
// all their results to overdefined. We could be more precise than this
// but it isn't worth bothering.
- if (isa<CallInst>(I) || isa<SelectInst>(I)) {
+ if (!isa<ExtractValueInst>(I) && !isa<InsertValueInst>(I)) {
for (unsigned i = 0, e = STy->getNumElements(); i != e; ++i) {
LatticeVal &LV = getStructValueState(I, i);
if (LV.isUndefined())
for (unsigned i = 0, e = STy->getNumElements(); i != e; ++i) {
LatticeVal &LV = getStructValueState(I, i);
if (LV.isUndefined())
LatticeVal &LV = getValueState(I);
if (!LV.isUndefined()) continue;
LatticeVal &LV = getValueState(I);
if (!LV.isUndefined()) continue;
+ // extractvalue is safe; check here because the argument is a struct.
+ if (isa<ExtractValueInst>(I))
+ continue;
+
+ // Compute the operand LatticeVals, for convenience below.
+ // Anything taking a struct is conservatively assumed to require
+ // overdefined markings.
+ if (I->getOperand(0)->getType()->isStructTy()) {
+ markOverdefined(I);
+ return true;
+ }
LatticeVal Op0LV = getValueState(I->getOperand(0));
LatticeVal Op1LV;
LatticeVal Op0LV = getValueState(I->getOperand(0));
LatticeVal Op1LV;
- if (I->getNumOperands() == 2)
+ if (I->getNumOperands() == 2) {
+ if (I->getOperand(1)->getType()->isStructTy()) {
+ markOverdefined(I);
+ return true;
+ }
+
Op1LV = getValueState(I->getOperand(1));
Op1LV = getValueState(I->getOperand(1));
// If this is an instructions whose result is defined even if the input is
// not fully defined, propagate the information.
Type *ITy = I->getType();
switch (I->getOpcode()) {
// If this is an instructions whose result is defined even if the input is
// not fully defined, propagate the information.
Type *ITy = I->getType();
switch (I->getOpcode()) {
- case Instruction::ExtractValue:
- break; // Extract of undef -> undef
case Instruction::Add:
case Instruction::Sub:
case Instruction::Trunc:
case Instruction::Add:
case Instruction::Sub:
case Instruction::Trunc:
; CHECK: @test9
; CHECK: icmp ugt
}
; CHECK: @test9
; CHECK: icmp ugt
}
+
+; Make sure we handle extractvalue
+define i64 @test10() {
+entry:
+ %e = extractvalue { i64, i64 } undef, 1
+ ret i64 %e
+; CHECK: @test10
+; CHECK: ret i64 undef
+}