test/lit/passes/gufa-waitqueue.wast

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

(module
  ;; CHECK:      (type $struct (shared (struct (field (ref null (shared waitqueue))))))
  (type $struct (shared (struct (field (ref null (shared waitqueue))))))

  ;; CHECK:      (func $flows-null (type $1) (result (ref null (shared waitqueue)))
  ;; CHECK-NEXT:  (drop
  ;; CHECK-NEXT:   (call $helper
  ;; CHECK-NEXT:    (ref.null (shared nowaitqueue))
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT:  (ref.null (shared nowaitqueue))
  ;; CHECK-NEXT: )
  (func $flows-null (export "test") (result (ref null (shared waitqueue)))
    ;; GUFA can figure out that this function always returns null
    ;; even though it flows through a struct.
    (call $helper (ref.null (shared nowaitqueue)))
  )

  ;; CHECK:      (func $helper (type $2) (param $w (ref null (shared waitqueue))) (result (ref null (shared waitqueue)))
  ;; CHECK-NEXT:  (local $s (ref null $struct))
  ;; CHECK-NEXT:  (local.set $s
  ;; CHECK-NEXT:   (struct.new $struct
  ;; CHECK-NEXT:    (ref.null (shared nowaitqueue))
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT:  (drop
  ;; CHECK-NEXT:   (block (result (ref null (shared nowaitqueue)))
  ;; CHECK-NEXT:    (drop
  ;; CHECK-NEXT:     (struct.get $struct 0
  ;; CHECK-NEXT:      (local.get $s)
  ;; CHECK-NEXT:     )
  ;; CHECK-NEXT:    )
  ;; CHECK-NEXT:    (ref.null (shared nowaitqueue))
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT:  (ref.null (shared nowaitqueue))
  ;; CHECK-NEXT: )
  (func $helper (param $w (ref null (shared waitqueue))) (result (ref null (shared waitqueue)))
    (local $s (ref null $struct))
    (local.set $s (struct.new $struct (local.get $w)))
    (struct.get $struct 0 (local.get $s))
  )
)