Documentation

LeanGccJit.Core.Case

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]

Create a new Case instance for use in a switch statement.

Note #

  • min_value and max_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.