1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2; RUN: llc -mtriple=aarch64-linux-gnu -o - %s | FileCheck %s 3; RUN: llc -mtriple=aarch64-linux-gnu -stop-after=finalize-isel -o - %s | FileCheck --check-prefix=MIR %s 4 5; MIR-DAG: ![[DOMAIN:[0-9]+]] = distinct !{!{{[0-9]+}}, !"bax"} 6; MIR-DAG: ![[SCOPE0:[0-9]+]] = distinct !{!{{[0-9]+}}, ![[DOMAIN]], !"bax: %p"} 7; MIR-DAG: ![[SCOPE1:[0-9]+]] = distinct !{!{{[0-9]+}}, ![[DOMAIN]], !"bax: %q"} 8; MIR-DAG: ![[SET0:[0-9]+]] = !{![[SCOPE0]]} 9; MIR-DAG: ![[SET1:[0-9]+]] = !{![[SCOPE1]]} 10 11; MIR-LABEL: name: test_memcpy 12; MIR: %2:fpr128 = LDRQui %0, 1 :: (load (s128) from %ir.p1, align 4, !alias.scope ![[SET0]], !noalias ![[SET1]]) 13; MIR-NEXT: STRQui killed %2, %0, 0 :: (store (s128) into %ir.p0, align 4, !alias.scope ![[SET0]], !noalias ![[SET1]]) 14define i32 @test_memcpy(ptr nocapture %p, ptr nocapture readonly %q) { 15; CHECK-LABEL: test_memcpy: 16; CHECK: // %bb.0: 17; CHECK-NEXT: ldp w9, w10, [x1] 18; CHECK-NEXT: ldr q0, [x0, #16] 19; CHECK-NEXT: mov x8, x0 20; CHECK-NEXT: add w0, w9, w10 21; CHECK-NEXT: str q0, [x8] 22; CHECK-NEXT: ret 23 %p0 = bitcast ptr %p to ptr 24 %add.ptr = getelementptr inbounds i32, ptr %p, i64 4 25 %p1 = bitcast ptr %add.ptr to ptr 26 tail call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(16) %p0, ptr noundef nonnull align 4 dereferenceable(16) %p1, i64 16, i1 false), !alias.scope !2, !noalias !4 27 %v0 = load i32, ptr %q, align 4, !alias.scope !4, !noalias !2 28 %q1 = getelementptr inbounds i32, ptr %q, i64 1 29 %v1 = load i32, ptr %q1, align 4, !alias.scope !4, !noalias !2 30 %add = add i32 %v0, %v1 31 ret i32 %add 32} 33 34; MIR-LABEL: name: test_memcpy_inline 35; MIR: %2:fpr128 = LDRQui %0, 1 :: (load (s128) from %ir.p1, align 4, !alias.scope ![[SET0]], !noalias ![[SET1]]) 36; MIR-NEXT: STRQui killed %2, %0, 0 :: (store (s128) into %ir.p0, align 4, !alias.scope ![[SET0]], !noalias ![[SET1]]) 37define i32 @test_memcpy_inline(ptr nocapture %p, ptr nocapture readonly %q) { 38; CHECK-LABEL: test_memcpy_inline: 39; CHECK: // %bb.0: 40; CHECK-NEXT: ldp w9, w10, [x1] 41; CHECK-NEXT: ldr q0, [x0, #16] 42; CHECK-NEXT: mov x8, x0 43; CHECK-NEXT: add w0, w9, w10 44; CHECK-NEXT: str q0, [x8] 45; CHECK-NEXT: ret 46 %p0 = bitcast ptr %p to ptr 47 %add.ptr = getelementptr inbounds i32, ptr %p, i64 4 48 %p1 = bitcast ptr %add.ptr to ptr 49 tail call void @llvm.memcpy.inline.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(16) %p0, ptr noundef nonnull align 4 dereferenceable(16) %p1, i64 16, i1 false), !alias.scope !2, !noalias !4 50 %v0 = load i32, ptr %q, align 4, !alias.scope !4, !noalias !2 51 %q1 = getelementptr inbounds i32, ptr %q, i64 1 52 %v1 = load i32, ptr %q1, align 4, !alias.scope !4, !noalias !2 53 %add = add i32 %v0, %v1 54 ret i32 %add 55} 56 57; MIR-LABEL: name: test_memmove 58; MIR: %2:fpr128 = LDRQui %0, 1 :: (load (s128) from %ir.p1, align 4, !alias.scope ![[SET0]], !noalias ![[SET1]]) 59; MIR-NEXT: STRQui killed %2, %0, 0 :: (store (s128) into %ir.p0, align 4, !alias.scope ![[SET0]], !noalias ![[SET1]]) 60define i32 @test_memmove(ptr nocapture %p, ptr nocapture readonly %q) { 61; CHECK-LABEL: test_memmove: 62; CHECK: // %bb.0: 63; CHECK-NEXT: ldp w9, w10, [x1] 64; CHECK-NEXT: ldr q0, [x0, #16] 65; CHECK-NEXT: mov x8, x0 66; CHECK-NEXT: add w0, w9, w10 67; CHECK-NEXT: str q0, [x8] 68; CHECK-NEXT: ret 69 %p0 = bitcast ptr %p to ptr 70 %add.ptr = getelementptr inbounds i32, ptr %p, i64 4 71 %p1 = bitcast ptr %add.ptr to ptr 72 tail call void @llvm.memmove.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(16) %p0, ptr noundef nonnull align 4 dereferenceable(16) %p1, i64 16, i1 false), !alias.scope !2, !noalias !4 73 %v0 = load i32, ptr %q, align 4, !alias.scope !4, !noalias !2 74 %q1 = getelementptr inbounds i32, ptr %q, i64 1 75 %v1 = load i32, ptr %q1, align 4, !alias.scope !4, !noalias !2 76 %add = add i32 %v0, %v1 77 ret i32 %add 78} 79 80; MIR-LABEL: name: test_memset 81; MIR: %2:gpr64 = MOVi64imm -6148914691236517206 82; MIR-NEXT: STRXui %2, %0, 1 :: (store (s64) into %ir.p0 + 8, align 4, !alias.scope ![[SET0]], !noalias ![[SET1]]) 83; MIR-NEXT: STRXui %2, %0, 0 :: (store (s64) into %ir.p0, align 4, !alias.scope ![[SET0]], !noalias ![[SET1]]) 84define i32 @test_memset(ptr nocapture %p, ptr nocapture readonly %q) { 85; CHECK-LABEL: test_memset: 86; CHECK: // %bb.0: 87; CHECK-NEXT: ldp w10, w11, [x1] 88; CHECK-NEXT: mov x8, x0 89; CHECK-NEXT: mov x9, #-6148914691236517206 // =0xaaaaaaaaaaaaaaaa 90; CHECK-NEXT: stp x9, x9, [x8] 91; CHECK-NEXT: add w0, w10, w11 92; CHECK-NEXT: ret 93 %p0 = bitcast ptr %p to ptr 94 tail call void @llvm.memset.p0.i64(ptr noundef nonnull align 4 dereferenceable(16) %p0, i8 170, i64 16, i1 false), !alias.scope !2, !noalias !4 95 %v0 = load i32, ptr %q, align 4, !alias.scope !4, !noalias !2 96 %q1 = getelementptr inbounds i32, ptr %q, i64 1 97 %v1 = load i32, ptr %q1, align 4, !alias.scope !4, !noalias !2 98 %add = add i32 %v0, %v1 99 ret i32 %add 100} 101 102; MIR-LABEL: name: test_mempcpy 103; MIR: %2:fpr128 = LDRQui %0, 1 :: (load (s128) from %ir.p1, align 1, !alias.scope ![[SET0]], !noalias ![[SET1]]) 104; MIR-NEXT: STRQui killed %2, %0, 0 :: (store (s128) into %ir.p0, align 1, !alias.scope ![[SET0]], !noalias ![[SET1]]) 105define i32 @test_mempcpy(ptr nocapture %p, ptr nocapture readonly %q) { 106; CHECK-LABEL: test_mempcpy: 107; CHECK: // %bb.0: 108; CHECK-NEXT: ldp w9, w10, [x1] 109; CHECK-NEXT: ldr q0, [x0, #16] 110; CHECK-NEXT: mov x8, x0 111; CHECK-NEXT: add w0, w9, w10 112; CHECK-NEXT: str q0, [x8] 113; CHECK-NEXT: ret 114 %p0 = bitcast ptr %p to ptr 115 %add.ptr = getelementptr inbounds i32, ptr %p, i64 4 116 %p1 = bitcast ptr %add.ptr to ptr 117 %call = tail call ptr @mempcpy(ptr noundef nonnull align 4 dereferenceable(16) %p0, ptr noundef nonnull align 4 dereferenceable(16) %p1, i64 16), !alias.scope !2, !noalias !4 118 %v0 = load i32, ptr %q, align 4, !alias.scope !4, !noalias !2 119 %q1 = getelementptr inbounds i32, ptr %q, i64 1 120 %v1 = load i32, ptr %q1, align 4, !alias.scope !4, !noalias !2 121 %add = add i32 %v0, %v1 122 ret i32 %add 123} 124 125declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) 126declare void @llvm.memcpy.inline.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) 127declare void @llvm.memmove.p0.p0.i64(ptr nocapture writeonly, ptr nocapture readonly, i64, i1 immarg) 128declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) 129 130declare ptr @mempcpy(ptr, ptr, i64) 131 132!0 = distinct !{!0, !"bax"} 133!1 = distinct !{!1, !0, !"bax: %p"} 134!2 = !{!1} 135!3 = distinct !{!3, !0, !"bax: %q"} 136!4 = !{!3} 137