 David Thompson
|
646486aba9
stack: Respect imported tags and use tag types.
|
il y a 8 mois |
|
David Thompson
|
9ee7c88b95
stack: Add lookup-block procedure.
|
il y a 9 mois |
|
David Thompson
|
441e3c0a52
stack: Export block API.
|
il y a 9 mois |
|
David Thompson
|
12e907e9cd
stack: Add type field to <block>.
|
il y a 9 mois |
|
David Thompson
|
433d4ffb07
Update copyright headers and module commentary.
|
il y a 1 an |
|
David Thompson
|
ea4eec03b4
Apply type canonicalization to validation pass.
|
il y a 1 an |
 Andy Wingo
|
905c497cbf
Renumber GC opcodes, rename to final names
|
il y a 1 an |
|
David Thompson
|
fa87fe7bef
parse: Strip type from type use objects.
|
il y a 1 an |
|
David Thompson
|
9a643763c1
stack: Add $i8-array/$i16-array cases to type checker.
|
il y a 1 an |
|
David Thompson
|
f62f167547
stack: i31 is also a subtype of any.
|
il y a 1 an |
|
David Thompson
|
2d56ad7eb8
Add array.fill instruction.
|
il y a 1 an |
|
David Thompson
|
89e8d1a8bd
stack: Fix br_table.
|
il y a 1 an |
|
David Thompson
|
2d7a648764
stack: Fix call_ref.
|
il y a 1 an |
|
David Thompson
|
ef7d161a0f
stack: Fix br_on_non_null.
|
il y a 1 an |
|
David Thompson
|
13953adc1d
stack: Match i32 with i16 and i8 packed types.
|
il y a 1 an |
|
David Thompson
|
b0fb8606ed
stack: Fix array.get, array.get_s, and array.get_u.
|
il y a 1 an |
|
David Thompson
|
13812c49ab
stack: Fix array.len.
|
il y a 1 an |
|
David Thompson
|
03488a2aee
stack: Add ref.cast.
|
il y a 1 an |
|
David Thompson
|
ed719eaceb
stack: i31 is a sub type of eq.
|
il y a 1 an |
|
David Thompson
|
1e8305e35a
stack: Add array.new.
|
il y a 1 an |
|
David Thompson
|
20ec6855b8
stack: Fix return_call_ref.
|
il y a 1 an |
|
David Thompson
|
2c6797d0cf
stack: Fix struct field lookup.
|
il y a 1 an |
|
David Thompson
|
674220c2a6
types: Fix ref-type-nullable? export.
|
il y a 1 an |
|
David Thompson
|
cd77ee76f5
stack: Fix type checking for funcref.
|
il y a 1 an |
|
David Thompson
|
77158c5817
stack: Remove non-function context initialization.
|
il y a 1 an |
|
David Thompson
|
0b32e9045c
stack: Fix call_indirect argument matching.
|
il y a 1 an |
|
David Thompson
|
640a88e000
stack: Fix matcher for f64 comparison ops.
|
il y a 1 an |
|
David Thompson
|
ffaed39612
Extend stack module to support VM validation use-case.
|
il y a 1 an |
|
Andy Wingo
|
5937044a0d
Fix exports
|
il y a 1 an |
|
Andy Wingo
|
3c7035947c
Minor fixen
|
il y a 1 an |
