diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2021-02-09 14:41:49 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-09 14:41:49 -0800 |
| commit | 9752196fd1357fbc129d1e4f53e8eb22cd6219f9 (patch) | |
| tree | fe22a97b4d536687f6567448b45485e4fe24b75d /test/lit/passes/poppify-globals.wast | |
| parent | 3da8b08ecd57f5662bebc69ea73bf59e1928341e (diff) | |
| download | binaryen-9752196fd1357fbc129d1e4f53e8eb22cd6219f9.tar.gz binaryen-9752196fd1357fbc129d1e4f53e8eb22cd6219f9.tar.bz2 binaryen-9752196fd1357fbc129d1e4f53e8eb22cd6219f9.zip | |
Poppify pass (#3541)
Adds a Poppify ("--poppify") pass for converting normal Binaryen IR to Poppy IR.
Like the existing construction of Stacky IR, Poppify depends on the
BinaryenIRWriter to drive the emitting of instructions in correct stack machine
order. As instructions are "emitted," Poppify replaces their children with pops
and collects them in a list. At the end of each scope, Poppify creates a block
containing all the collected instructions for that scope and injects that block
into the enclosing scope. All tuple globals and instructions dealing with tuples
are also expanded to remove all tuples from the program.
The validator currently fails to validate many valid Poppy IR patterns produced
in the tests, but fixing that is left as follow-on work to keep this PR focused
on the Poppify pass itself. For now the tests simply skip validation.
Diffstat (limited to 'test/lit/passes/poppify-globals.wast')
| -rw-r--r-- | test/lit/passes/poppify-globals.wast | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/test/lit/passes/poppify-globals.wast b/test/lit/passes/poppify-globals.wast new file mode 100644 index 000000000..ccdb025c0 --- /dev/null +++ b/test/lit/passes/poppify-globals.wast @@ -0,0 +1,55 @@ +;; TODO: enable validation +;; RUN: wasm-opt %s --poppify --no-validation -all -S -o - | filecheck %s + +(module + ;; CHECK: (global $foo (mut i32) (i32.const 0)) + (global $foo (mut i32) (i32.const 0)) + + ;; CHECK: (global $tuple$1 f64 (f64.const 0)) + (global $tuple$1 f64 (f64.const 0)) ;; interfering name! + + ;; CHECK: (global $tuple$2 (mut f32) (f32.const 2)) + ;; CHECK: (global $tuple$1_0 (mut i64) (i64.const 1)) + ;; CHECK: (global $tuple$0 (mut i32) (global.get $foo)) + (global $tuple (mut (i32 i64 f32)) + (tuple.make (global.get $foo) (i64.const 1) (f32.const 2)) + ) + + ;; CHECK: (global $other-tuple$2 f32 (global.get $tuple$2)) + ;; CHECK: (global $other-tuple$1 i64 (global.get $tuple$1_0)) + ;; CHECK: (global $other-tuple$0 i32 (global.get $tuple$0)) + (global $other-tuple (i32 i64 f32) (global.get $tuple)) + + ;; CHECK: (func $global-get-tuple + ;; CHECK-NEXT: (global.get $tuple$0) + ;; CHECK-NEXT: (global.get $tuple$1_0) + ;; CHECK-NEXT: (global.get $tuple$2) + ;; CHECK-NEXT: ) + (func $global-get-tuple (result i32 i64 f32) + (global.get $tuple) + ) + + ;; CHECK: (func $global-set-tuple + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i64.const 1) + ;; CHECK-NEXT: (f32.const 2) + ;; CHECK-NEXT: (global.set $tuple$2 + ;; CHECK-NEXT: (pop f32) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (global.set $tuple$1_0 + ;; CHECK-NEXT: (pop i64) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (global.set $tuple$0 + ;; CHECK-NEXT: (pop i32) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $global-set-tuple + (global.set $tuple + (tuple.make + (i32.const 0) + (i64.const 1) + (f32.const 2) + ) + ) + ) +) |