Uses of Interface
org.kink_lang.kink.internal.compile.javaclassir.Insn

Packages that use Insn

Package	Description
org.kink_lang.kink.internal.compile.javaclassir	Intermediate representation before JVM byte code compilation.

Uses of Insn in org.kink_lang.kink.internal.compile.javaclassir

Classes in org.kink_lang.kink.internal.compile.javaclassir that implement Insn

Modifier and Type	Class	Description
static final record	Insn.AddInt	add-int insn.
static final record	Insn.ArrayStore	Array-store insn.
static final record	Insn.Case	Marks the case label for the table-switch.
static final record	Insn.CheckCast	Check-cast insn.
static final record	Insn.Default	Marks the default label for the table-switch.
static final record	Insn.Dup	Dup insn.
static final record	Insn.GetField	Get-field insn.
static final record	Insn.GetStatic	Get-static-field insn.
static final record	Insn.GoTo	Goto insn.
static final record	Insn.IfEq	If-eq insn.
static final record	Insn.IfEqInt	If-eq insn for int.
static final record	Insn.IfGeInt	If-ge insn for int.
static final record	Insn.IfGtInt	If-gt insn for int.
static final record	Insn.IfLtInt	If-lt insn for int.
static final record	Insn.IfNonNull	If-nonnull insn.
static final record	Insn.IfNonZero	If-nonzero insn.
static final record	Insn.InstanceOf	Instanceof insn.
static final record	Insn.InvokeConstructor	Invoke-special insn.
static final record	Insn.InvokeDynamic	Invoke-dynamic insn.
static final record	Insn.InvokeStatic	Invoke-static insn.
static final record	Insn.InvokeVirtual	Invoke-virtual insn.
static final record	Insn.LoadArg	load-arg insn.
static final record	Insn.LoadLocal	Load-local insn.
static final record	Insn.LoadThis	loadthis insn.
static final record	Insn.Mark	Marks the label.
static final record	Insn.NewArray	New-array insn.
static final record	Insn.NewInstance	New-instance insn.
static final record	Insn.PushInt	push-int insn.
static final record	Insn.PushString	push-string or null insn.
static final record	Insn.ReturnValue	Return insn.
static final record	Insn.StoreArg	store-arg insn.
static final record	Insn.StoreNewLocal	New-local and store-local insns.
static final record	Insn.SubInt	subtract-int insn.
static final record	Insn.Switch	Table-switch insn.
static final record	Insn.Throw	Throw insn.

Methods in org.kink_lang.kink.internal.compile.javaclassir that return Insn

Modifier and Type	Method	Description
static Insn	MakeFastFunGenerator.invokeMakeFun(int valFieldCount, int jcirInd)	Returns make-fun indy insn.

Methods in org.kink_lang.kink.internal.compile.javaclassir that return types with arguments of type Insn

Modifier and Type	Method	Description
List<Insn>	ControlGenerator.branch(BranchItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)	Generates insns of branch without else.
List<Insn>	OverriddenControlGenerator.branch(BranchItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	UnchangedControlGenerator.branch(BranchItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	ControlGenerator.branchWithElse(BranchWithElseItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)	Generates insns of branch with else.
List<Insn>	OverriddenControlGenerator.branchWithElse(BranchWithElseItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	UnchangedControlGenerator.branchWithElse(BranchWithElseItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
static List<Insn>	LvarAccessGenerator.checkNull(String lvarName, Location loc, KeyStrSupplier keySup, TraceAccumulator traceAccum)	If contParam is null, transition to raise and return.
List<Insn>	JavaClassIr.doResumeInsns()	Returns the value of the doResumeInsns record component.
List<Insn>	InsnsGenerator.generate(Itree itree, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)	Generates insns of doResume.
List<Insn>	BindingGenerator.generateBinding()	Returns the insns.
static List<Insn>	MakeFastFunGenerator.generateCombinator(int jcirInd)	Generates insns for a combinator.
List<Insn>	InFastFunLetRecGenerator.letRec(LetRecItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate)
List<Insn>	InSlowFunLetRecGenerator.letRec(LetRecItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate)
List<Insn>	LetRecGenerator.letRec(LetRecItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate)	Generates letrec insns.
List<Insn>	FastLvarAccessGenerator.loadLvar(LocalVar lvar, Location loc)
List<Insn>	LvarAccessGenerator.loadLvar(LocalVar lvar, Location loc)	Generates insns to load a local var, checking absence.
List<Insn>	SlowLvarAccessGenerator.loadLvar(LocalVar lvar, Location loc)
List<Insn>	FastLvarAccessGenerator.loadLvarAllowNull(LocalVar lvar)
List<Insn>	LvarAccessGenerator.loadLvarAllowNull(LocalVar lvar)	Generates insns to load a local var, not checking absence.
List<Insn>	SlowLvarAccessGenerator.loadLvarAllowNull(LocalVar lvar)
List<Insn>	MakeBindingCaptureFastFunGenerator.makeFun(FastFunItree fun)
List<Insn>	MakeFastFunGenerator.makeFun(FastFunItree fun)	Makes insns to make an SSA fun.
List<Insn>	MakeValCaptureFastFunGenerator.makeFun(FastFunItree fun)
List<Insn>	ControlGenerator.noTraitNewVal(NoTraitNewValItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)	Generates insns of new_val without trait.
List<Insn>	OverriddenControlGenerator.noTraitNewVal(NoTraitNewValItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	UnchangedControlGenerator.noTraitNewVal(NoTraitNewValItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	FastLvarAccessGenerator.passArg(LocalVar lvar, int argIndex)
List<Insn>	LvarAccessGenerator.passArg(LocalVar lvar, int argIndex)	Generates insns to pass the specified arg.
List<Insn>	SlowLvarAccessGenerator.passArg(LocalVar lvar, int argIndex)
List<Insn>	FastLvarAccessGenerator.passRecv(LocalVar lvar)
List<Insn>	LvarAccessGenerator.passRecv(LocalVar lvar)	Generates insns to pass the recv.
List<Insn>	SlowLvarAccessGenerator.passRecv(LocalVar lvar)
List<Insn>	ControlGenerator.preloadedIf(IfItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)	Generates insns of if preloaded fun.
List<Insn>	OverriddenControlGenerator.preloadedIf(IfItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	UnchangedControlGenerator.preloadedIf(IfItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	FastLvarAccessGenerator.storeLvar(LocalVar lvar)
List<Insn>	LvarAccessGenerator.storeLvar(LocalVar lvar)	Generates insns to store a local var.
List<Insn>	SlowLvarAccessGenerator.storeLvar(LocalVar lvar)
List<Insn>	ControlGenerator.traitNewVal(TraitNewValItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)	Generates insns of new_val with trait.
List<Insn>	OverriddenControlGenerator.traitNewVal(TraitNewValItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	UnchangedControlGenerator.traitNewVal(TraitNewValItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)

Method parameters in org.kink_lang.kink.internal.compile.javaclassir with type arguments of type Insn

Modifier and Type	Method	Description
List<Insn>	ControlGenerator.branch(BranchItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)	Generates insns of branch without else.
List<Insn>	OverriddenControlGenerator.branch(BranchItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	UnchangedControlGenerator.branch(BranchItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	ControlGenerator.branchWithElse(BranchWithElseItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)	Generates insns of branch with else.
List<Insn>	OverriddenControlGenerator.branchWithElse(BranchWithElseItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	UnchangedControlGenerator.branchWithElse(BranchWithElseItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	InFastFunLetRecGenerator.letRec(LetRecItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate)
List<Insn>	InSlowFunLetRecGenerator.letRec(LetRecItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate)
List<Insn>	LetRecGenerator.letRec(LetRecItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate)	Generates letrec insns.
List<Insn>	ControlGenerator.noTraitNewVal(NoTraitNewValItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)	Generates insns of new_val without trait.
List<Insn>	OverriddenControlGenerator.noTraitNewVal(NoTraitNewValItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	UnchangedControlGenerator.noTraitNewVal(NoTraitNewValItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	ControlGenerator.preloadedIf(IfItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)	Generates insns of if preloaded fun.
List<Insn>	OverriddenControlGenerator.preloadedIf(IfItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	UnchangedControlGenerator.preloadedIf(IfItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	ControlGenerator.traitNewVal(TraitNewValItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)	Generates insns of new_val with trait.
List<Insn>	OverriddenControlGenerator.traitNewVal(TraitNewValItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)
List<Insn>	UnchangedControlGenerator.traitNewVal(TraitNewValItree itree, BiFunction<Itree,org.kink_lang.kink.internal.compile.javaclassir.ResultContext,List<Insn>> generate, org.kink_lang.kink.internal.compile.javaclassir.ResultContext resultCtx)

Constructor parameters in org.kink_lang.kink.internal.compile.javaclassir with type arguments of type Insn

Modifier	Constructor	Description
	BytecodeGenState(org.objectweb.asm.commons.GeneratorAdapter ga, List<Insn> insns)	Constructs state with the generator method visitor.
	JavaClassIr(int valFieldCount, List<Insn> doResumeInsns, Map<Integer,Trace> traces, String desc, List<JcirFactory> childJcirFactories)	Constructs an IR.