1; RUN: llc --mtriple=wasm32-unknown-unknown -asm-verbose=false -mattr=+reference-types < %s | FileCheck %s
2
3%extern = type opaque
4%externref = type %extern addrspace(10)* ;; addrspace 10 is nonintegral
5
6@externref_table = local_unnamed_addr addrspace(1) global [0 x %externref] undef
7
8declare void @llvm.wasm.table.fill.externref(i8 addrspace(1)*, i32, %externref, i32) nounwind readonly
9
10define void @table_fill(i32 %start, i32 %len, %externref %val) {
11; CHECK-LABEL: table_fill:
12; CHECK-NEXT:  .functype	table_fill (i32, i32, externref) -> ()
13; CHECK-NEXT:  local.get    0
14; CHECK-NEXT:  local.get    2
15; CHECK-NEXT:  local.get    1
16; CHECK-NEXT:  table.fill	externref_table
17; CHECK-NEXT:  end_function
18  %tableptr = getelementptr [0 x %externref], [0 x %externref] addrspace(1)* @externref_table, i32 0, i32 0
19  %tb = bitcast %externref addrspace(1)* %tableptr to i8 addrspace(1)*
20  call void @llvm.wasm.table.fill.externref(i8 addrspace(1)* %tb, i32 %start, %externref %val, i32 %len)
21  ret void
22}
23