llvm::matchSimpleBinaryIntrinsicRecurrence

Synopsis

Declared in <llvm/Analysis/ValueTracking.h>

bool
matchSimpleBinaryIntrinsicRecurrence(
    IntrinsicInst const* I,
    PHINode*& P,
    Value*& Init,
    Value*& OtherOp);

Description

Attempt to match a simple value-accumulating recurrence of the form: %llvm.intrinsic.acc = phi Ty [%Init, %Entry], [%llvm.intrinsic, %backedge] %llvm.intrinsic = call Ty llvm.intrinsic(%OtherOp, %llvm.intrinsic.acc) OR %llvm.intrinsic.acc = phi Ty [%Init, %Entry], [%llvm.intrinsic, %backedge] %llvm.intrinsic = call Ty llvm.intrinsic(%llvm.intrinsic.acc, %OtherOp)

The recurrence relation is of kind: X_0 = %a (initial value), X_i = call llvm.binary.intrinsic(X_i-1, %b) Where %b is not required to be loop-invariant.

Return Value

True if a simple binary intrinsic recurrence was matched.

Parameters

Name	Description
I	Intrinsic call that may be the recurrence update.
P	Output phi accumulator of the matched recurrence.
Init	Output initial value of the accumulator.
OtherOp	Output non-accumulator operand of the intrinsic.