test/lit/passes/inlining-optimizing-removable-if-unused.wast

;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.

;; RUN: wasm-opt %s --inlining-optimizing -S -o - | filecheck %s

(module
 ;; CHECK:      (import "" "" (func $import (param i32)))
 (import "" "" (func $import (param i32)))
 ;; CHECK:      (export "test" (func $test))
 (export "test" (func $test))
 ;; CHECK:      (func $test
 ;; CHECK-NEXT:  (call $import
 ;; CHECK-NEXT:   (i32.const 0)
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $test
  (call $main)
 )
 (func $main
  (call $print)
 )
 (func $print
  ;; $print should not inherit the removable.if.unused attribute from the
  ;; inlined call to $removable. (If it did, then we would incorrectly remove
  ;; the call to the import.)
  (call $import
   (call $removable)
  )
 )
 (@binaryen.removable.if.unused)
 (func $removable (result i32)
  (i32.const 0)
 )
)