if (Value *Elt = findScalarElement(Vec, IdxC->getZExtValue()))
return Elt;
} else {
+ // extractelt x, (insertelt y, elt, n), n -> elt
+ // If the possibly-variable indices are trivially known to be equal
+ // (because they are the same operand) then use the value that was
+ // inserted directly.
+ auto *IE = dyn_cast<InsertElementInst>(Vec);
+ if (IE && IE->getOperand(2) == Idx)
+ return IE->getOperand(1);
+
// The index is not relevant if our vector is a splat.
if (Value *Splat = getSplatValue(Vec))
return Splat;
if (auto *I = dyn_cast<Instruction>(SrcVec)) {
if (auto *IE = dyn_cast<InsertElementInst>(I)) {
- // If the possibly-variable indices are trivially known to be equal
- // (because they are the same operand) then use the value that was
- // inserted directly.
- if (IE->getOperand(2) == Index)
- return replaceInstUsesWith(EI, IE->getOperand(1));
// instsimplify already handled the case where the indices are constants
// and equal by value, if both are constants, they must not be the same
// value, extract from the pre-inserted value instead.
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt < %s -passes=instcombine -S | FileCheck %s
+; RUN: opt < %s -passes=instsimplify -S | FileCheck %s
; extracting a just-inserted element should yield the original value
define float @constant_index(<4 x float> %x, float %val) {