1cb778e93SAlex Bradbury; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2cb778e93SAlex Bradbury; RUN: llc --mtriple=wasm32-unknown-unknown -mattr=+reference-types < %s | FileCheck %s 3a96d8285SPaulo Matos 4*80fb7823SAlex Bradbury%externref = type ptr addrspace(10) ;; addrspace 10 is nonintegral 5*80fb7823SAlex Bradbury%funcref = type ptr addrspace(20) ;; addrspace 20 is nonintegral 6a96d8285SPaulo Matos 7a96d8285SPaulo Matosdeclare %externref @llvm.wasm.ref.null.extern() nounwind 8a96d8285SPaulo Matosdeclare %funcref @llvm.wasm.ref.null.func() nounwind 9cb778e93SAlex Bradburydeclare i32 @llvm.wasm.ref.is_null.extern(%externref) nounwind 10cb778e93SAlex Bradburydeclare i32 @llvm.wasm.ref.is_null.func(%funcref) nounwind 11a96d8285SPaulo Matos 12a96d8285SPaulo Matosdefine %externref @get_null_extern() { 13a96d8285SPaulo Matos; CHECK-LABEL: get_null_extern: 14cb778e93SAlex Bradbury; CHECK: .functype get_null_extern () -> (externref) 15cb778e93SAlex Bradbury; CHECK-NEXT: # %bb.0: 16a96d8285SPaulo Matos; CHECK-NEXT: ref.null_extern 17cb778e93SAlex Bradbury; CHECK-NEXT: # fallthrough-return 18a96d8285SPaulo Matos %null = call %externref @llvm.wasm.ref.null.extern() 19a96d8285SPaulo Matos ret %externref %null 20a96d8285SPaulo Matos} 21a96d8285SPaulo Matos 22a96d8285SPaulo Matosdefine %funcref @get_null_func() { 23a96d8285SPaulo Matos; CHECK-LABEL: get_null_func: 24cb778e93SAlex Bradbury; CHECK: .functype get_null_func () -> (funcref) 25cb778e93SAlex Bradbury; CHECK-NEXT: # %bb.0: 26a96d8285SPaulo Matos; CHECK-NEXT: ref.null_func 27cb778e93SAlex Bradbury; CHECK-NEXT: # fallthrough-return 28a96d8285SPaulo Matos %null = call %funcref @llvm.wasm.ref.null.func() 29a96d8285SPaulo Matos ret %funcref %null 30a96d8285SPaulo Matos} 31cb778e93SAlex Bradbury 32cb778e93SAlex Bradburydefine i32 @ref_is_null_extern(%externref %eref) { 33cb778e93SAlex Bradbury; CHECK-LABEL: ref_is_null_extern: 34cb778e93SAlex Bradbury; CHECK: .functype ref_is_null_extern (externref) -> (i32) 35cb778e93SAlex Bradbury; CHECK-NEXT: # %bb.0: 36cb778e93SAlex Bradbury; CHECK-NEXT: ref.null_extern 37cb778e93SAlex Bradbury; CHECK-NEXT: ref.is_null 38cb778e93SAlex Bradbury; CHECK-NEXT: local.get 0 39cb778e93SAlex Bradbury; CHECK-NEXT: ref.is_null 40cb778e93SAlex Bradbury; CHECK-NEXT: i32.add 41cb778e93SAlex Bradbury; CHECK-NEXT: # fallthrough-return 42cb778e93SAlex Bradbury %null = call %externref @llvm.wasm.ref.null.extern() 43cb778e93SAlex Bradbury %is_null = call i32 @llvm.wasm.ref.is_null.extern(%externref %null) 44cb778e93SAlex Bradbury %arg_is_null = call i32 @llvm.wasm.ref.is_null.extern(%externref %eref) 45cb778e93SAlex Bradbury %res = add i32 %is_null, %arg_is_null 46cb778e93SAlex Bradbury ret i32 %res 47cb778e93SAlex Bradbury} 48cb778e93SAlex Bradbury 49cb778e93SAlex Bradburydefine i32 @ref_is_null_func(%funcref %fref) { 50cb778e93SAlex Bradbury; CHECK-LABEL: ref_is_null_func: 51cb778e93SAlex Bradbury; CHECK: .functype ref_is_null_func (funcref) -> (i32) 52cb778e93SAlex Bradbury; CHECK-NEXT: # %bb.0: 53cb778e93SAlex Bradbury; CHECK-NEXT: ref.null_func 54cb778e93SAlex Bradbury; CHECK-NEXT: ref.is_null 55cb778e93SAlex Bradbury; CHECK-NEXT: local.get 0 56cb778e93SAlex Bradbury; CHECK-NEXT: ref.is_null 57cb778e93SAlex Bradbury; CHECK-NEXT: i32.add 58cb778e93SAlex Bradbury; CHECK-NEXT: # fallthrough-return 59cb778e93SAlex Bradbury %null = call %funcref @llvm.wasm.ref.null.func() 60cb778e93SAlex Bradbury %is_null = call i32 @llvm.wasm.ref.is_null.func(%funcref %null) 61cb778e93SAlex Bradbury %arg_is_null = call i32 @llvm.wasm.ref.is_null.func(%funcref %fref) 62cb778e93SAlex Bradbury %res = add i32 %is_null, %arg_is_null 63cb778e93SAlex Bradbury ret i32 %res 64cb778e93SAlex Bradbury} 65