strips/pork
2
0
Fork 0
mirror of https://github.com/GayPizzaSpecifications/pork.git synced 2025-08-03 21:21:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

implement native type compilation

Browse Source
This commit is contained in:
Alex Zenla
2025-07-20 19:57:09 -07:00
parent f7ff896f81
commit 837e0c1b38
19 changed files with 133 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
compiler/src/main/kotlin/gay/pizza/pork/compiler/AstIrEmitter.kt
View File

@ -308,6 +308,13 @@ class AstIrEmitter(
}
override fun visitNativeFunctionDescriptor(node: NativeFunctionDescriptor): IrCodeElement = IrNativeDefinition(
kind = IrNativeDefinitionKind.Function,
form = node.form.id,
definitions = node.definitions.map { it.text }
)
override fun visitNativeTypeDescriptor(node: NativeTypeDescriptor): IrCodeElement = IrNativeDefinition(
kind = IrNativeDefinitionKind.Type,
form = node.form.id,
definitions = node.definitions.map { it.text }
)

31
compiler/src/main/kotlin/gay/pizza/pork/compiler/CompilableSymbol.kt
View File

@ -3,6 +3,8 @@ package gay.pizza.pork.compiler
import gay.pizza.pork.ast.gen.FunctionDefinition
import gay.pizza.pork.ast.gen.LetDefinition
import gay.pizza.pork.ast.gen.NativeFunctionDescriptor
import gay.pizza.pork.ast.gen.NativeTypeDescriptor
import gay.pizza.pork.ast.gen.TypeDefinition
import gay.pizza.pork.ast.gen.visit
import gay.pizza.pork.bir.IrCodeBlock
import gay.pizza.pork.bir.IrDefinition
@ -36,25 +38,34 @@ class CompilableSymbol(val compilableSlab: CompilableSlab, val scopeSymbol: Scop
scope = compilableSlab.slab.scope
)
irCodeEmitter.enterLocalScope()
val what = if (scopeSymbol.definition is FunctionDefinition) {
val functionDefinition = scopeSymbol.definition as FunctionDefinition
irCodeEmitter.createFunctionArguments(functionDefinition)
functionDefinition.block ?: functionDefinition.nativeFunctionDescriptor!!
} else {
val letDefinition = scopeSymbol.definition as LetDefinition
letDefinition.value
val what = when (scopeSymbol.definition) {
is FunctionDefinition -> {
val functionDefinition = scopeSymbol.definition as FunctionDefinition
irCodeEmitter.createFunctionArguments(functionDefinition)
functionDefinition.block ?: functionDefinition.nativeFunctionDescriptor!!
}
is TypeDefinition -> {
val typeDefinition = scopeSymbol.definition as TypeDefinition
typeDefinition.nativeTypeDescriptor!!
}
else -> {
val letDefinition = scopeSymbol.definition as LetDefinition
letDefinition.value
}
}
val type = if (what is NativeFunctionDescriptor) {
IrDefinitionType.NativeFunction
} else if (what is NativeTypeDescriptor) {
IrDefinitionType.NativeType
} else if (scopeSymbol.definition is LetDefinition) {
IrDefinitionType.Variable
} else {
IrDefinitionType.CodeFunction
}
val irCodeElement = irCodeEmitter.visit(what)
val irCodeBlock = if (irCodeElement is IrCodeBlock) {
irCodeElement
} else IrCodeBlock(listOf(irCodeElement))
val irCodeBlock = irCodeElement as? IrCodeBlock ?: IrCodeBlock(listOf(irCodeElement))
irCodeEmitter.exitLocalScope()
return IrDefinition(
symbol = functionSymbol,

10
compiler/src/main/kotlin/gay/pizza/pork/compiler/IrStubOpEmitter.kt
View File

@ -233,7 +233,15 @@ class IrStubOpEmitter(val irDefinition: IrDefinition, val code: CodeBuilder) : I
ConstantTag.NativeDefinition,
buffer,
)
code.emit(Opcode.Native, listOf(nativeDefinitionConstant, functionArgumentCount.toUInt()))
when (ir.kind) {
IrNativeDefinitionKind.Function -> {
code.emit(Opcode.NativeFunction, listOf(nativeDefinitionConstant, functionArgumentCount.toUInt()))
}
IrNativeDefinitionKind.Type -> {
code.emit(Opcode.NativeType, listOf(nativeDefinitionConstant))
}
}
}
override fun visitIrIndex(ir: IrIndex) {