139 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=aarch64-linux-gnu -o - %s | FileCheck %s3; RUN: llc -mtriple=aarch64-linux-gnu -stop-after=finalize-isel -o - %s | FileCheck --check-prefix=MIR %s4 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_memcpy12; 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, x020; CHECK-NEXT: add w0, w9, w1021; CHECK-NEXT: str q0, [x8]22; CHECK-NEXT: ret23 %p0 = bitcast ptr %p to ptr24 %add.ptr = getelementptr inbounds i32, ptr %p, i64 425 %p1 = bitcast ptr %add.ptr to ptr26 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 !427 %v0 = load i32, ptr %q, align 4, !alias.scope !4, !noalias !228 %q1 = getelementptr inbounds i32, ptr %q, i64 129 %v1 = load i32, ptr %q1, align 4, !alias.scope !4, !noalias !230 %add = add i32 %v0, %v131 ret i32 %add32}33 34; MIR-LABEL: name: test_memcpy_inline35; 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, x043; CHECK-NEXT: add w0, w9, w1044; CHECK-NEXT: str q0, [x8]45; CHECK-NEXT: ret46 %p0 = bitcast ptr %p to ptr47 %add.ptr = getelementptr inbounds i32, ptr %p, i64 448 %p1 = bitcast ptr %add.ptr to ptr49 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 !450 %v0 = load i32, ptr %q, align 4, !alias.scope !4, !noalias !251 %q1 = getelementptr inbounds i32, ptr %q, i64 152 %v1 = load i32, ptr %q1, align 4, !alias.scope !4, !noalias !253 %add = add i32 %v0, %v154 ret i32 %add55}56 57; MIR-LABEL: name: test_memmove58; 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, x066; CHECK-NEXT: add w0, w9, w1067; CHECK-NEXT: str q0, [x8]68; CHECK-NEXT: ret69 %p0 = bitcast ptr %p to ptr70 %add.ptr = getelementptr inbounds i32, ptr %p, i64 471 %p1 = bitcast ptr %add.ptr to ptr72 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 !473 %v0 = load i32, ptr %q, align 4, !alias.scope !4, !noalias !274 %q1 = getelementptr inbounds i32, ptr %q, i64 175 %v1 = load i32, ptr %q1, align 4, !alias.scope !4, !noalias !276 %add = add i32 %v0, %v177 ret i32 %add78}79 80; MIR-LABEL: name: test_memset81; MIR: %2:gpr64 = MOVi64imm -614891469123651720682; 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, x089; CHECK-NEXT: mov x9, #-6148914691236517206 // =0xaaaaaaaaaaaaaaaa90; CHECK-NEXT: stp x9, x9, [x8]91; CHECK-NEXT: add w0, w10, w1192; CHECK-NEXT: ret93 %p0 = bitcast ptr %p to ptr94 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 !495 %v0 = load i32, ptr %q, align 4, !alias.scope !4, !noalias !296 %q1 = getelementptr inbounds i32, ptr %q, i64 197 %v1 = load i32, ptr %q1, align 4, !alias.scope !4, !noalias !298 %add = add i32 %v0, %v199 ret i32 %add100}101 102; MIR-LABEL: name: test_mempcpy103; 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, x0111; CHECK-NEXT: add w0, w9, w10112; CHECK-NEXT: str q0, [x8]113; CHECK-NEXT: ret114 %p0 = bitcast ptr %p to ptr115 %add.ptr = getelementptr inbounds i32, ptr %p, i64 4116 %p1 = bitcast ptr %add.ptr to ptr117 %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 !4118 %v0 = load i32, ptr %q, align 4, !alias.scope !4, !noalias !2119 %q1 = getelementptr inbounds i32, ptr %q, i64 1120 %v1 = load i32, ptr %q1, align 4, !alias.scope !4, !noalias !2121 %add = add i32 %v0, %v1122 ret i32 %add123}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;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:138; MIR: {{.*}}139