File tree Expand file tree Collapse file tree 3 files changed +10
-22
lines changed
Expand file tree Collapse file tree 3 files changed +10
-22
lines changed Original file line number Diff line number Diff line change 513513 ;; NTRAP: (func $cast-desc-eq-weaker-nondesc-child-effects (type $14) (param $ref anyref) (param $desc (ref $sub.desc))
514514 ;; NTRAP-NEXT: (drop
515515 ;; NTRAP-NEXT: (ref.cast_desc_eq (ref $sub)
516- ;; NTRAP-NEXT: (ref.as_non_null
517- ;; NTRAP-NEXT: (block (result anyref)
518- ;; NTRAP-NEXT: (call $effect)
519- ;; NTRAP-NEXT: (local.get $ref)
520- ;; NTRAP-NEXT: )
516+ ;; NTRAP-NEXT: (block (result anyref)
517+ ;; NTRAP-NEXT: (call $effect)
518+ ;; NTRAP-NEXT: (local.get $ref)
521519 ;; NTRAP-NEXT: )
522520 ;; NTRAP-NEXT: (block (result (ref $sub.desc))
523521 ;; NTRAP-NEXT: (call $effect)
14071405 ;; CHECK-NEXT: )
14081406 ;; NTRAP: (func $ref.cast_desc_eq-ref.as_non_null (type $4)
14091407 ;; NTRAP-NEXT: (local $null (ref null $struct))
1410- ;; NTRAP-NEXT: (local $1 (ref $struct))
1411- ;; NTRAP-NEXT: (local $2 (ref null $desc))
1408+ ;; NTRAP-NEXT: (local $1 (ref null $desc))
14121409 ;; NTRAP-NEXT: (drop
14131410 ;; NTRAP-NEXT: (block (result (ref $struct))
14141411 ;; NTRAP-NEXT: (local.set $1
1415- ;; NTRAP-NEXT: (ref.as_non_null
1416- ;; NTRAP-NEXT: (local.get $null)
1417- ;; NTRAP-NEXT: )
1418- ;; NTRAP-NEXT: )
1419- ;; NTRAP-NEXT: (local.set $2
14201412 ;; NTRAP-NEXT: (block (result (ref null $desc))
14211413 ;; NTRAP-NEXT: (return)
14221414 ;; NTRAP-NEXT: )
14231415 ;; NTRAP-NEXT: )
1424- ;; NTRAP-NEXT: (local.get $1)
1416+ ;; NTRAP-NEXT: (ref.as_non_null
1417+ ;; NTRAP-NEXT: (local.get $null)
1418+ ;; NTRAP-NEXT: )
14251419 ;; NTRAP-NEXT: )
14261420 ;; NTRAP-NEXT: )
14271421 ;; NTRAP-NEXT: (drop
Original file line number Diff line number Diff line change 879879 )
880880
881881 ;; TNH: (func $select.unreachable.child.flip (type $6) (param $x (ref $struct)) (result (ref $struct))
882- ;; TNH-NEXT: (select
883- ;; TNH-NEXT: (local.get $x)
884- ;; TNH-NEXT: (unreachable)
885- ;; TNH-NEXT: (i32.const 1)
886- ;; TNH-NEXT: )
882+ ;; TNH-NEXT: (local.get $x)
887883 ;; TNH-NEXT: )
888884 ;; NO_TNH: (func $select.unreachable.child.flip (type $6) (param $x (ref $struct)) (result (ref $struct))
889885 ;; NO_TNH-NEXT: (select
Original file line number Diff line number Diff line change 1919 (type $struct (struct (field (mut i32 ))))
2020
2121 ;; YESTNH: (func $drop (type $4) (param $x i32) (param $y anyref)
22- ;; YESTNH-NEXT: (drop
23- ;; YESTNH-NEXT: (unreachable)
24- ;; YESTNH-NEXT: )
22+ ;; YESTNH-NEXT: (nop)
2523 ;; YESTNH-NEXT: )
2624 ;; NO_TNH: (func $drop (type $4) (param $x i32) (param $y anyref)
2725 ;; NO_TNH-NEXT: (drop
184182 )
185183
186184 ;; YESTNH: (func $toplevel (type $0)
187- ;; YESTNH-NEXT: (unreachable )
185+ ;; YESTNH-NEXT: (nop )
188186 ;; YESTNH-NEXT: )
189187 ;; NO_TNH: (func $toplevel (type $0)
190188 ;; NO_TNH-NEXT: (unreachable)
You can’t perform that action at this time.
0 commit comments