diff options
Diffstat (limited to 'llvm/test/Transforms/InstCombine/memcpy-1.ll')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/memcpy-1.ll | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/llvm/test/Transforms/InstCombine/memcpy-1.ll b/llvm/test/Transforms/InstCombine/memcpy-1.ll index dceb7c39286..822a9d49646 100644 --- a/llvm/test/Transforms/InstCombine/memcpy-1.ll +++ b/llvm/test/Transforms/InstCombine/memcpy-1.ll @@ -1,3 +1,4 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; Test that the memcpy library call simplifier works correctly. ; ; RUN: opt < %s -instcombine -S | FileCheck %s @@ -10,8 +11,8 @@ declare i8* @memcpy(i8*, i8*, i32) define i8* @test_simplify1(i8* %mem1, i8* %mem2, i32 %size) { ; CHECK-LABEL: @test_simplify1( -; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 %mem1, i8* align 1 %mem2, i32 %size, i1 false) -; CHECK-NEXT: ret i8* %mem1 +; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i32(i8* noalias align 1 [[MEM1:%.*]], i8* noalias align 1 [[MEM2:%.*]], i32 [[SIZE:%.*]], i1 false) +; CHECK-NEXT: ret i8* [[MEM1]] ; %ret = call i8* @memcpy(i8* %mem1, i8* %mem2, i32 %size) ret i8* %ret @@ -21,8 +22,9 @@ define i8* @test_simplify1(i8* %mem1, i8* %mem2, i32 %size) { define i8* @test_simplify2(i8* %mem1, i8* %mem2, i32 %size) { ; CHECK-LABEL: @test_simplify2( +; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i32(i8* noalias align 1 [[MEM1:%.*]], i8* noalias align 1 [[MEM2:%.*]], i32 [[SIZE:%.*]], i1 false) +; CHECK-NEXT: ret i8* [[MEM1]] +; %ret = call i8* @memcpy(i8* %mem1, i8* %mem2, i32 %size) strictfp -; CHECK: call void @llvm.memcpy ret i8* %ret -; CHECK: ret i8* %mem1 } |
