| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc -mtriple=aarch64-linux-gnu -o - %s | FileCheck %s |
| ; RUN: llc -mtriple=aarch64-linux-gnu -stop-after=finalize-isel -o - %s | FileCheck --check-prefix=MIR %s |
| |
| ; MIR-DAG: ![[DOMAIN:[0-9]+]] = distinct !{!{{[0-9]+}}, !"bax"} |
| ; MIR-DAG: ![[SCOPE0:[0-9]+]] = distinct !{!{{[0-9]+}}, ![[DOMAIN]], !"bax: %p"} |
| ; MIR-DAG: ![[SCOPE1:[0-9]+]] = distinct !{!{{[0-9]+}}, ![[DOMAIN]], !"bax: %q"} |
| ; MIR-DAG: ![[SET0:[0-9]+]] = !{![[SCOPE0]]} |
| ; MIR-DAG: ![[SET1:[0-9]+]] = !{![[SCOPE1]]} |
| |
| ; MIR-LABEL: name: test_memcpy |
| ; MIR: %2:fpr128 = LDRQui %0, 1 :: (load (s128) from %ir.p1, align 4, !alias.scope ![[SET0]], !noalias ![[SET1]]) |
| ; MIR-NEXT: STRQui killed %2, %0, 0 :: (store (s128) into %ir.p0, align 4, !alias.scope ![[SET0]], !noalias ![[SET1]]) |
| define i32 @test_memcpy(i32* nocapture %p, i32* nocapture readonly %q) { |
| ; CHECK-LABEL: test_memcpy: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: ldp w9, w10, [x1] |
| ; CHECK-NEXT: ldr q0, [x0, #16] |
| ; CHECK-NEXT: mov x8, x0 |
| ; CHECK-NEXT: add w0, w9, w10 |
| ; CHECK-NEXT: str q0, [x8] |
| ; CHECK-NEXT: ret |
| %p0 = bitcast i32* %p to i8* |
| %add.ptr = getelementptr inbounds i32, i32* %p, i64 4 |
| %p1 = bitcast i32* %add.ptr to i8* |
| tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* noundef nonnull align 4 dereferenceable(16) %p0, i8* noundef nonnull align 4 dereferenceable(16) %p1, i64 16, i1 false), !alias.scope !2, !noalias !4 |
| %v0 = load i32, i32* %q, align 4, !alias.scope !4, !noalias !2 |
| %q1 = getelementptr inbounds i32, i32* %q, i64 1 |
| %v1 = load i32, i32* %q1, align 4, !alias.scope !4, !noalias !2 |
| %add = add i32 %v0, %v1 |
| ret i32 %add |
| } |
| |
| ; MIR-LABEL: name: test_memcpy_inline |
| ; MIR: %2:fpr128 = LDRQui %0, 1 :: (load (s128) from %ir.p1, align 4, !alias.scope ![[SET0]], !noalias ![[SET1]]) |
| ; MIR-NEXT: STRQui killed %2, %0, 0 :: (store (s128) into %ir.p0, align 4, !alias.scope ![[SET0]], !noalias ![[SET1]]) |
| define i32 @test_memcpy_inline(i32* nocapture %p, i32* nocapture readonly %q) { |
| ; CHECK-LABEL: test_memcpy_inline: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: ldp w9, w10, [x1] |
| ; CHECK-NEXT: ldr q0, [x0, #16] |
| ; CHECK-NEXT: mov x8, x0 |
| ; CHECK-NEXT: add w0, w9, w10 |
| ; CHECK-NEXT: str q0, [x8] |
| ; CHECK-NEXT: ret |
| %p0 = bitcast i32* %p to i8* |
| %add.ptr = getelementptr inbounds i32, i32* %p, i64 4 |
| %p1 = bitcast i32* %add.ptr to i8* |
| tail call void @llvm.memcpy.inline.p0i8.p0i8.i64(i8* noundef nonnull align 4 dereferenceable(16) %p0, i8* noundef nonnull align 4 dereferenceable(16) %p1, i64 16, i1 false), !alias.scope !2, !noalias !4 |
| %v0 = load i32, i32* %q, align 4, !alias.scope !4, !noalias !2 |
| %q1 = getelementptr inbounds i32, i32* %q, i64 1 |
| %v1 = load i32, i32* %q1, align 4, !alias.scope !4, !noalias !2 |
| %add = add i32 %v0, %v1 |
| ret i32 %add |
| } |
| |
| ; MIR-LABEL: name: test_memmove |
| ; MIR: %2:fpr128 = LDRQui %0, 1 :: (load (s128) from %ir.p1, align 4, !alias.scope ![[SET0]], !noalias ![[SET1]]) |
| ; MIR-NEXT: STRQui killed %2, %0, 0 :: (store (s128) into %ir.p0, align 4, !alias.scope ![[SET0]], !noalias ![[SET1]]) |
| define i32 @test_memmove(i32* nocapture %p, i32* nocapture readonly %q) { |
| ; CHECK-LABEL: test_memmove: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: ldp w9, w10, [x1] |
| ; CHECK-NEXT: ldr q0, [x0, #16] |
| ; CHECK-NEXT: mov x8, x0 |
| ; CHECK-NEXT: add w0, w9, w10 |
| ; CHECK-NEXT: str q0, [x8] |
| ; CHECK-NEXT: ret |
| %p0 = bitcast i32* %p to i8* |
| %add.ptr = getelementptr inbounds i32, i32* %p, i64 4 |
| %p1 = bitcast i32* %add.ptr to i8* |
| tail call void @llvm.memmove.p0i8.p0i8.i64(i8* noundef nonnull align 4 dereferenceable(16) %p0, i8* noundef nonnull align 4 dereferenceable(16) %p1, i64 16, i1 false), !alias.scope !2, !noalias !4 |
| %v0 = load i32, i32* %q, align 4, !alias.scope !4, !noalias !2 |
| %q1 = getelementptr inbounds i32, i32* %q, i64 1 |
| %v1 = load i32, i32* %q1, align 4, !alias.scope !4, !noalias !2 |
| %add = add i32 %v0, %v1 |
| ret i32 %add |
| } |
| |
| ; MIR-LABEL: name: test_memset |
| ; MIR: %2:gpr64 = MOVi64imm -6148914691236517206 |
| ; MIR-NEXT: STRXui %2, %0, 1 :: (store (s64) into %ir.p0 + 8, align 4, !alias.scope ![[SET0]], !noalias ![[SET1]]) |
| ; MIR-NEXT: STRXui %2, %0, 0 :: (store (s64) into %ir.p0, align 4, !alias.scope ![[SET0]], !noalias ![[SET1]]) |
| define i32 @test_memset(i32* nocapture %p, i32* nocapture readonly %q) { |
| ; CHECK-LABEL: test_memset: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: ldp w10, w11, [x1] |
| ; CHECK-NEXT: mov x8, x0 |
| ; CHECK-NEXT: mov x9, #-6148914691236517206 // =0xaaaaaaaaaaaaaaaa |
| ; CHECK-NEXT: stp x9, x9, [x8] |
| ; CHECK-NEXT: add w0, w10, w11 |
| ; CHECK-NEXT: ret |
| %p0 = bitcast i32* %p to i8* |
| tail call void @llvm.memset.p0i8.i64(i8* noundef nonnull align 4 dereferenceable(16) %p0, i8 170, i64 16, i1 false), !alias.scope !2, !noalias !4 |
| %v0 = load i32, i32* %q, align 4, !alias.scope !4, !noalias !2 |
| %q1 = getelementptr inbounds i32, i32* %q, i64 1 |
| %v1 = load i32, i32* %q1, align 4, !alias.scope !4, !noalias !2 |
| %add = add i32 %v0, %v1 |
| ret i32 %add |
| } |
| |
| ; MIR-LABEL: name: test_mempcpy |
| ; MIR: %2:fpr128 = LDRQui %0, 1 :: (load (s128) from %ir.p1, align 1, !alias.scope ![[SET0]], !noalias ![[SET1]]) |
| ; MIR-NEXT: STRQui killed %2, %0, 0 :: (store (s128) into %ir.p0, align 1, !alias.scope ![[SET0]], !noalias ![[SET1]]) |
| define i32 @test_mempcpy(i32* nocapture %p, i32* nocapture readonly %q) { |
| ; CHECK-LABEL: test_mempcpy: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: ldp w9, w10, [x1] |
| ; CHECK-NEXT: ldr q0, [x0, #16] |
| ; CHECK-NEXT: mov x8, x0 |
| ; CHECK-NEXT: add w0, w9, w10 |
| ; CHECK-NEXT: str q0, [x8] |
| ; CHECK-NEXT: ret |
| %p0 = bitcast i32* %p to i8* |
| %add.ptr = getelementptr inbounds i32, i32* %p, i64 4 |
| %p1 = bitcast i32* %add.ptr to i8* |
| %call = tail call i8* @mempcpy(i8* noundef nonnull align 4 dereferenceable(16) %p0, i8* noundef nonnull align 4 dereferenceable(16) %p1, i64 16), !alias.scope !2, !noalias !4 |
| %v0 = load i32, i32* %q, align 4, !alias.scope !4, !noalias !2 |
| %q1 = getelementptr inbounds i32, i32* %q, i64 1 |
| %v1 = load i32, i32* %q1, align 4, !alias.scope !4, !noalias !2 |
| %add = add i32 %v0, %v1 |
| ret i32 %add |
| } |
| |
| declare void @llvm.memcpy.p0i8.p0i8.i64(i8* noalias nocapture writeonly, i8* noalias nocapture readonly, i64, i1 immarg) |
| declare void @llvm.memcpy.inline.p0i8.p0i8.i64(i8* noalias nocapture writeonly, i8* noalias nocapture readonly, i64, i1 immarg) |
| declare void @llvm.memmove.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i1 immarg) |
| declare void @llvm.memset.p0i8.i64(i8* nocapture writeonly, i8, i64, i1 immarg) |
| |
| declare i8* @mempcpy(i8*, i8*, i64) |
| |
| !0 = distinct !{!0, !"bax"} |
| !1 = distinct !{!1, !0, !"bax: %p"} |
| !2 = !{!1} |
| !3 = distinct !{!3, !0, !"bax: %q"} |
| !4 = !{!3} |