Return true if Op0 and Op1 match a zero check with mul‐with‐overflow.

Synopsis

Declared in <llvm/Analysis/OverflowInstAnalysis.h>

bool
isCheckForZeroAndMulWithOverflow(
    Value* Op0,
    Value* Op1,
    bool IsAnd);

Description

Convenience overload that ignores the matched multiplicand use.

Return Value

True if Op0 and Op1 match a zero check with mul‐with‐overflow.

Parameters

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.

Created with MrDocs