| 2298 | } |
| 2299 | |
| 2300 | Status AlgebraicSimplifierVisitor::HandleNot(HloInstruction* logical_not) { |
| 2301 | // not(not(x)) => x |
| 2302 | HloInstruction* x; |
| 2303 | if (Match(logical_not, m::Not(m::Not(m::Op(&x)))) && |
| 2304 | ReplaceInstructionIfSameShape(logical_not, x)) { |
| 2305 | return Status::OK(); |
| 2306 | } |
| 2307 | return Status::OK(); |
| 2308 | } |
| 2309 | |
| 2310 | Status AlgebraicSimplifierVisitor::HandleOr(HloInstruction* logical_or) { |
| 2311 | HloInstruction *lhs, *rhs; |