diff options
Diffstat (limited to 'llvm/test/Transforms/MemCpyOpt/load-store-to-memcpy.ll')
-rw-r--r-- | llvm/test/Transforms/MemCpyOpt/load-store-to-memcpy.ll | 64 |
1 files changed, 0 insertions, 64 deletions
diff --git a/llvm/test/Transforms/MemCpyOpt/load-store-to-memcpy.ll b/llvm/test/Transforms/MemCpyOpt/load-store-to-memcpy.ll deleted file mode 100644 index 9dbba093fe2..00000000000 --- a/llvm/test/Transforms/MemCpyOpt/load-store-to-memcpy.ll +++ /dev/null @@ -1,64 +0,0 @@ -; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt -basicaa -scoped-noalias -memcpyopt -S %s | FileCheck %s - -%T = type { i8, i32 } - -; Ensure load-store forwarding of an aggregate is interpreted as -; a memmove when the source and dest may alias -define void @test_memmove(%T* align 8 %a, %T* align 16 %b) { -; CHECK-LABEL: @test_memmove( -; CHECK-NEXT: [[TMP1:%.*]] = bitcast %T* [[B:%.*]] to i8* -; CHECK-NEXT: [[TMP2:%.*]] = bitcast %T* [[A:%.*]] to i8* -; CHECK-NEXT: call void @llvm.memmove.p0i8.p0i8.i64(i8* align 16 [[TMP1]], i8* align 8 [[TMP2]], i64 8, i1 false) -; CHECK-NEXT: ret void -; - %val = load %T, %T* %a, align 8 - store %T %val, %T* %b, align 16 - ret void -} - -; Ensure load-store forwarding of an aggregate is interpreted as -; a memcpy when the source and dest do not alias -define void @test_memcpy(%T* noalias align 8 %a, %T* noalias align 16 %b) { -; CHECK-LABEL: @test_memcpy( -; CHECK-NEXT: [[TMP1:%.*]] = bitcast %T* [[B:%.*]] to i8* -; CHECK-NEXT: [[TMP2:%.*]] = bitcast %T* [[A:%.*]] to i8* -; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 16 [[TMP1]], i8* align 8 [[TMP2]], i64 8, i1 false) -; CHECK-NEXT: ret void -; - %val = load %T, %T* %a, align 8 - store %T %val, %T* %b, align 16 - ret void -} - -; memcpy(%d, %a) should not be generated since store2 may-aliases load %a. -define void @f(%T* %a, %T* %b, %T* %c, %T* %d) { -; CHECK-LABEL: @f( -; CHECK-NEXT: [[VAL:%.*]] = load %T, %T* %a, !alias.scope !0 -; CHECK-NEXT: store %T { i8 23, i32 23 }, %T* %b, !alias.scope !3 -; CHECK-NEXT: store %T { i8 44, i32 44 }, %T* %c, !alias.scope !6, !noalias !3 -; CHECK-NEXT: store %T [[VAL]], %T* %d, !alias.scope !9, !noalias !12 -; CHECK-NEXT: ret void -; - %val = load %T, %T* %a, !alias.scope !{!10} - - ; store1 may-aliases the load - store %T { i8 23, i32 23 }, %T* %b, !alias.scope !{!11} - - ; store2 may-aliases the load and store3 - store %T { i8 44, i32 44 }, %T* %c, !alias.scope !{!12}, !noalias !{!11} - - ; store3 - store %T %val, %T* %d, !alias.scope !{!13}, !noalias !{!10, !11} - ret void -} - -!0 = !{!0} -!1 = !{!1} -!2 = !{!2} -!3 = !{!3} - -!10 = !{ !10, !0 } -!11 = !{ !11, !1 } -!12 = !{ !12, !2 } -!13 = !{ !13, !3 } |