Return true if Op0 and Op1 match a zero check with mul-with-overflow.
Declared in <llvm/Analysis/OverflowInstAnalysis.h>
bool
isCheckForZeroAndMulWithOverflow(
Value* Op0,
Value* Op1,
bool IsAnd);Convenience overload that ignores the matched multiplicand use.
True if Op0 and Op1 match a zero check with mul-with-overflow.
| Name | Description |
|---|---|
| Op0 | Zero-comparison operand of the select or logic operation. |
| Op1 | Overflow-bit (or inverted overflow-bit) operand. |
| IsAnd | True for the and/select-false pattern; false for or/select-true. |