Don't use information from its non‐constant operands. This helper is used when its operands are going to be replaced.

Synopsis

Declared in <llvm/Analysis/ValueTracking.h>

bool
isSafeToSpeculativelyExecuteWithVariableReplaced(
    Instruction const* I,
    bool IgnoreUBImplyingAttrs = true);

Return Value

True if I is safe to speculate without variable operand info.

Parameters

Name

Description

I

Instruction to test for speculative safety after operand replace.

IgnoreUBImplyingAttrs

Whether to ignore UB‐implying attributes.

Created with MrDocs