Lines Matching defs:witness

277 // Removes AssumingOp with a passing witness and inlines the region.
283     auto witness = op.getWitness().getDefiningOp<ConstWitnessOp>();
284     if (!witness || !witness.getPassingAttr())
378     OpBuilder &builder, OperationState &result, Value witness,
382   result.addOperands(witness);
1012   // Because a failing witness result here represents an eventual assertion
1013   // failure, we do not replace it with a constant witness.
1030   // If inputs are equal, return passing witness
1040   // Because a failing witness result here represents an eventual assertion
1041   // failure, we do not try to replace it with a constant witness. Similarly, we