A private "module" namespace for types and utilities used by JumpThreading. These are implementation details and should not be used by clients.

Type Aliases

Name

Description

PredValueInfo

Non‐owning view of constant values known along predecessor edges.

PredValueInfoTy

Owning list of constant values known along predecessor edges.

Enums

Name

Description

ConstantPreference

Kind of constant sought when analyzing values in predecessors.

Created with MrDocs