Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 05b72c1fd868b0d3c9596680e63a9de59860f3d1 / . / llvm / test / Transforms / MemCpyOpt / memset-memcpy-redundant-memset.ll
blob: 5d3ef6bfd00d5c7e3540cd48ec3065f722cefbb0 [file] [log] [blame]
Ahmed Bougacha83f78a42015-04-17 22:20:57 +0000[diff] [blame]1; RUN: opt -memcpyopt -S %s | FileCheck %s
2
3target 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]]
Ahmed Bougacha7216ccc2015-04-18 17:57:41 +0000[diff] [blame]11; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* [[DST]], i8 %c, i64 [[SIZE]], i32 1, i1 false)
Ahmed Bougacha83f78a42015-04-17 22:20:57 +0000[diff] [blame]12; CHECK-NEXT: ret void
Ahmed Bougacha7216ccc2015-04-18 17:57:41 +0000[diff] [blame]13define void @test(i8* %src, i64 %src_size, i8* %dst, i64 %dst_size, i8 %c) {
14 call void @llvm.memset.p0i8.i64(i8* %dst, i8 %c, i64 %dst_size, i32 1, i1 false)
Ahmed Bougacha83f78a42015-04-17 22:20:57 +0000[diff] [blame]15 call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 %src_size, i32 1, i1 false)
16 ret void
17}
18
Ahmed Bougacha7216ccc2015-04-18 17:57:41 +0000[diff] [blame]19; CHECK-LABEL: define void @test_different_types_i32_i64
20; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 %src_size, i32 1, i1 false)
21; CHECK-DAG: [[DSTSIZE:%[0-9]+]] = zext i32 %dst_size to i64
22; CHECK-DAG: [[DST:%[0-9]+]] = getelementptr i8, i8* %dst, i64 %src_size
23; CHECK-DAG: [[ULE:%[0-9]+]] = icmp ule i64 [[DSTSIZE]], %src_size
24; CHECK-DAG: [[SIZEDIFF:%[0-9]+]] = sub i64 [[DSTSIZE]], %src_size
25; CHECK-DAG: [[SIZE:%[0-9]+]] = select i1 [[ULE]], i64 0, i64 [[SIZEDIFF]]
26; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* [[DST]], i8 %c, i64 [[SIZE]], i32 1, i1 false)
27; CHECK-NEXT: ret void
28define void @test_different_types_i32_i64(i8* %dst, i8* %src, i32 %dst_size, i64 %src_size, i8 %c) {
29 call void @llvm.memset.p0i8.i32(i8* %dst, i8 %c, i32 %dst_size, i32 1, i1 false)
30 call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 %src_size, i32 1, i1 false)
31 ret void
32}
33
Ahmed Bougacha05b72c12015-04-18 23:06:04 +0000[diff] [blame^]34; CHECK-LABEL: define void @test_different_types_i128_i32
35; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i32(i8* %dst, i8* %src, i32 %src_size, i32 1, i1 false)
36; CHECK-DAG: [[SRCSIZE:%[0-9]+]] = zext i32 %src_size to i128
37; CHECK-DAG: [[DST:%[0-9]+]] = getelementptr i8, i8* %dst, i128 [[SRCSIZE]]
38; CHECK-DAG: [[ULE:%[0-9]+]] = icmp ule i128 %dst_size, [[SRCSIZE]]
39; CHECK-DAG: [[SIZEDIFF:%[0-9]+]] = sub i128 %dst_size, [[SRCSIZE]]
40; CHECK-DAG: [[SIZE:%[0-9]+]] = select i1 [[ULE]], i128 0, i128 [[SIZEDIFF]]
41; CHECK-NEXT: call void @llvm.memset.p0i8.i128(i8* [[DST]], i8 %c, i128 [[SIZE]], i32 1, i1 false)
42; CHECK-NEXT: ret void
43define void @test_different_types_i128_i32(i8* %dst, i8* %src, i128 %dst_size, i32 %src_size, i8 %c) {
44 call void @llvm.memset.p0i8.i128(i8* %dst, i8 %c, i128 %dst_size, i32 1, i1 false)
45 call void @llvm.memcpy.p0i8.p0i8.i32(i8* %dst, i8* %src, i32 %src_size, i32 1, i1 false)
46 ret void
47}
48
49; CHECK-LABEL: define void @test_different_types_i32_i128
50; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i128(i8* %dst, i8* %src, i128 %src_size, i32 1, i1 false)
51; CHECK-DAG: [[DSTSIZE:%[0-9]+]] = zext i32 %dst_size to i128
52; CHECK-DAG: [[DST:%[0-9]+]] = getelementptr i8, i8* %dst, i128 %src_size
53; CHECK-DAG: [[ULE:%[0-9]+]] = icmp ule i128 [[DSTSIZE]], %src_size
54; CHECK-DAG: [[SIZEDIFF:%[0-9]+]] = sub i128 [[DSTSIZE]], %src_size
55; CHECK-DAG: [[SIZE:%[0-9]+]] = select i1 [[ULE]], i128 0, i128 [[SIZEDIFF]]
56; CHECK-NEXT: call void @llvm.memset.p0i8.i128(i8* [[DST]], i8 %c, i128 [[SIZE]], i32 1, i1 false)
57; CHECK-NEXT: ret void
58define void @test_different_types_i32_i128(i8* %dst, i8* %src, i32 %dst_size, i128 %src_size, i8 %c) {
59 call void @llvm.memset.p0i8.i32(i8* %dst, i8 %c, i32 %dst_size, i32 1, i1 false)
60 call void @llvm.memcpy.p0i8.p0i8.i128(i8* %dst, i8* %src, i128 %src_size, i32 1, i1 false)
61 ret void
62}
63
Ahmed Bougacha7216ccc2015-04-18 17:57:41 +0000[diff] [blame]64; CHECK-LABEL: define void @test_different_types_i64_i32
65; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i32(i8* %dst, i8* %src, i32 %src_size, i32 1, i1 false)
66; CHECK-DAG: [[SRCSIZE:%[0-9]+]] = zext i32 %src_size to i64
67; CHECK-DAG: [[DST:%[0-9]+]] = getelementptr i8, i8* %dst, i64 [[SRCSIZE]]
68; CHECK-DAG: [[ULE:%[0-9]+]] = icmp ule i64 %dst_size, [[SRCSIZE]]
69; CHECK-DAG: [[SIZEDIFF:%[0-9]+]] = sub i64 %dst_size, [[SRCSIZE]]
70; CHECK-DAG: [[SIZE:%[0-9]+]] = select i1 [[ULE]], i64 0, i64 [[SIZEDIFF]]
71; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* [[DST]], i8 %c, i64 [[SIZE]], i32 1, i1 false)
72; CHECK-NEXT: ret void
73define void @test_different_types_i64_i32(i8* %dst, i8* %src, i64 %dst_size, i32 %src_size, i8 %c) {
74 call void @llvm.memset.p0i8.i64(i8* %dst, i8 %c, i64 %dst_size, i32 1, i1 false)
75 call void @llvm.memcpy.p0i8.p0i8.i32(i8* %dst, i8* %src, i32 %src_size, i32 1, i1 false)
76 ret void
77}
78
Ahmed Bougacha83f78a42015-04-17 22:20:57 +0000[diff] [blame]79; CHECK-LABEL: define void @test_align_same
80; CHECK: call void @llvm.memset.p0i8.i64(i8* {{.*}}, i8 0, i64 {{.*}}, i32 8, i1 false)
81define void @test_align_same(i8* %src, i8* %dst, i64 %dst_size) {
82 call void @llvm.memset.p0i8.i64(i8* %dst, i8 0, i64 %dst_size, i32 8, i1 false)
83 call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 80, i32 1, i1 false)
84 ret void
85}
86
87; CHECK-LABEL: define void @test_align_min
88; CHECK: call void @llvm.memset.p0i8.i64(i8* {{.*}}, i8 0, i64 {{.*}}, i32 4, i1 false)
89define void @test_align_min(i8* %src, i8* %dst, i64 %dst_size) {
90 call void @llvm.memset.p0i8.i64(i8* %dst, i8 0, i64 %dst_size, i32 8, i1 false)
91 call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 36, i32 1, i1 false)
92 ret void
93}
94
95; CHECK-LABEL: define void @test_align_memcpy
96; CHECK: call void @llvm.memset.p0i8.i64(i8* {{.*}}, i8 0, i64 {{.*}}, i32 8, i1 false)
97define void @test_align_memcpy(i8* %src, i8* %dst, i64 %dst_size) {
98 call void @llvm.memset.p0i8.i64(i8* %dst, i8 0, i64 %dst_size, i32 1, i1 false)
99 call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 80, i32 8, i1 false)
100 ret void
101}
102
103; CHECK-LABEL: define void @test_different_dst
104; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* %dst, i8 0, i64 %dst_size, i32 1, i1 false)
105; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst2, i8* %src, i64 %src_size, i32 1, i1 false)
106; CHECK-NEXT: ret void
107define void @test_different_dst(i8* %dst2, i8* %src, i64 %src_size, i8* %dst, i64 %dst_size) {
108 call void @llvm.memset.p0i8.i64(i8* %dst, i8 0, i64 %dst_size, i32 1, i1 false)
109 call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst2, i8* %src, i64 %src_size, i32 1, i1 false)
110 ret void
111}
112
113declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1)
114declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture readonly, i64, i32, i1)
Ahmed Bougacha7216ccc2015-04-18 17:57:41 +0000[diff] [blame]115declare void @llvm.memset.p0i8.i32(i8* nocapture, i8, i32, i32, i1)
116declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture readonly, i32, i32, i1)
Ahmed Bougacha05b72c12015-04-18 23:06:04 +0000[diff] [blame^]117declare void @llvm.memset.p0i8.i128(i8* nocapture, i8, i128, i32, i1)
118declare void @llvm.memcpy.p0i8.p0i8.i128(i8* nocapture, i8* nocapture readonly, i128, i32, i1)