// constant. Floating point division can be ~10x more expensive than a
// multiplication.
def RealDivWithConstDivisor : Pat<
  (TF_RealDivOp:$src $arg0, (TF_ConstOp FloatElementsAttr<32>:$value)),
  (TF_MulOp:$dest1 $arg0, (TF_ReciprocalOp:$dest2 (TF_ConstOp $value))),
  [], [(CopyAttrs $src, $dest1), (CopyAttrs $src, $dest2)]>;