Case
is meant to be used in a switch statement. See LeanGccJit.Core.Block.endWithExtendedAsmGoto
for detailed descriptions.
@[extern lean_gcc_jit_context_new_case]
opaque
LeanGccJit.Core.Context.newCase
(ctx : LeanGccJit.Core.Context)
(min : LeanGccJit.Core.RValue)
(max : LeanGccJit.Core.RValue)
(block : LeanGccJit.Core.Block)
:
Create a new Case
instance for use in a switch statement.
Note #
min_value
andmax_value
must be constants of an integer type, which must match that of the expression of the switch statement.- dest_block must be within the same function as the switch statement.
@[extern lean_gcc_jit_case_as_object]
Upcast from a case to an object.