File tree Expand file tree Collapse file tree 1 file changed +4
-8
lines changed
Expand file tree Collapse file tree 1 file changed +4
-8
lines changed Original file line number Diff line number Diff line change 12761276 (call $unreachable-if-body-no-result (ref.null any))
12771277 )
12781278
1279-
1280-
1281-
12821279 ;; CHECK: (func $nop (type $2) (param $x anyref) (result anyref)
12831280 ;; CHECK-NEXT: (loop $loop
12841281 ;; CHECK-NEXT: (if
13411338 (then
13421339 (if
13431340 (i32.const 1 )
1344- ;; The return_call here prevents the optimization.
1341+ ;; The return_call here prevents the optimization (nothing is inlined
1342+ ;; in our caller, below), just like the return in the previous
1343+ ;; testcase.
13451344 (then
13461345 (return_call $nop
13471346 (local.get $x )
13691368 ;; CHECK-NEXT: )
13701369 ;; CHECK-NEXT: )
13711370 (func $call-reachable-if-body-return_call
1371+ ;; We do not inline here.
13721372 (drop (call $reachable-if-body-return_call (ref.null any)))
13731373 (drop (call $reachable-if-body-return_call (ref.null any)))
13741374 )
13751375
1376-
1377-
1378-
1379-
13801376 (func $multi-if (param $x anyref ) (result anyref )
13811377 (if
13821378 (ref.is_null
You can’t perform that action at this time.
0 commit comments