poke-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

compiled Poke notes


From: Jose E. Marchesi
Subject: compiled Poke notes
Date: Fri, 24 Mar 2023 00:02:47 +0100
User-agent: Gnus/5.13 (Gnus v5.13)

- Instructions (jitter routines)
  + Design bytecodes and reader/writer (pvm-bytecodes.pk)
  + .text in the ELF
  + Refer to PVM values by ID
- PVM values
  + .data in the ELF
  + Serialized PVM values (pvm-values.pk)
- AST nodes
  + .ast in the ELF
  + Serialized pkl AST nodes (pkl-ast.pk)

foo.pk
------
type Foo = struct { int i; }
fun foo = Foo: { var f = Foo { i = 13 }; return f; }

(poke) pk_compile foo

foo.pko
-------
.ast
 PKL_AST_TYPE (foo)
  elements -> PKL_AST_STRUCT_FIELD (i) -> PKL_AST_TYPE (int<32>)
.text
 foo
   pushf 1
   regvar
   ...
   push T0
   ...
   push T3
.data
 T0 PVM_NULL
 T1 pvm_typ (type struct Foo)
 T2 pvm_ulong (1UL)
 T3 pvm_struct
      type -> T1
      nfields -> T2
      



reply via email to

[Prev in Thread] Current Thread [Next in Thread]