| Ahmed Bougacha | 83f78a4 | 2015-04-17 22:20:57 +0000 | [diff] [blame^] | 1 | ; RUN: opt -memcpyopt -S %s | FileCheck %s |
| 2 | |
| 3 | target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" |
| 4 | |
| 5 | ; CHECK-LABEL: define void @test |
| 6 | ; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 %src_size, i32 1, i1 false) |
| 7 | ; CHECK-DAG: [[DST:%[0-9]+]] = getelementptr i8, i8* %dst, i64 %src_size |
| 8 | ; CHECK-DAG: [[ULE:%[0-9]+]] = icmp ule i64 %dst_size, %src_size |
| 9 | ; CHECK-DAG: [[SIZEDIFF:%[0-9]+]] = sub i64 %dst_size, %src_size |
| 10 | ; CHECK-DAG: [[SIZE:%[0-9]+]] = select i1 [[ULE]], i64 0, i64 [[SIZEDIFF]] |
| 11 | ; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* [[DST]], i8 0, i64 [[SIZE]], i32 1, i1 false) |
| 12 | ; CHECK-NEXT: ret void |
| 13 | define void @test(i8* %src, i64 %src_size, i8* %dst, i64 %dst_size) { |
| 14 | call void @llvm.memset.p0i8.i64(i8* %dst, i8 0, i64 %dst_size, i32 1, i1 false) |
| 15 | call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 %src_size, i32 1, i1 false) |
| 16 | ret void |
| 17 | } |
| 18 | |
| 19 | ; CHECK-LABEL: define void @test_align_same |
| 20 | ; CHECK: call void @llvm.memset.p0i8.i64(i8* {{.*}}, i8 0, i64 {{.*}}, i32 8, i1 false) |
| 21 | define void @test_align_same(i8* %src, i8* %dst, i64 %dst_size) { |
| 22 | call void @llvm.memset.p0i8.i64(i8* %dst, i8 0, i64 %dst_size, i32 8, i1 false) |
| 23 | call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 80, i32 1, i1 false) |
| 24 | ret void |
| 25 | } |
| 26 | |
| 27 | ; CHECK-LABEL: define void @test_align_min |
| 28 | ; CHECK: call void @llvm.memset.p0i8.i64(i8* {{.*}}, i8 0, i64 {{.*}}, i32 4, i1 false) |
| 29 | define void @test_align_min(i8* %src, i8* %dst, i64 %dst_size) { |
| 30 | call void @llvm.memset.p0i8.i64(i8* %dst, i8 0, i64 %dst_size, i32 8, i1 false) |
| 31 | call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 36, i32 1, i1 false) |
| 32 | ret void |
| 33 | } |
| 34 | |
| 35 | ; CHECK-LABEL: define void @test_align_memcpy |
| 36 | ; CHECK: call void @llvm.memset.p0i8.i64(i8* {{.*}}, i8 0, i64 {{.*}}, i32 8, i1 false) |
| 37 | define void @test_align_memcpy(i8* %src, i8* %dst, i64 %dst_size) { |
| 38 | call void @llvm.memset.p0i8.i64(i8* %dst, i8 0, i64 %dst_size, i32 1, i1 false) |
| 39 | call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 80, i32 8, i1 false) |
| 40 | ret void |
| 41 | } |
| 42 | |
| 43 | ; CHECK-LABEL: define void @test_different_dst |
| 44 | ; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* %dst, i8 0, i64 %dst_size, i32 1, i1 false) |
| 45 | ; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst2, i8* %src, i64 %src_size, i32 1, i1 false) |
| 46 | ; CHECK-NEXT: ret void |
| 47 | define void @test_different_dst(i8* %dst2, i8* %src, i64 %src_size, i8* %dst, i64 %dst_size) { |
| 48 | call void @llvm.memset.p0i8.i64(i8* %dst, i8 0, i64 %dst_size, i32 1, i1 false) |
| 49 | call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst2, i8* %src, i64 %src_size, i32 1, i1 false) |
| 50 | ret void |
| 51 | } |
| 52 | |
| 53 | declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) |
| 54 | declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture readonly, i64, i32, i1) |