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_table1 = local_unnamed_addr addrspace(1) global [0 x %externref] undef
7@externref_table2 = local_unnamed_addr addrspace(1) global [0 x %externref] undef
8
9declare void @llvm.wasm.table.copy(i8 addrspace(1)*, i8 addrspace(1)*, i32, i32, i32) nounwind readonly
10
11define void @table_copy(i32 %dst, i32 %src, i32 %len) {
12; CHECK-LABEL: table_copy:
13; CHECK-NEXT:  .functype	table_copy (i32, i32, i32) -> ()
14; CHECK-NEXT:  local.get    0
15; CHECK-NEXT:  local.get    1
16; CHECK-NEXT:  local.get    2
17; CHECK-NEXT:  table.copy	externref_table1, externref_table2
18; CHECK-NEXT:  end_function
19  %tableptr1 = getelementptr [0 x %externref], [0 x %externref] addrspace(1)* @externref_table1, i32 0, i32 0
20  %tb1 = bitcast %externref addrspace(1)* %tableptr1 to i8 addrspace(1)*
21  %tableptr2 = getelementptr [0 x %externref], [0 x %externref] addrspace(1)* @externref_table2, i32 0, i32 0
22  %tb2 = bitcast %externref addrspace(1)* %tableptr2 to i8 addrspace(1)*
23  call void @llvm.wasm.table.copy(i8 addrspace(1)* %tb1, i8 addrspace(1)* %tb2, i32 %dst, i32 %src, i32 %len)
24  ret void
25}
26
27; Testing copying from a table to itself at different offsets
28; Copies len items from table1 at src to table1 at src+off
29define void @self_table_copy(i32 %src, i32 %off, i32 %len) {
30; CHECK-LABEL: self_table_copy:
31; CHECK-NEXT:  .functype	self_table_copy (i32, i32, i32) -> ()
32; CHECK-NEXT:  local.get    0
33; CHECK-NEXT:  local.get    1
34; CHECK-NEXT:  i32.add
35; CHECK-NEXT:  local.get    0
36; CHECK-NEXT:  local.get    2
37; CHECK-NEXT:  table.copy	externref_table1, externref_table1
38; CHECK-NEXT:  end_function
39  %dst = add nsw i32 %src, %off
40  %tableptr1 = getelementptr [0 x %externref], [0 x %externref] addrspace(1)* @externref_table1, i32 0, i32 0
41  %tb1 = bitcast %externref addrspace(1)* %tableptr1 to i8 addrspace(1)*
42  call void @llvm.wasm.table.copy(i8 addrspace(1)* %tb1, i8 addrspace(1)* %tb1, i32 %dst, i32 %src, i32 %len)
43  ret void
44}
45