Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / f8fa3b8d4bf52469849cce574134c903ea58ed7d / . / llvm / test / Transforms / MemCpyOpt / memset-memcpy-to-2x-memset.ll
blob: 1c567042ce79214b546d3511725d995e74f2a10a [file] [log] [blame]
Ahmed Bougachaf8fa3b82015-05-16 01:32:26 +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.memset.p0i8.i64(i8* %dst1, i8 %c, i64 128, i32 1, i1 false)
7; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* %dst2, i8 %c, i64 128, i32 8, i1 false)
8; CHECK-NEXT: ret void
9define void @test(i8* %dst1, i8* %dst2, i8 %c) {
10 call void @llvm.memset.p0i8.i64(i8* %dst1, i8 %c, i64 128, i32 1, i1 false)
11 call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst2, i8* %dst1, i64 128, i32 8, i1 false)
12 ret void
13}
14
15; CHECK-LABEL: define void @test_smaller_memcpy(
16; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* %dst1, i8 %c, i64 128, i32 1, i1 false)
17; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* %dst2, i8 %c, i64 100, i32 1, i1 false)
18; CHECK-NEXT: ret void
19define void @test_smaller_memcpy(i8* %dst1, i8* %dst2, i8 %c) {
20 call void @llvm.memset.p0i8.i64(i8* %dst1, i8 %c, i64 128, i32 1, i1 false)
21 call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst2, i8* %dst1, i64 100, i32 1, i1 false)
22 ret void
23}
24
25; CHECK-LABEL: define void @test_smaller_memset(
26; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* %dst1, i8 %c, i64 100, i32 1, i1 false)
27; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst2, i8* %dst1, i64 128, i32 1, i1 false)
28; CHECK-NEXT: ret void
29define void @test_smaller_memset(i8* %dst1, i8* %dst2, i8 %c) {
30 call void @llvm.memset.p0i8.i64(i8* %dst1, i8 %c, i64 100, i32 1, i1 false)
31 call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst2, i8* %dst1, i64 128, i32 1, i1 false)
32 ret void
33}
34
35; CHECK-LABEL: define void @test_align_memset(
36; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* %dst1, i8 %c, i64 128, i32 8, i1 false)
37; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* %dst2, i8 %c, i64 128, i32 1, i1 false)
38; CHECK-NEXT: ret void
39define void @test_align_memset(i8* %dst1, i8* %dst2, i8 %c) {
40 call void @llvm.memset.p0i8.i64(i8* %dst1, i8 %c, i64 128, i32 8, i1 false)
41 call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst2, i8* %dst1, i64 128, i32 1, i1 false)
42 ret void
43}
44
45; CHECK-LABEL: define void @test_different_types(
46; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* %dst1, i8 %c, i64 128, i32 8, i1 false)
47; CHECK-NEXT: call void @llvm.memset.p0i8.i32(i8* %dst2, i8 %c, i32 100, i32 1, i1 false)
48; CHECK-NEXT: ret void
49define void @test_different_types(i8* %dst1, i8* %dst2, i8 %c) {
50 call void @llvm.memset.p0i8.i64(i8* %dst1, i8 %c, i64 128, i32 8, i1 false)
51 call void @llvm.memcpy.p0i8.p0i8.i32(i8* %dst2, i8* %dst1, i32 100, i32 1, i1 false)
52 ret void
53}
54
55; CHECK-LABEL: define void @test_different_types_2(
56; CHECK-NEXT: call void @llvm.memset.p0i8.i32(i8* %dst1, i8 %c, i32 128, i32 8, i1 false)
57; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* %dst2, i8 %c, i64 100, i32 1, i1 false)
58; CHECK-NEXT: ret void
59define void @test_different_types_2(i8* %dst1, i8* %dst2, i8 %c) {
60 call void @llvm.memset.p0i8.i32(i8* %dst1, i8 %c, i32 128, i32 8, i1 false)
61 call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst2, i8* %dst1, i64 100, i32 1, i1 false)
62 ret void
63}
64
65; CHECK-LABEL: define void @test_different_source_gep(
66; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* %dst1, i8 %c, i64 128, i32 1, i1 false)
67; CHECK-NEXT: %p = getelementptr i8, i8* %dst1, i64 64
68; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst2, i8* %p, i64 64, i32 1, i1 false)
69; CHECK-NEXT: ret void
70define void @test_different_source_gep(i8* %dst1, i8* %dst2, i8 %c) {
71 call void @llvm.memset.p0i8.i64(i8* %dst1, i8 %c, i64 128, i32 1, i1 false)
72 ; FIXME: We could optimize this as well.
73 %p = getelementptr i8, i8* %dst1, i64 64
74 call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst2, i8* %p, i64 64, i32 1, i1 false)
75 ret void
76}
77
78; CHECK-LABEL: define void @test_variable_size_1(
79; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* %dst1, i8 %c, i64 %dst1_size, i32 1, i1 false)
80; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst2, i8* %dst1, i64 128, i32 1, i1 false)
81; CHECK-NEXT: ret void
82define void @test_variable_size_1(i8* %dst1, i64 %dst1_size, i8* %dst2, i8 %c) {
83 call void @llvm.memset.p0i8.i64(i8* %dst1, i8 %c, i64 %dst1_size, i32 1, i1 false)
84 call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst2, i8* %dst1, i64 128, i32 1, i1 false)
85 ret void
86}
87
88; CHECK-LABEL: define void @test_variable_size_2(
89; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* %dst1, i8 %c, i64 128, i32 1, i1 false)
90; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst2, i8* %dst1, i64 %dst2_size, i32 1, i1 false)
91; CHECK-NEXT: ret void
92define void @test_variable_size_2(i8* %dst1, i8* %dst2, i64 %dst2_size, i8 %c) {
93 call void @llvm.memset.p0i8.i64(i8* %dst1, i8 %c, i64 128, i32 1, i1 false)
94 call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst2, i8* %dst1, i64 %dst2_size, i32 1, i1 false)
95 ret void
96}
97
98declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1)
99declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture readonly, i64, i32, i1)
100declare void @llvm.memset.p0i8.i32(i8* nocapture, i8, i32, i32, i1)
101declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture readonly, i32, i32, i1)