diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/dae_all-features.wast | 16 | ||||
| -rw-r--r-- | test/lit/passes/dae_tnh.wast | 48 |
2 files changed, 60 insertions, 4 deletions
diff --git a/test/lit/passes/dae_all-features.wast b/test/lit/passes/dae_all-features.wast index edba74b80..446951561 100644 --- a/test/lit/passes/dae_all-features.wast +++ b/test/lit/passes/dae_all-features.wast @@ -4,14 +4,22 @@ ;; RUN: foreach %s %t wasm-opt --dae --all-features -S -o - | filecheck %s (module + ;; CHECK: (type $none_=>_none (func)) ;; CHECK: (type $i32_=>_none (func (param i32))) ;; CHECK: (type $none_=>_i32 (func (result i32))) + ;; CHECK: (type $none_=>_f64 (func (result f64))) + ;; CHECK: (type $f64_=>_none (func (param f64))) + ;; CHECK: (import "a" "b" (func $get-i32 (result i32))) + (import "a" "b" (func $get-i32 (result i32))) + ;; CHECK: (import "a" "c" (func $get-f64 (result f64))) + (import "a" "c" (func $get-f64 (result f64))) + ;; CHECK: (table $0 2 2 funcref) ;; CHECK: (elem (i32.const 0) $a9 $c8) @@ -172,11 +180,11 @@ ) ;; CHECK: (func $b6 ;; CHECK-NEXT: (call $a6 - ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: (call $get-i32) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) (func $b6 - (call $a6 (unreachable) (f64.const 3.14159)) + (call $a6 (call $get-i32) (f64.const 3.14159)) ) ;; CHECK: (func $a7 (param $0 f64) ;; CHECK-NEXT: (local $1 i32) @@ -198,11 +206,11 @@ ) ;; CHECK: (func $b7 ;; CHECK-NEXT: (call $a7 - ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: (call $get-f64) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) (func $b7 - (call $a7 (i32.const 1) (unreachable)) + (call $a7 (i32.const 1) (call $get-f64)) ) ;; CHECK: (func $a8 (param $x i32) ;; CHECK-NEXT: (nop) diff --git a/test/lit/passes/dae_tnh.wast b/test/lit/passes/dae_tnh.wast index fc9270cf3..2a9fb912d 100644 --- a/test/lit/passes/dae_tnh.wast +++ b/test/lit/passes/dae_tnh.wast @@ -32,3 +32,51 @@ ) ) ) + +(module + ;; CHECK: (type $none_=>_none (func)) + + ;; CHECK: (type $i32_=>_none (func (param i32))) + + ;; CHECK: (func $caller + ;; CHECK-NEXT: (call $target + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $caller + ;; Removing this parameter would require the type of the call to change from + ;; unreachable to none. We don't handle such complexity and ignore such + ;; cases. + (call $target + (unreachable) + ) + ) + + ;; CHECK: (func $target (param $0 i32) + ;; CHECK-NEXT: (nop) + ;; CHECK-NEXT: ) + (func $target (param i32) + ) +) + +;; As above, but use a return_call. We can optimize that, since return_calls +;; have type unreachable anyhow, and the optimization would not change the type. +(module + ;; CHECK: (type $none_=>_none (func)) + + ;; CHECK: (func $caller + ;; CHECK-NEXT: (return_call $target) + ;; CHECK-NEXT: ) + (func $caller + (return_call $target + (unreachable) + ) + ) + + ;; CHECK: (func $target + ;; CHECK-NEXT: (local $0 i32) + ;; CHECK-NEXT: (nop) + ;; CHECK-NEXT: ) + (func $target (param i32) + ) +) |