12fd634a5SPaulo Matos; RUN: llc --mtriple=wasm32-unknown-unknown -asm-verbose=false -mattr=+reference-types < %s | FileCheck %s 22fd634a5SPaulo Matos 380fb7823SAlex Bradbury%externref = type ptr addrspace(10) ;; addrspace 10 is nonintegral 42fd634a5SPaulo Matos 52fd634a5SPaulo Matos@externref_table = local_unnamed_addr addrspace(1) global [0 x %externref] undef 62fd634a5SPaulo Matos 780fb7823SAlex Bradburydeclare i32 @llvm.wasm.table.size(ptr addrspace(1)) nounwind readonly 82fd634a5SPaulo Matos 92fd634a5SPaulo Matosdefine i32 @table_size() { 102fd634a5SPaulo Matos; CHECK-LABEL: table_size: 112fd634a5SPaulo Matos; CHECK-NEXT: .functype table_size () -> (i32) 122fd634a5SPaulo Matos; CHECK-NEXT: table.size externref_table 132fd634a5SPaulo Matos; CHECK-NEXT: end_function 14*bab98395SPaulo Matos %sz = call i32 @llvm.wasm.table.size(ptr addrspace(1) @externref_table) 152fd634a5SPaulo Matos ret i32 %sz 162fd634a5SPaulo Matos} 17