Skip to content

Commit c3d265b

Browse files
xuruiyang2002xuruiyang2002
committed
tests
1 parent 16dbac1 commit c3d265b

File tree

3 files changed

+45
-80
lines changed

3 files changed

+45
-80
lines changed

‎test/lit/ctor-eval/return_call.wast

Lines changed: 9 additions & 47 deletions
Original file line numberDiff line numberDiff line change
@@ -448,40 +448,15 @@
448448
;; CHECK-NEXT: )
449449
(module
450450
;; Return call to self with different params, then stop evaluating.
451-
;; CHECK: (type $0 (func (param i32)))
451+
;; CHECK: (type $0 (func))
452452

453-
;; CHECK: (type $1 (func))
453+
;; CHECK: (type $1 (func (param i32)))
454454

455-
;; CHECK: (import "env" "import" (func $import (type $1)))
455+
;; CHECK: (import "env" "import" (func $import (type $0)))
456456
(import "env" "import" (func $import))
457457

458-
;; CHECK: (global $g (mut i32) (i32.const 42))
459458
(global $g (mut i32) (i32.const 0))
460459

461-
;; CHECK: (export "test" (func $test_2))
462-
463-
;; CHECK: (func $test (type $0) (param $0 i32)
464-
;; CHECK-NEXT: (global.set $g
465-
;; CHECK-NEXT: (local.get $0)
466-
;; CHECK-NEXT: )
467-
;; CHECK-NEXT: (if
468-
;; CHECK-NEXT: (i32.eq
469-
;; CHECK-NEXT: (local.get $0)
470-
;; CHECK-NEXT: (i32.const 42)
471-
;; CHECK-NEXT: )
472-
;; CHECK-NEXT: (then
473-
;; CHECK-NEXT: (call $import)
474-
;; CHECK-NEXT: )
475-
;; CHECK-NEXT: (else
476-
;; CHECK-NEXT: (return_call $test
477-
;; CHECK-NEXT: (i32.add
478-
;; CHECK-NEXT: (local.get $0)
479-
;; CHECK-NEXT: (i32.const 1)
480-
;; CHECK-NEXT: )
481-
;; CHECK-NEXT: )
482-
;; CHECK-NEXT: )
483-
;; CHECK-NEXT: )
484-
;; CHECK-NEXT: )
485460
(func $test (export "test") (param i32)
486461
(global.set $g
487462
(local.get 0)
@@ -506,24 +481,11 @@
506481
)
507482
)
508483

509-
;; CHECK: (func $test_2 (type $0) (param $0 i32)
510-
;; CHECK-NEXT: (if
511-
;; CHECK-NEXT: (i32.eq
512-
;; CHECK-NEXT: (local.tee $0
513-
;; CHECK-NEXT: (i32.const 42)
514-
;; CHECK-NEXT: )
515-
;; CHECK-NEXT: (i32.const 42)
516-
;; CHECK-NEXT: )
517-
;; CHECK-NEXT: (then
518-
;; CHECK-NEXT: (call $import)
519-
;; CHECK-NEXT: )
520-
;; CHECK-NEXT: (else
521-
;; CHECK-NEXT: (return_call $test
522-
;; CHECK-NEXT: (i32.add
523-
;; CHECK-NEXT: (local.get $0)
524-
;; CHECK-NEXT: (i32.const 1)
525-
;; CHECK-NEXT: )
526-
;; CHECK-NEXT: )
527-
;; CHECK-NEXT: )
484+
;; CHECK: (export "test" (func $test_2))
485+
486+
;; CHECK: (func $test_2 (type $1) (param $0 i32)
487+
;; CHECK-NEXT: (local.set $0
488+
;; CHECK-NEXT: (i32.const 42)
528489
;; CHECK-NEXT: )
490+
;; CHECK-NEXT: (call $import)
529491
;; CHECK-NEXT: )

‎test/lit/passes/optimize-instructions-ignore-traps.wast

Lines changed: 20 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -563,9 +563,11 @@
563563
;; CHECK-NEXT: )
564564
;; CHECK-NEXT: (i32.const 3)
565565
;; CHECK-NEXT: )
566-
;; CHECK-NEXT: (i32.ne
567-
;; CHECK-NEXT: (local.tee $1
568-
;; CHECK-NEXT: (i32.const 0)
566+
;; CHECK-NEXT: (block (result i32)
567+
;; CHECK-NEXT: (drop
568+
;; CHECK-NEXT: (local.tee $1
569+
;; CHECK-NEXT: (i32.const 0)
570+
;; CHECK-NEXT: )
569571
;; CHECK-NEXT: )
570572
;; CHECK-NEXT: (i32.const 0)
571573
;; CHECK-NEXT: )
@@ -618,26 +620,26 @@
618620
;; CHECK: (func $invalidate-conditionalizeExpensiveOnBitwise-ok (type $0) (param $0 i32) (param $1 i32) (result i32)
619621
;; CHECK-NEXT: (if
620622
;; CHECK-NEXT: (i32.eqz
621-
;; CHECK-NEXT: (if (result i32)
622-
;; CHECK-NEXT: (local.tee $1
623+
;; CHECK-NEXT: (i32.and
624+
;; CHECK-NEXT: (block (result i32)
625+
;; CHECK-NEXT: (drop
626+
;; CHECK-NEXT: (local.tee $1
627+
;; CHECK-NEXT: (i32.const 0)
628+
;; CHECK-NEXT: )
629+
;; CHECK-NEXT: )
623630
;; CHECK-NEXT: (i32.const 0)
624631
;; CHECK-NEXT: )
625-
;; CHECK-NEXT: (then
626-
;; CHECK-NEXT: (i32.lt_u
627-
;; CHECK-NEXT: (i32.and
628-
;; CHECK-NEXT: (i32.extend8_s
629-
;; CHECK-NEXT: (i32.sub
630-
;; CHECK-NEXT: (local.get $0)
631-
;; CHECK-NEXT: (i32.const 1)
632-
;; CHECK-NEXT: )
632+
;; CHECK-NEXT: (i32.lt_u
633+
;; CHECK-NEXT: (i32.and
634+
;; CHECK-NEXT: (i32.extend8_s
635+
;; CHECK-NEXT: (i32.sub
636+
;; CHECK-NEXT: (local.get $0)
637+
;; CHECK-NEXT: (i32.const 1)
633638
;; CHECK-NEXT: )
634-
;; CHECK-NEXT: (i32.const 255)
635639
;; CHECK-NEXT: )
636-
;; CHECK-NEXT: (i32.const 3)
640+
;; CHECK-NEXT: (i32.const 255)
637641
;; CHECK-NEXT: )
638-
;; CHECK-NEXT: )
639-
;; CHECK-NEXT: (else
640-
;; CHECK-NEXT: (i32.const 0)
642+
;; CHECK-NEXT: (i32.const 3)
641643
;; CHECK-NEXT: )
642644
;; CHECK-NEXT: )
643645
;; CHECK-NEXT: )

‎test/lit/passes/optimize-instructions-mvp.wast

Lines changed: 16 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -10541,11 +10541,13 @@
1054110541
)
1054210542
;; CHECK: (func $add-sub-zero-reorder-2 (param $temp i32) (result i32)
1054310543
;; CHECK-NEXT: (i32.add
10544-
;; CHECK-NEXT: (i32.sub
10545-
;; CHECK-NEXT: (local.tee $temp
10546-
;; CHECK-NEXT: (i32.const 1)
10544+
;; CHECK-NEXT: (block (result i32)
10545+
;; CHECK-NEXT: (drop
10546+
;; CHECK-NEXT: (local.tee $temp
10547+
;; CHECK-NEXT: (i32.const 1)
10548+
;; CHECK-NEXT: )
1054710549
;; CHECK-NEXT: )
10548-
;; CHECK-NEXT: (local.get $temp)
10550+
;; CHECK-NEXT: (i32.const 0)
1054910551
;; CHECK-NEXT: )
1055010552
;; CHECK-NEXT: (i32.const 2)
1055110553
;; CHECK-NEXT: )
@@ -10556,8 +10558,8 @@
1055610558
(local.tee $temp ;; in this order, the tee already comes first, so all is good for the optimization
1055710559
(i32.const 1)
1055810560
)
10559-
(i32.sub
10560-
(i32.const 0)
10561+
(i32.sub ;; replace optimized sub with a const zero because the operations are identical
10562+
(i32.const 0) ;; while preserving the side effect
1056110563
(local.get $temp)
1056210564
)
1056310565
)
@@ -13874,11 +13876,8 @@
1387413876
;; CHECK-NEXT: (drop
1387513877
;; CHECK-NEXT: (i32.or
1387613878
;; CHECK-NEXT: (local.get $x)
13877-
;; CHECK-NEXT: (i32.or
13878-
;; CHECK-NEXT: (local.tee $x
13879-
;; CHECK-NEXT: (i32.const 1)
13880-
;; CHECK-NEXT: )
13881-
;; CHECK-NEXT: (local.get $x)
13879+
;; CHECK-NEXT: (local.tee $x
13880+
;; CHECK-NEXT: (i32.const 1)
1388213881
;; CHECK-NEXT: )
1388313882
;; CHECK-NEXT: )
1388413883
;; CHECK-NEXT: )
@@ -13896,11 +13895,13 @@
1389613895
;; CHECK-NEXT: (drop
1389713896
;; CHECK-NEXT: (i32.xor
1389813897
;; CHECK-NEXT: (local.get $x)
13899-
;; CHECK-NEXT: (i32.xor
13900-
;; CHECK-NEXT: (local.tee $x
13901-
;; CHECK-NEXT: (i32.const 1)
13898+
;; CHECK-NEXT: (block (result i32)
13899+
;; CHECK-NEXT: (drop
13900+
;; CHECK-NEXT: (local.tee $x
13901+
;; CHECK-NEXT: (i32.const 1)
13902+
;; CHECK-NEXT: )
1390213903
;; CHECK-NEXT: )
13903-
;; CHECK-NEXT: (local.get $x)
13904+
;; CHECK-NEXT: (i32.const 0)
1390413905
;; CHECK-NEXT: )
1390513906
;; CHECK-NEXT: )
1390613907
;; CHECK-NEXT: )

0 commit comments

Comments
 (0)