 Andy Wingo
|
fc34fda83c
Fix bug in br_on_cast validation
|
преди 3 месеца |
 David Thompson
|
32a1ff8bbb
stack: Fix br_on_cast/br_on_cast_fail effect.
|
преди 5 месеца |
|
Andy Wingo
|
408cd6ba45
Expose more of stack-effects module as interface
|
преди 8 месеца |
 David Thompson
|
a7829d384b
stack: Add eq and any cases to heap-type-sub-type?
|
преди 8 месеца |
|
David Thompson
|
61c6e7e504
stack: Fix push-block.
|
преди 8 месеца |
|
David Thompson
|
646486aba9
stack: Respect imported tags and use tag types.
|
преди 8 месеца |
|
David Thompson
|
9ee7c88b95
stack: Add lookup-block procedure.
|
преди 9 месеца |
|
David Thompson
|
441e3c0a52
stack: Export block API.
|
преди 9 месеца |
|
David Thompson
|
12e907e9cd
stack: Add type field to <block>.
|
преди 9 месеца |
|
David Thompson
|
433d4ffb07
Update copyright headers and module commentary.
|
преди 1 година |
|
David Thompson
|
ea4eec03b4
Apply type canonicalization to validation pass.
|
преди 1 година |
|
Andy Wingo
|
905c497cbf
Renumber GC opcodes, rename to final names
|
преди 1 година |
|
David Thompson
|
fa87fe7bef
parse: Strip type from type use objects.
|
преди 1 година |
|
David Thompson
|
9a643763c1
stack: Add $i8-array/$i16-array cases to type checker.
|
преди 1 година |
|
David Thompson
|
f62f167547
stack: i31 is also a subtype of any.
|
преди 1 година |
|
David Thompson
|
2d56ad7eb8
Add array.fill instruction.
|
преди 1 година |
|
David Thompson
|
89e8d1a8bd
stack: Fix br_table.
|
преди 1 година |
|
David Thompson
|
2d7a648764
stack: Fix call_ref.
|
преди 1 година |
|
David Thompson
|
ef7d161a0f
stack: Fix br_on_non_null.
|
преди 1 година |
|
David Thompson
|
13953adc1d
stack: Match i32 with i16 and i8 packed types.
|
преди 1 година |
|
David Thompson
|
b0fb8606ed
stack: Fix array.get, array.get_s, and array.get_u.
|
преди 1 година |
|
David Thompson
|
13812c49ab
stack: Fix array.len.
|
преди 1 година |
|
David Thompson
|
03488a2aee
stack: Add ref.cast.
|
преди 1 година |
|
David Thompson
|
ed719eaceb
stack: i31 is a sub type of eq.
|
преди 1 година |
|
David Thompson
|
1e8305e35a
stack: Add array.new.
|
преди 1 година |
|
David Thompson
|
20ec6855b8
stack: Fix return_call_ref.
|
преди 1 година |
|
David Thompson
|
2c6797d0cf
stack: Fix struct field lookup.
|
преди 1 година |
|
David Thompson
|
674220c2a6
types: Fix ref-type-nullable? export.
|
преди 1 година |
|
David Thompson
|
cd77ee76f5
stack: Fix type checking for funcref.
|
преди 1 година |
|
David Thompson
|
77158c5817
stack: Remove non-function context initialization.
|
преди 1 година |
