test/lit/passes/optimize-casts-order.wast

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

(module
  ;; CHECK:      (type $A (sub (struct)))
  (type $A (sub (struct)))
  ;; CHECK:      (type $B (sub $A (struct)))
  (type $B (sub $A (struct)))

  (memory 1)

  ;; CHECK:      (global $g (mut i32) (i32.const 0))
  (global $g (mut i32) (i32.const 0))

  ;; CHECK:      (func $cast_allowed (type $2) (param $x (ref null $A))
  ;; CHECK-NEXT:  (local $temp (ref null $A))
  ;; CHECK-NEXT:  (local $2 (ref null $B))
  ;; CHECK-NEXT:  (local.set $temp
  ;; CHECK-NEXT:   (local.get $x)
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT:  (block
  ;; CHECK-NEXT:   (drop
  ;; CHECK-NEXT:    (local.tee $2
  ;; CHECK-NEXT:     (ref.cast (ref null $B)
  ;; CHECK-NEXT:      (local.get $temp)
  ;; CHECK-NEXT:     )
  ;; CHECK-NEXT:    )
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:   (drop
  ;; CHECK-NEXT:    (i32.load
  ;; CHECK-NEXT:     (i32.const 0)
  ;; CHECK-NEXT:    )
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:   (drop
  ;; CHECK-NEXT:    (ref.cast (ref null $B)
  ;; CHECK-NEXT:     (local.get $2)
  ;; CHECK-NEXT:    )
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT: )
  (func $cast_allowed (param $x (ref null $A))
    ;; ref.cast can move back past load.
    (local $temp (ref null $A))
    (local.set $temp (local.get $x))
    (block
      (drop (local.get $temp))
      (drop (i32.load (i32.const 0)))
      (drop (ref.cast (ref null $B) (local.get $temp)))
    )
  )

  ;; CHECK:      (func $cast_disallowed (type $2) (param $x (ref null $A))
  ;; CHECK-NEXT:  (local $temp (ref null $A))
  ;; CHECK-NEXT:  (local.set $temp
  ;; CHECK-NEXT:   (local.get $x)
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT:  (block
  ;; CHECK-NEXT:   (drop
  ;; CHECK-NEXT:    (local.get $temp)
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:   (i32.store
  ;; CHECK-NEXT:    (i32.const 0)
  ;; CHECK-NEXT:    (i32.const 42)
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:   (drop
  ;; CHECK-NEXT:    (ref.cast (ref null $B)
  ;; CHECK-NEXT:     (local.get $temp)
  ;; CHECK-NEXT:    )
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT: )
  (func $cast_disallowed (param $x (ref null $A))
    ;; ref.cast cannot move back past a store.
    (local $temp (ref null $A))
    (local.set $temp (local.get $x))
    (block
      (drop (local.get $temp))
      (i32.store (i32.const 0) (i32.const 42))
      (drop (ref.cast (ref null $B) (local.get $temp)))
    )
  )

  ;; Test 3: ref.as positive (moves past mutable global read)
  ;; CHECK:      (func $as_allowed (type $3) (param $x anyref)
  ;; CHECK-NEXT:  (local $temp anyref)
  ;; CHECK-NEXT:  (local $2 (ref any))
  ;; CHECK-NEXT:  (local.set $temp
  ;; CHECK-NEXT:   (local.get $x)
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT:  (block
  ;; CHECK-NEXT:   (drop
  ;; CHECK-NEXT:    (local.tee $2
  ;; CHECK-NEXT:     (ref.as_non_null
  ;; CHECK-NEXT:      (local.get $temp)
  ;; CHECK-NEXT:     )
  ;; CHECK-NEXT:    )
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:   (drop
  ;; CHECK-NEXT:    (global.get $g)
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:   (drop
  ;; CHECK-NEXT:    (ref.as_non_null
  ;; CHECK-NEXT:     (local.get $2)
  ;; CHECK-NEXT:    )
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT: )
  (func $as_allowed (param $x anyref)
    ;; ref.as_non_null can move back past a global.get.
    (local $temp anyref)
    (local.set $temp (local.get $x))
    (block
      (drop (local.get $temp))
      (drop (global.get $g))
      (drop (ref.as_non_null (local.get $temp)))
    )
  )

  ;; Test 4: ref.as negative (blocked by mutable global write)
  ;; CHECK:      (func $as_disallowed (type $3) (param $x anyref)
  ;; CHECK-NEXT:  (local $temp anyref)
  ;; CHECK-NEXT:  (local.set $temp
  ;; CHECK-NEXT:   (local.get $x)
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT:  (block
  ;; CHECK-NEXT:   (drop
  ;; CHECK-NEXT:    (local.get $temp)
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:   (global.set $g
  ;; CHECK-NEXT:    (i32.const 42)
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:   (drop
  ;; CHECK-NEXT:    (ref.as_non_null
  ;; CHECK-NEXT:     (local.get $temp)
  ;; CHECK-NEXT:    )
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT: )
  (func $as_disallowed (param $x anyref)
    ;; ref.as_non_null cannot move back past a global.set.
    (local $temp anyref)
    (local.set $temp (local.get $x))
    (block
      (drop (local.get $temp))
      (global.set $g (i32.const 42))
      (drop (ref.as_non_null (local.get $temp)))
    )
  )
)