summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/lit/passes/log-execution.wast146
-rw-r--r--test/passes/log-execution.txt102
-rw-r--r--test/passes/log-execution.wast38
3 files changed, 146 insertions, 140 deletions
diff --git a/test/lit/passes/log-execution.wast b/test/lit/passes/log-execution.wast
new file mode 100644
index 000000000..561c7560f
--- /dev/null
+++ b/test/lit/passes/log-execution.wast
@@ -0,0 +1,146 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
+
+;; RUN: foreach %s %t wasm-opt --log-execution -S -o - | filecheck %s
+
+(module
+ ;; CHECK: (type $0 (func))
+
+ ;; CHECK: (type $1 (func (result i32)))
+
+ ;; CHECK: (type $2 (func (param i32)))
+
+ ;; CHECK: (import "env" "func" (func $import))
+ (import "env" "func" (func $import))
+ ;; CHECK: (import "env" "log_execution" (func $log_execution (param i32)))
+
+ ;; CHECK: (func $nopp
+ ;; CHECK-NEXT: (call $log_execution
+ ;; CHECK-NEXT: (i32.const 0)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: )
+ (func $nopp
+ (nop)
+ )
+ ;; CHECK: (func $intt (result i32)
+ ;; CHECK-NEXT: (call $log_execution
+ ;; CHECK-NEXT: (i32.const 1)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (i32.const 10)
+ ;; CHECK-NEXT: )
+ (func $intt (result i32)
+ (i32.const 10)
+ )
+ ;; CHECK: (func $workk
+ ;; CHECK-NEXT: (call $log_execution
+ ;; CHECK-NEXT: (i32.const 3)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (block
+ ;; CHECK-NEXT: (if
+ ;; CHECK-NEXT: (i32.const 0)
+ ;; CHECK-NEXT: (then
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (block
+ ;; CHECK-NEXT: (call $log_execution
+ ;; CHECK-NEXT: (i32.const 2)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (i32.const 1)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $workk
+ (if (i32.const 0) (then (nop)))
+ (drop (i32.const 1))
+ )
+ ;; CHECK: (func $loops
+ ;; CHECK-NEXT: (call $log_execution
+ ;; CHECK-NEXT: (i32.const 8)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (block
+ ;; CHECK-NEXT: (loop $x
+ ;; CHECK-NEXT: (call $log_execution
+ ;; CHECK-NEXT: (i32.const 4)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (block
+ ;; CHECK-NEXT: (call $loops)
+ ;; CHECK-NEXT: (br $x)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (if
+ ;; CHECK-NEXT: (call $intt)
+ ;; CHECK-NEXT: (then
+ ;; CHECK-NEXT: (loop $y
+ ;; CHECK-NEXT: (call $log_execution
+ ;; CHECK-NEXT: (i32.const 5)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (call $loops)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (block
+ ;; CHECK-NEXT: (call $log_execution
+ ;; CHECK-NEXT: (i32.const 7)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (loop
+ ;; CHECK-NEXT: (call $log_execution
+ ;; CHECK-NEXT: (i32.const 6)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (block
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (i32.const 10)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (i32.const 20)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (i32.const 30)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $loops
+ (loop $x
+ (call $loops)
+ (br $x)
+ )
+ (if (call $intt)
+ (then
+ (loop $y
+ (call $loops)
+ )
+ )
+ )
+ (loop
+ (drop (i32.const 10))
+ (drop (i32.const 20))
+ (drop (i32.const 30))
+ )
+ )
+ ;; CHECK: (func $loops-similar
+ ;; CHECK-NEXT: (call $log_execution
+ ;; CHECK-NEXT: (i32.const 10)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (loop $x
+ ;; CHECK-NEXT: (call $log_execution
+ ;; CHECK-NEXT: (i32.const 9)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (block
+ ;; CHECK-NEXT: (call $loops)
+ ;; CHECK-NEXT: (br $x)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $loops-similar
+ (loop $x
+ (call $loops)
+ (br $x)
+ )
+ )
+)
+
diff --git a/test/passes/log-execution.txt b/test/passes/log-execution.txt
deleted file mode 100644
index f7c46b584..000000000
--- a/test/passes/log-execution.txt
+++ /dev/null
@@ -1,102 +0,0 @@
-(module
- (type $0 (func))
- (type $1 (func (result i32)))
- (type $2 (func (param i32)))
- (import "env" "func" (func $import))
- (import "env" "log_execution" (func $log_execution (param i32)))
- (func $nopp
- (call $log_execution
- (i32.const 0)
- )
- (nop)
- )
- (func $intt (result i32)
- (call $log_execution
- (i32.const 1)
- )
- (i32.const 10)
- )
- (func $workk
- (call $log_execution
- (i32.const 3)
- )
- (block
- (if
- (i32.const 0)
- (then
- (nop)
- )
- )
- (block
- (call $log_execution
- (i32.const 2)
- )
- (drop
- (i32.const 1)
- )
- )
- )
- )
- (func $loops
- (call $log_execution
- (i32.const 8)
- )
- (block
- (loop $x
- (call $log_execution
- (i32.const 4)
- )
- (block
- (call $loops)
- (br $x)
- )
- )
- (if
- (call $intt)
- (then
- (loop $y
- (call $log_execution
- (i32.const 5)
- )
- (call $loops)
- )
- )
- )
- (block
- (call $log_execution
- (i32.const 7)
- )
- (loop
- (call $log_execution
- (i32.const 6)
- )
- (block
- (drop
- (i32.const 10)
- )
- (drop
- (i32.const 20)
- )
- (drop
- (i32.const 30)
- )
- )
- )
- )
- )
- )
- (func $loops-similar
- (call $log_execution
- (i32.const 10)
- )
- (loop $x
- (call $log_execution
- (i32.const 9)
- )
- (block
- (call $loops)
- (br $x)
- )
- )
- )
-)
diff --git a/test/passes/log-execution.wast b/test/passes/log-execution.wast
deleted file mode 100644
index b84d7ac1f..000000000
--- a/test/passes/log-execution.wast
+++ /dev/null
@@ -1,38 +0,0 @@
-(module
- (import "env" "func" (func $import))
- (func $nopp
- (nop)
- )
- (func $intt (result i32)
- (i32.const 10)
- )
- (func $workk
- (if (i32.const 0) (then (nop)))
- (drop (i32.const 1))
- )
- (func $loops
- (loop $x
- (call $loops)
- (br $x)
- )
- (if (call $intt)
- (then
- (loop $y
- (call $loops)
- )
- )
- )
- (loop
- (drop (i32.const 10))
- (drop (i32.const 20))
- (drop (i32.const 30))
- )
- )
- (func $loops-similar
- (loop $x
- (call $loops)
- (br $x)
- )
- )
-)
-
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-08 05:28:31 +0000