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