Member predicate IR::Instruction::writesElement
Holds if this instruction updates the value of element index on the value of base.
predicate writesElement(Instruction base, Instruction index)Holds if this instruction updates the value of element index on the value of base.
predicate writesElement(Instruction base, Instruction index)