65 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc --mtriple=wasm32-unknown-unknown -mattr=+reference-types < %s | FileCheck %s3 4%externref = type ptr addrspace(10) ;; addrspace 10 is nonintegral5%funcref = type ptr addrspace(20) ;; addrspace 20 is nonintegral6 7declare %externref @llvm.wasm.ref.null.extern() nounwind8declare %funcref @llvm.wasm.ref.null.func() nounwind9declare i32 @llvm.wasm.ref.is_null.extern(%externref) nounwind10declare i32 @llvm.wasm.ref.is_null.func(%funcref) nounwind11 12define %externref @get_null_extern() {13; CHECK-LABEL: get_null_extern:14; CHECK: .functype get_null_extern () -> (externref)15; CHECK-NEXT: # %bb.0:16; CHECK-NEXT: ref.null_extern17; CHECK-NEXT: # fallthrough-return18 %null = call %externref @llvm.wasm.ref.null.extern()19 ret %externref %null20}21 22define %funcref @get_null_func() {23; CHECK-LABEL: get_null_func:24; CHECK: .functype get_null_func () -> (funcref)25; CHECK-NEXT: # %bb.0:26; CHECK-NEXT: ref.null_func27; CHECK-NEXT: # fallthrough-return28 %null = call %funcref @llvm.wasm.ref.null.func()29 ret %funcref %null30}31 32define i32 @ref_is_null_extern(%externref %eref) {33; CHECK-LABEL: ref_is_null_extern:34; CHECK: .functype ref_is_null_extern (externref) -> (i32)35; CHECK-NEXT: # %bb.0:36; CHECK-NEXT: ref.null_extern37; CHECK-NEXT: ref.is_null38; CHECK-NEXT: local.get 039; CHECK-NEXT: ref.is_null40; CHECK-NEXT: i32.add41; CHECK-NEXT: # fallthrough-return42 %null = call %externref @llvm.wasm.ref.null.extern()43 %is_null = call i32 @llvm.wasm.ref.is_null.extern(%externref %null)44 %arg_is_null = call i32 @llvm.wasm.ref.is_null.extern(%externref %eref)45 %res = add i32 %is_null, %arg_is_null46 ret i32 %res47}48 49define i32 @ref_is_null_func(%funcref %fref) {50; CHECK-LABEL: ref_is_null_func:51; CHECK: .functype ref_is_null_func (funcref) -> (i32)52; CHECK-NEXT: # %bb.0:53; CHECK-NEXT: ref.null_func54; CHECK-NEXT: ref.is_null55; CHECK-NEXT: local.get 056; CHECK-NEXT: ref.is_null57; CHECK-NEXT: i32.add58; CHECK-NEXT: # fallthrough-return59 %null = call %funcref @llvm.wasm.ref.null.func()60 %is_null = call i32 @llvm.wasm.ref.is_null.func(%funcref %null)61 %arg_is_null = call i32 @llvm.wasm.ref.is_null.func(%funcref %fref)62 %res = add i32 %is_null, %arg_is_null63 ret i32 %res64}65