Skip to content

ref.compare.null

← ref dialect

Return true when the handle is null and false otherwise. The handle is borrowed without retaining, releasing, or inspecting its payload.

Operation contract

Property Value
Semantic phase executable
Traits Pure, SafeToSpeculate
Ownership effects borrow value (by_value)

Signature

Kind Name Type Cardinality Description
Operand value managed_reference required —
Result result i1 required —

Examples

%missing = ref.compare.null %frame : ptr<@Frame>