1; RUN: llc --mtriple=wasm32-unknown-unknown -asm-verbose=false -mattr=+reference-types < %s | FileCheck %s
2
3%externref = type ptr addrspace(10) ;; addrspace 10 is nonintegral
4
5@externref_table1 = local_unnamed_addr addrspace(1) global [0 x %externref] undef
6@externref_table2 = local_unnamed_addr addrspace(1) global [0 x %externref] undef
7
8declare void @llvm.wasm.table.copy(ptr addrspace(1), ptr addrspace(1), i32, i32, i32) nounwind readonly
9
10define void @table_copy(i32 %dst, i32 %src, i32 %len) {
11; CHECK-LABEL: table_copy:
12; CHECK-NEXT:  .functype	table_copy (i32, i32, i32) -> ()
13; CHECK-NEXT:  local.get    0
14; CHECK-NEXT:  local.get    1
15; CHECK-NEXT:  local.get    2
16; CHECK-NEXT:  table.copy	externref_table1, externref_table2
17; CHECK-NEXT:  end_function
18  %tableptr1 = getelementptr [0 x %externref], ptr addrspace(1) @externref_table1, i32 0, i32 0
19  %tableptr2 = getelementptr [0 x %externref], ptr addrspace(1) @externref_table2, i32 0, i32 0
20  call void @llvm.wasm.table.copy(ptr addrspace(1) %tableptr1, ptr addrspace(1) %tableptr2, i32 %dst, i32 %src, i32 %len)
21  ret void
22}
23
24; Testing copying from a table to itself at different offsets
25; Copies len items from table1 at src to table1 at src+off
26define void @self_table_copy(i32 %src, i32 %off, i32 %len) {
27; CHECK-LABEL: self_table_copy:
28; CHECK-NEXT:  .functype	self_table_copy (i32, i32, i32) -> ()
29; CHECK-NEXT:  local.get    0
30; CHECK-NEXT:  local.get    1
31; CHECK-NEXT:  i32.add
32; CHECK-NEXT:  local.get    0
33; CHECK-NEXT:  local.get    2
34; CHECK-NEXT:  table.copy	externref_table1, externref_table1
35; CHECK-NEXT:  end_function
36  %dst = add nsw i32 %src, %off
37  %tableptr1 = getelementptr [0 x %externref], ptr addrspace(1) @externref_table1, i32 0, i32 0
38  call void @llvm.wasm.table.copy(ptr addrspace(1) %tableptr1, ptr addrspace(1) %tableptr1, i32 %dst, i32 %src, i32 %len)
39  ret void
40}
41