test/lit/passes/ssa.wast

;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.
;; RUN: wasm-opt %s -all --ssa -S -o - | filecheck %s

(module
 ;; CHECK:      (func $foo (type $none_=>_none)
 ;; CHECK-NEXT:  (nop)
 ;; CHECK-NEXT: )
 (func $foo)

 ;; CHECK:      (func $bar (type $ref|func|_=>_none) (param $x (ref func))
 ;; CHECK-NEXT:  (local $1 (ref func))
 ;; CHECK-NEXT:  (local $2 (ref func))
 ;; CHECK-NEXT:  (local.set $1
 ;; CHECK-NEXT:   (ref.func $foo)
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT:  (drop
 ;; CHECK-NEXT:   (local.get $1)
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT:  (local.set $2
 ;; CHECK-NEXT:   (ref.func $bar)
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT:  (drop
 ;; CHECK-NEXT:   (local.get $2)
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $bar (param $x (ref func))
  ;; assign a non-nullable parameter multiple times, which causes ssa to create
  ;; new locals so that each is assigned only once
  (local.set $x (ref.func $foo))
  (drop (local.get $x))
  (local.set $x (ref.func $bar))
  (drop (local.get $x))
 )
)