CostKind, I);
}
case Instruction::InsertElement: {
- auto *IE = cast<InsertElementInst>(U);
+ auto *IE = dyn_cast<InsertElementInst>(U);
+ if (!IE)
+ return TTI::TCC_Basic; // FIXME
auto *CI = dyn_cast<ConstantInt>(IE->getOperand(2));
unsigned Idx = CI ? CI->getZExtValue() : -1;
return TargetTTI->getVectorInstrCost(Opcode, Ty, Idx);
}
case Instruction::ShuffleVector: {
- auto *Shuffle = cast<ShuffleVectorInst>(U);
+ auto *Shuffle = dyn_cast<ShuffleVectorInst>(U);
+ if (!Shuffle)
+ return TTI::TCC_Basic; // FIXME
auto *VecTy = cast<VectorType>(U->getType());
auto *VecSrcTy = cast<VectorType>(U->getOperand(0)->getType());
}
case Instruction::ExtractElement: {
unsigned Idx = -1;
- auto *EEI = cast<ExtractElementInst>(U);
+ auto *EEI = dyn_cast<ExtractElementInst>(U);
+ if (!EEI)
+ return TTI::TCC_Basic; // FIXME
+
auto *CI = dyn_cast<ConstantInt>(EEI->getOperand(1));
if (CI)
Idx = CI->getZExtValue();
--- /dev/null
+; RUN: opt -simplifycfg -S < %s | FileCheck %s
+
+; See that we do not crash when queriying cost model about the cost of constant expression extractelement.
+
+%"struct.(anonymous namespace)::aj" = type { %struct.o }
+%struct.o = type { %struct.j }
+%struct.j = type { %struct.c }
+%struct.c = type { %struct.a }
+%struct.a = type { i8 }
+%struct.e = type { %struct.a* }
+
+$_ZN1eC2EPK1a = comdat any
+
+@_ZN12_GLOBAL__N_12anE = internal global %"struct.(anonymous namespace)::aj" zeroinitializer, align 1
+
+declare dso_local i32 @_Zeq1eS_(%struct.a*, %struct.a*) local_unnamed_addr #2
+
+define internal fastcc %struct.a* @_ZNK1jIiN12_GLOBAL__N_12ajEE2aeERKi() unnamed_addr #0 align 2 {
+; CHECK-LABEL: @_ZNK1jIiN12_GLOBAL__N_12ajEE2aeERKi
+entry:
+ %call = call i32 @_Zeq1eS_(%struct.a* null, %struct.a* null)
+ %tobool = icmp eq i32 %call, 0
+ br i1 %tobool, label %cond.false, label %cond.end
+
+cond.false: ; preds = %entry
+ br label %cond.end
+
+cond.end: ; preds = %entry, %cond.false
+ %retval.sroa.0.0 = phi %struct.a* [ null, %cond.false ], [ extractelement (<1 x %struct.a*> inttoptr (<1 x i64> bitcast (i64 ptrtoint (%"struct.(anonymous namespace)::aj"* @_ZN12_GLOBAL__N_12anE to i64) to <1 x i64>) to <1 x %struct.a*>), i64 0), %entry ]
+ ret %struct.a* %retval.sroa.0.0
+}