Struct cranelift_isle::serialize::MatchArm
source · pub struct MatchArm {
pub constraint: Constraint,
pub bindings: Vec<Option<BindingId>>,
pub body: Block,
}Expand description
One concrete pattern and the block to evaluate if the pattern matches.
Fields§
§constraint: ConstraintThe pattern to match.
bindings: Vec<Option<BindingId>>If this pattern matches, it brings these bindings into scope. If a
binding is unused in this block, then the corresponding position in the
pattern’s bindings may be None.
body: BlockSteps to evaluate if the pattern matched.