Class IfElseAsmGenerator

java.lang.Object

org.ek9lang.compiler.backend.jvm.AbstractAsmGenerator

org.ek9lang.compiler.backend.jvm.AbstractControlFlowAsmGenerator

org.ek9lang.compiler.backend.jvm.IfElseAsmGenerator

final class IfElseAsmGenerator
extends AbstractControlFlowAsmGenerator

Specialized generator for EK9 if/else statements. Handles CONTROL_FLOW_CHAIN with chain_type: "IF_ELSE".

Supports: - Simple if (no else) - If with else - If/else if chains - If/else if/else chains

Stack Frame Invariant: All paths arrive at 'end' label with empty stack. Statement form has no result variable (unlike expression form which would).

Nested Class Summary

Nested classes/interfaces inherited from class AbstractAsmGenerator

AbstractAsmGenerator.LocalVariableInfo, AbstractAsmGenerator.MethodContext, AbstractAsmGenerator.ScopeInfo, AbstractAsmGenerator.TempVariableSource

Field Summary

Fields inherited from class AbstractControlFlowAsmGenerator

context

Fields inherited from class AbstractAsmGenerator

classWriter, constructTargetTuple, outputVisitor

Constructor Summary

Constructors

Constructor	Description
IfElseAsmGenerator(ConstructTargetTuple constructTargetTuple, OutputVisitor outputVisitor, org.objectweb.asm.ClassWriter classWriter, BytecodeGenerationContext context)

Method Summary

Modifier and Type	Method	Description
void	generate(ControlFlowChainInstr instr)	Generate bytecode for if/else statement.

Methods inherited from class AbstractControlFlowAsmGenerator

branchIfFalse, branchIfTrue, copyResultVariable, createControlFlowLabel, jumpTo, placeLabel, processBodyEvaluation, processConditionCase, processConditionCaseWithoutLabelPlacement, processConditionEvaluation, processInstructions

Methods inherited from class AbstractAsmGenerator

convertBooleanToInt, convertToJvmDescriptor, convertToJvmName, generateBooleanLiteral, generateCharacterLiteral, generateDebugInfo, generateFloatLiteral, generateIntegerLiteral, generateLoadVariable, generateLocalVariableTable, generateMethodDescriptor, generateObjectLiteral, generateStackOperation, generateStoreVariable, generateStringLiteral, getCurrentMethodVisitor, getMethodContext, getOrCreateLabel, getVariableIndex, isVariableAllocated, setCurrentMethodVisitor, setSharedMethodContext, trackTempVariableFromLiteral, trackTempVariableFromLoad

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

IfElseAsmGenerator

IfElseAsmGenerator(ConstructTargetTuple constructTargetTuple,
 OutputVisitor outputVisitor,
 org.objectweb.asm.ClassWriter classWriter,
 BytecodeGenerationContext context)

Method Details

generate

public void generate(ControlFlowChainInstr instr)

Generate bytecode for if/else statement.

Bytecode Pattern:

; Evaluate first condition
[condition evaluation instructions]
load primitive_condition
ifeq next_or_else_label    ; Branch if false
[if body]
goto end_label

next_or_else_label:
; Either next condition or else block or fall through

end_label:
; All paths converge here

Parameters:

instr - CONTROL_FLOW_CHAIN instruction with IF_ELSE type