Lines Matching defs:effect

69 /// [...] // operations which don't effect write_array
130 /// If effect is a read or write on val, return whether it aliases.
133 containsReadOrWriteEffectOn(const mlir::MemoryEffects::EffectInstance &effect,
138           effect.getEffect())) {
139     mlir::Value accessedVal = effect.getValue();
140     if (mlir::isa<fir::DebuggingResource>(effect.getResource()))
593   for (const mlir::MemoryEffects::EffectInstance &effect : *effects) {
594     mlir::AliasResult res = containsReadOrWriteEffectOn(effect, match.array);
597               effect.getEffect()))
598         if (effect.getValue())
599           notToBeAccessedBeforeAssign.push_back(effect.getValue());
606     if (mlir::isa<mlir::MemoryEffects::Write>(effect.getEffect())) {
622               effect.getValue().getDefiningOp<hlfir::DesignateOp>()) {
646     LLVM_DEBUG(llvm::dbgs() << "disallowed side-effect: " << effect.getValue()
659   for (const mlir::MemoryEffects::EffectInstance &effect : *effects) {
663       mlir::AliasResult res = containsReadOrWriteEffectOn(effect, val);
666                    << "diasllowed side-effect: " << effect.getValue() << " for "
1276   for (const mlir::MemoryEffects::EffectInstance &effect : *effects) {
1277     mlir::Value affected = effect.getValue();