Lines Matching defs:effect

649 /// Returns true if `srcMemOp` may have an effect on `destMemOp` within the
672       // side effect.
676     // No side effect was seen.
679   // TODO: Check here if the memrefs alias: there is no side effect if
692   // Check whether the effect on memOp can be caused by a given operation op.
695     // If the effect has alreay been found, early exit,
704       for (auto effect : effects) {
706         // memOp, mark as having the effect.
707         if (isa<EffectType>(effect.getEffect())) {
708           if (effect.getValue() && effect.getValue() != memref &&
709               !mayAlias(effect.getValue(), memref))
719       // If the side effect comes from an affine read or write, try to
735       // We have an op with a memory effect and we cannot prove if it
743       // operations may have the side effect `EffectType` on memOp.
751     // Otherwise, conservatively assume generic operations have the effect
757   // effect. It is known that `to` must be contained within `parent`.
768   // given memory effect.
773             "Checking for side effect between two operations without a common "
1092   // effect.