Package de.mirkosertic.bytecoder.core.backend.wasm

Class WasmStructuredControlflowCodeGenerator

java.lang.Object

de.mirkosertic.bytecoder.core.backend.wasm.WasmStructuredControlflowCodeGenerator

All Implemented Interfaces:

StructuredControlflowCodeGenerator

public class WasmStructuredControlflowCodeGenerator
extends Object
implements StructuredControlflowCodeGenerator

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static class	WasmStructuredControlflowCodeGenerator.LambdaInstance
(package private) static class	WasmStructuredControlflowCodeGenerator.NestingLevel<T extends Container>
(package private) static class	WasmStructuredControlflowCodeGenerator.NestingLevelBlock
(package private) static class	WasmStructuredControlflowCodeGenerator.NestingLevelIff
(package private) static class	WasmStructuredControlflowCodeGenerator.NestingLevelLoop
(package private) static class	WasmStructuredControlflowCodeGenerator.NestingLevelSwitch
(package private) static class	WasmStructuredControlflowCodeGenerator.NestingLevelTry

Field Summary

Fields

Modifier and Type	Field	Description
private WasmStructuredControlflowCodeGenerator.NestingLevel<?>	activeLevel
(package private) int	catchcheckcount
(package private) int	checkcounter
private final CompileUnit	compileUnit
private final ExportableFunction	exportableFunction
private final FunctionIndex	functionIndex
private final Function<ResolvedMethod,FunctionType>	functionTypeConverter
(package private) int	generatedEquals
private final GeneratedMethodsRegistry	generatedMethodsRegistry
private final Graph	graph
(package private) int	ifcounter
(package private) static int	lambdaCounter
(package private) int	lookupSwitchCount
private final MethodToIDMapper	methodToIDMapper
private final Module	module
private final Map<ResolvedClass,StructType>	objectTypeMappings
private final List<ResolvedClass>	resolvedClasses
private final Map<ResolvedClass,StructType>	rtMappings
(package private) int	tableSwitchCount
private final Function<org.objectweb.asm.Type,WasmType>	typeConverter
private final Map<AbstractVar,Local>	varLocalMap
private final VTableResolver	vTableResolver

Constructor Summary

Constructors

Constructor

Description

WasmStructuredControlflowCodeGenerator(CompileUnit compileUnit, Module module, Map<ResolvedClass,StructType> rtMappings, Map<ResolvedClass,StructType> objectTypeMappings, ExportableFunction exportableFunction, Function<org.objectweb.asm.Type,WasmType> typeConverter, Function<ResolvedMethod,FunctionType> functionTypeConverter, MethodToIDMapper methodToIDMapper, Graph graph, List<ResolvedClass> resolvedClasses, VTableResolver vTableResolver, GeneratedMethodsRegistry generatedMethodsRegistry, FunctionIndex functionIndex)

Method Summary

Modifier and Type	Method	Description
private WasmValue	convertToType(Value incoming, org.objectweb.asm.Type targetType)
private WasmStructuredControlflowCodeGenerator.LambdaInstance	createLambdaInstance(org.objectweb.asm.Type type, ExportableFunction implFunction, List<StructType.Field> closureFields, List<WasmValue> closureArguments)
static WasmValue	createNewInstanceOf(org.objectweb.asm.Type instanceType, Module module, CompileUnit compileUnit, Map<ResolvedClass,StructType> objectTypeMappings, Map<ResolvedClass,StructType> rtMappings, WasmValue externRef, FunctionIndex functionIndex)
void	finishBlock(Sequencer.Block node, boolean stackEmpty)
void	finishCatchHandler()
void	finishIfBlock()
void	finishLookupSwitch()
void	finishSwitchCase()
void	finishSwitchDefault()
void	finishTableSwitch()
void	finishTableSwitchDefaultBlock()
void	finishTryCatch()
private WasmValue	generateInvokeDynamicLambdaMetaFactoryInvocation(InvokeDynamicExpression node, ResolveCallsite resolveCallsite)
private WasmValue	generateInvokeDynamicObjectMethodsEquals(InvokeDynamicExpression node, ResolveCallsite resolveCallsite)
private WasmValue	generateInvokeDynamicObjectMethodsToString(InvokeDynamicExpression node, ResolveCallsite resolveCallsite)
private WasmValue	generateInvokeDynamicStringMakeConcatWithConstants(InvokeDynamicExpression node, ResolveCallsite resolveCallsite)
void	registerVariables(Graph g)
void	startBlock(Sequencer.Block node)
void	startCatchBlock()
void	startCatchHandler(org.objectweb.asm.Type type)
void	startIfElseBlock(If node)
void	startIfWithTrueBlock(If node)
void	startLookupSwitch(LookupSwitch node)
void	startTableSwitch(TableSwitch node)
void	startTableSwitchDefaultBlock()
void	startTryCatch(String label)
private WasmValue	toInstanceOfCheck(WasmValue value, org.objectweb.asm.Type typeToCheck)
private WasmValue	toType(org.objectweb.asm.Type type)
private WasmValue	toWasmValue(AbstractVar value)
private WasmValue	toWasmValue(Add value)
private WasmValue	toWasmValue(And value)
private WasmValue	toWasmValue(ArrayLength value)
private WasmValue	toWasmValue(ArrayLoad value)
private WasmValue	toWasmValue(Cast value)
private WasmValue	toWasmValue(CaughtException value)
private WasmValue	toWasmValue(CMP value)
private WasmValue	toWasmValue(Div value)
private WasmValue	toWasmValue(EnumValuesOf value)
private WasmValue	toWasmValue(InstanceOf value)
private WasmValue	toWasmValue(InvokeDynamicExpression value)
private WasmValue	toWasmValue(MethodArgument value)
private WasmValue	toWasmValue(MethodInvocationExpression value)
private WasmValue	toWasmValue(Mul value)
private WasmValue	toWasmValue(Neg value)
private WasmValue	toWasmValue(New value)
private WasmValue	toWasmValue(NewArray value)
private WasmValue	toWasmValue(NullReference value)
private WasmValue	toWasmValue(NullTest value)
private WasmValue	toWasmValue(NumericalTest value)
private WasmValue	toWasmValue(ObjectString value)
private WasmValue	toWasmValue(Or value)
private WasmValue	toWasmValue(PrimitiveClassReference reference)
private WasmValue	toWasmValue(PrimitiveDouble value)
private WasmValue	toWasmValue(PrimitiveFloat value)
private WasmValue	toWasmValue(PrimitiveInt value)
private WasmValue	toWasmValue(PrimitiveLong value)
private WasmValue	toWasmValue(PrimitiveShort value)
private WasmValue	toWasmValue(ReadClassField value)
private WasmValue	toWasmValue(ReadInstanceField value)
private WasmValue	toWasmValue(ReferenceTest value)
private WasmValue	toWasmValue(Reinterpret value)
private WasmValue	toWasmValue(Rem value)
private WasmValue	toWasmValue(RuntimeClass value)
private WasmValue	toWasmValue(RuntimeClassOf value)
private WasmValue	toWasmValue(SHL value)
private WasmValue	toWasmValue(SHR value)
private WasmValue	toWasmValue(Sub value)
private WasmValue	toWasmValue(This value)
private WasmValue	toWasmValue(TypeConversion value)
private WasmValue	toWasmValue(TypeReference value)
private WasmValue	toWasmValue(USHR value)
private WasmValue	toWasmValue(Value value)
private WasmValue	toWasmValue(XOr value)
private WasmValue	toWasmValueDirect(MethodInvocationExpression value)
private WasmValue	toWasmValueInterface(MethodInvocationExpression value)
private WasmValue	toWasmValueStatic(MethodInvocationExpression value)
private WasmValue	toWasmValueVirtual(MethodInvocationExpression value)
void	write(ArrayStore node)
void	write(ClassInitialization node)
void	write(Copy node)
void	write(FrameDebugInfo node)
void	write(Goto node)
void	write(LineNumberDebugInfo node)
void	write(MethodInvocation invocation)
void	write(MonitorEnter node)
void	write(MonitorExit node)
void	write(Return node)
void	write(ReturnValue node)
void	write(SetClassField node)
void	write(SetInstanceField node)
void	write(Unwind node)
void	writeBreakTo(String label)
void	writeContinueTo(String label)
private void	writeDirect(MethodInvocation node)
private void	writeInterface(MethodInvocation node)
void	writeRethrowException()
private void	writeStatic(MethodInvocation node)
void	writeSwitchCase(int index)
void	writeSwitchDefaultCase()
private void	writeVirtual(MethodInvocation node)

Methods inherited from class java.lang.Object

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

Field Details

compileUnit

private final CompileUnit compileUnit

module

private final Module module

objectTypeMappings

private final Map<ResolvedClass,StructType> objectTypeMappings

rtMappings

private final Map<ResolvedClass,StructType> rtMappings

exportableFunction

private final ExportableFunction exportableFunction

typeConverter

private final Function<org.objectweb.asm.Type,WasmType> typeConverter

functionTypeConverter

private final Function<ResolvedMethod,FunctionType> functionTypeConverter

methodToIDMapper

private final MethodToIDMapper methodToIDMapper

varLocalMap

private final Map<AbstractVar,Local> varLocalMap

activeLevel

private WasmStructuredControlflowCodeGenerator.NestingLevel<?> activeLevel

graph

private final Graph graph

resolvedClasses

private final List<ResolvedClass> resolvedClasses

vTableResolver

private final VTableResolver vTableResolver

generatedMethodsRegistry

private final GeneratedMethodsRegistry generatedMethodsRegistry

functionIndex

private final FunctionIndex functionIndex

lambdaCounter

static int lambdaCounter

generatedEquals

int generatedEquals

ifcounter

int ifcounter

catchcheckcount

int catchcheckcount

tableSwitchCount

int tableSwitchCount

lookupSwitchCount

int lookupSwitchCount

checkcounter

int checkcounter

Constructor Details

WasmStructuredControlflowCodeGenerator

public WasmStructuredControlflowCodeGenerator(CompileUnit compileUnit,
 Module module,
 Map<ResolvedClass,StructType> rtMappings,
 Map<ResolvedClass,StructType> objectTypeMappings,
 ExportableFunction exportableFunction,
 Function<org.objectweb.asm.Type,WasmType> typeConverter,
 Function<ResolvedMethod,FunctionType> functionTypeConverter,
 MethodToIDMapper methodToIDMapper,
 Graph graph,
 List<ResolvedClass> resolvedClasses,
 VTableResolver vTableResolver,
 GeneratedMethodsRegistry generatedMethodsRegistry,
 FunctionIndex functionIndex)

Method Details

registerVariables

public void registerVariables(Graph g)

Specified by:

registerVariables in interface StructuredControlflowCodeGenerator

write

public void write(MethodInvocation invocation)

Specified by:

write in interface StructuredControlflowCodeGenerator

writeDirect

private void writeDirect(MethodInvocation node)

writeVirtual

private void writeVirtual(MethodInvocation node)

writeStatic

private void writeStatic(MethodInvocation node)

writeInterface

private void writeInterface(MethodInvocation node)

write

public void write(ClassInitialization node)

Specified by:

write in interface StructuredControlflowCodeGenerator

toWasmValue

private WasmValue toWasmValue(This value)

toWasmValue

private WasmValue toWasmValue(ObjectString value)

toWasmValue

private WasmValue toWasmValue(PrimitiveShort value)

toWasmValue

private WasmValue toWasmValue(PrimitiveInt value)

toWasmValue

private WasmValue toWasmValue(PrimitiveLong value)

toWasmValue

private WasmValue toWasmValue(PrimitiveFloat value)

toWasmValue

private WasmValue toWasmValue(PrimitiveDouble value)

toWasmValue

private WasmValue toWasmValue(MethodArgument value)

toWasmValue

private WasmValue toWasmValue(AbstractVar value)

toWasmValue

private WasmValue toWasmValue(NullReference value)

createNewInstanceOf

public static WasmValue createNewInstanceOf(org.objectweb.asm.Type instanceType,
 Module module,
 CompileUnit compileUnit,
 Map<ResolvedClass,StructType> objectTypeMappings,
 Map<ResolvedClass,StructType> rtMappings,
 WasmValue externRef,
 FunctionIndex functionIndex)

toWasmValue

private WasmValue toWasmValue(New value)

toWasmValue

private WasmValue toWasmValue(ReadInstanceField value)

toWasmValue

private WasmValue toWasmValue(MethodInvocationExpression value)

toWasmValueStatic

private WasmValue toWasmValueStatic(MethodInvocationExpression value)

toWasmValueDirect

private WasmValue toWasmValueDirect(MethodInvocationExpression value)

toWasmValueVirtual

private WasmValue toWasmValueVirtual(MethodInvocationExpression value)

toWasmValueInterface

private WasmValue toWasmValueInterface(MethodInvocationExpression value)

createLambdaInstance

private WasmStructuredControlflowCodeGenerator.LambdaInstance createLambdaInstance(org.objectweb.asm.Type type,
 ExportableFunction implFunction,
 List<StructType.Field> closureFields,
 List<WasmValue> closureArguments)

generateInvokeDynamicLambdaMetaFactoryInvocation

private WasmValue generateInvokeDynamicLambdaMetaFactoryInvocation(InvokeDynamicExpression node,
 ResolveCallsite resolveCallsite)

generateInvokeDynamicStringMakeConcatWithConstants

private WasmValue generateInvokeDynamicStringMakeConcatWithConstants(InvokeDynamicExpression node,
 ResolveCallsite resolveCallsite)

generateInvokeDynamicObjectMethodsToString

private WasmValue generateInvokeDynamicObjectMethodsToString(InvokeDynamicExpression node,
 ResolveCallsite resolveCallsite)

generateInvokeDynamicObjectMethodsEquals

private WasmValue generateInvokeDynamicObjectMethodsEquals(InvokeDynamicExpression node,
 ResolveCallsite resolveCallsite)

toWasmValue

private WasmValue toWasmValue(InvokeDynamicExpression value)

toType

private WasmValue toType(org.objectweb.asm.Type type)

toWasmValue

private WasmValue toWasmValue(TypeReference value)

toWasmValue

private WasmValue toWasmValue(ReadClassField value)

toWasmValue

private WasmValue toWasmValue(RuntimeClass value)

toWasmValue

private WasmValue toWasmValue(CaughtException value)

toWasmValue

private WasmValue toWasmValue(CMP value)

toWasmValue

private WasmValue toWasmValue(Mul value)

toWasmValue

private WasmValue toWasmValue(SHR value)

convertToType

private WasmValue convertToType(Value incoming,
 org.objectweb.asm.Type targetType)

toWasmValue

private WasmValue toWasmValue(TypeConversion value)

toWasmValue

private WasmValue toWasmValue(NewArray value)

toWasmValue

private WasmValue toWasmValue(And value)

toWasmValue

private WasmValue toWasmValue(Or value)

toWasmValue

private WasmValue toWasmValue(InstanceOf value)

toInstanceOfCheck

private WasmValue toInstanceOfCheck(WasmValue value,
 org.objectweb.asm.Type typeToCheck)

toWasmValue

private WasmValue toWasmValue(Sub value)

toWasmValue

private WasmValue toWasmValue(Div value)

toWasmValue

private WasmValue toWasmValue(Add value)

toWasmValue

private WasmValue toWasmValue(ArrayLength value)

toWasmValue

private WasmValue toWasmValue(SHL value)

toWasmValue

private WasmValue toWasmValue(USHR value)

toWasmValue

private WasmValue toWasmValue(Neg value)

toWasmValue

private WasmValue toWasmValue(Rem value)

toWasmValue

private WasmValue toWasmValue(Cast value)

toWasmValue

private WasmValue toWasmValue(RuntimeClassOf value)

toWasmValue

private WasmValue toWasmValue(EnumValuesOf value)

toWasmValue

private WasmValue toWasmValue(Reinterpret value)

toWasmValue

private WasmValue toWasmValue(PrimitiveClassReference reference)

toWasmValue

private WasmValue toWasmValue(ReferenceTest value)

toWasmValue

private WasmValue toWasmValue(NullTest value)

toWasmValue

private WasmValue toWasmValue(NumericalTest value)

toWasmValue

private WasmValue toWasmValue(XOr value)

toWasmValue

private WasmValue toWasmValue(ArrayLoad value)

toWasmValue

private WasmValue toWasmValue(Value value)

write

public void write(Copy node)

Specified by:

write in interface StructuredControlflowCodeGenerator

startIfWithTrueBlock

public void startIfWithTrueBlock(If node)

Specified by:

startIfWithTrueBlock in interface StructuredControlflowCodeGenerator

startIfElseBlock

public void startIfElseBlock(If node)

Specified by:

startIfElseBlock in interface StructuredControlflowCodeGenerator

finishIfBlock

public void finishIfBlock()

Specified by:

finishIfBlock in interface StructuredControlflowCodeGenerator

startBlock

public void startBlock(Sequencer.Block node)

Specified by:

startBlock in interface StructuredControlflowCodeGenerator

finishBlock

public void finishBlock(Sequencer.Block node,
 boolean stackEmpty)

Specified by:

finishBlock in interface StructuredControlflowCodeGenerator

write

public void write(LineNumberDebugInfo node)

Specified by:

write in interface StructuredControlflowCodeGenerator

write

public void write(FrameDebugInfo node)

Specified by:

write in interface StructuredControlflowCodeGenerator

write

public void write(Goto node)

Specified by:

write in interface StructuredControlflowCodeGenerator

write

public void write(MonitorEnter node)

Specified by:

write in interface StructuredControlflowCodeGenerator

write

public void write(MonitorExit node)

Specified by:

write in interface StructuredControlflowCodeGenerator

write

public void write(Unwind node)

Specified by:

write in interface StructuredControlflowCodeGenerator

write

public void write(Return node)

Specified by:

write in interface StructuredControlflowCodeGenerator

write

public void write(ReturnValue node)

Specified by:

write in interface StructuredControlflowCodeGenerator

write

public void write(SetInstanceField node)

Specified by:

write in interface StructuredControlflowCodeGenerator

write

public void write(SetClassField node)

Specified by:

write in interface StructuredControlflowCodeGenerator

write

public void write(ArrayStore node)

Specified by:

write in interface StructuredControlflowCodeGenerator

writeBreakTo

public void writeBreakTo(String label)

Specified by:

writeBreakTo in interface StructuredControlflowCodeGenerator

writeContinueTo

public void writeContinueTo(String label)

Specified by:

writeContinueTo in interface StructuredControlflowCodeGenerator

startTryCatch

public void startTryCatch(String label)

Specified by:

startTryCatch in interface StructuredControlflowCodeGenerator

startCatchBlock

public void startCatchBlock()

Specified by:

startCatchBlock in interface StructuredControlflowCodeGenerator

startCatchHandler

public void startCatchHandler(org.objectweb.asm.Type type)

Specified by:

startCatchHandler in interface StructuredControlflowCodeGenerator

finishCatchHandler

public void finishCatchHandler()

Specified by:

finishCatchHandler in interface StructuredControlflowCodeGenerator

writeRethrowException

public void writeRethrowException()

Specified by:

writeRethrowException in interface StructuredControlflowCodeGenerator

finishTryCatch

public void finishTryCatch()

Specified by:

finishTryCatch in interface StructuredControlflowCodeGenerator

startTableSwitch

public void startTableSwitch(TableSwitch node)

Specified by:

startTableSwitch in interface StructuredControlflowCodeGenerator

finishTableSwitch

public void finishTableSwitch()

Specified by:

finishTableSwitch in interface StructuredControlflowCodeGenerator

startTableSwitchDefaultBlock

public void startTableSwitchDefaultBlock()

Specified by:

startTableSwitchDefaultBlock in interface StructuredControlflowCodeGenerator

finishTableSwitchDefaultBlock

public void finishTableSwitchDefaultBlock()

Specified by:

finishTableSwitchDefaultBlock in interface StructuredControlflowCodeGenerator

startLookupSwitch

public void startLookupSwitch(LookupSwitch node)

Specified by:

startLookupSwitch in interface StructuredControlflowCodeGenerator

finishLookupSwitch

public void finishLookupSwitch()

Specified by:

finishLookupSwitch in interface StructuredControlflowCodeGenerator

writeSwitchCase

public void writeSwitchCase(int index)

Specified by:

writeSwitchCase in interface StructuredControlflowCodeGenerator

writeSwitchDefaultCase

public void writeSwitchDefaultCase()

Specified by:

writeSwitchDefaultCase in interface StructuredControlflowCodeGenerator

finishSwitchDefault

public void finishSwitchDefault()

Specified by:

finishSwitchDefault in interface StructuredControlflowCodeGenerator

finishSwitchCase

public void finishSwitchCase()

Specified by:

finishSwitchCase in interface StructuredControlflowCodeGenerator