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 call void @llvm.wasm.table.copy(ptr addrspace(1) @externref_table1, ptr addrspace(1) @externref_table2, i32 %dst, i32 %src, i32 %len) 19 ret void 20} 21 22; Testing copying from a table to itself at different offsets 23; Copies len items from table1 at src to table1 at src+off 24define void @self_table_copy(i32 %src, i32 %off, i32 %len) { 25; CHECK-LABEL: self_table_copy: 26; CHECK-NEXT: .functype self_table_copy (i32, i32, i32) -> () 27; CHECK-NEXT: local.get 0 28; CHECK-NEXT: local.get 1 29; CHECK-NEXT: i32.add 30; CHECK-NEXT: local.get 0 31; CHECK-NEXT: local.get 2 32; CHECK-NEXT: table.copy externref_table1, externref_table1 33; CHECK-NEXT: end_function 34 %dst = add nsw i32 %src, %off 35 call void @llvm.wasm.table.copy(ptr addrspace(1) @externref_table1, ptr addrspace(1) @externref_table1, i32 %dst, i32 %src, i32 %len) 36 ret void 37} 38