Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 8af2387b91cfcc1ac152f55307b86d76bbd55170 / . / llvm / test / Transforms / LoopVectorize / lifetime.ll
blob: 860fe2d983cdf1ea29feb7ef0ad264fafc87c616 [file] [log] [blame]
Sanjay Patelb653de12014-09-10 17:58:16 +0000[diff] [blame]1; RUN: opt -S -loop-vectorize -force-vector-width=2 -force-vector-interleave=1 < %s | FileCheck %s
Arnold Schwaighofera7cd6bf2013-08-06 22:37:52 +0000[diff] [blame]2
3target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
4
5; Make sure we can vectorize loops which contain lifetime markers.
6
Matt Arsenaulte64c7c72013-10-02 20:29:00 +0000[diff] [blame]7; CHECK-LABEL: @test(
Arnold Schwaighofera7cd6bf2013-08-06 22:37:52 +0000[diff] [blame]8; CHECK: call void @llvm.lifetime.end
9; CHECK: store <2 x i32>
10; CHECK: call void @llvm.lifetime.start
11
12define void @test(i32 *%d) {
13entry:
14 %arr = alloca [1024 x i32], align 16
15 %0 = bitcast [1024 x i32]* %arr to i8*
Matt Arsenaultf10061e2017-04-10 20:18:21 +0000[diff] [blame]16 call void @llvm.lifetime.start.p0i8(i64 4096, i8* %0) #1
Arnold Schwaighofera7cd6bf2013-08-06 22:37:52 +0000[diff] [blame]17 br label %for.body
18
19for.body:
20 %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]
Matt Arsenaultf10061e2017-04-10 20:18:21 +0000[diff] [blame]21 call void @llvm.lifetime.end.p0i8(i64 4096, i8* %0) #1
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]22 %arrayidx = getelementptr inbounds i32, i32* %d, i64 %indvars.iv
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame]23 %1 = load i32, i32* %arrayidx, align 8
Arnold Schwaighofera7cd6bf2013-08-06 22:37:52 +0000[diff] [blame]24 store i32 100, i32* %arrayidx, align 8
Matt Arsenaultf10061e2017-04-10 20:18:21 +0000[diff] [blame]25 call void @llvm.lifetime.start.p0i8(i64 4096, i8* %0) #1
Arnold Schwaighofera7cd6bf2013-08-06 22:37:52 +0000[diff] [blame]26 %indvars.iv.next = add i64 %indvars.iv, 1
27 %lftr.wideiv = trunc i64 %indvars.iv.next to i32
28 %exitcond = icmp ne i32 %lftr.wideiv, 128
29 br i1 %exitcond, label %for.body, label %for.end
30
31for.end:
Matt Arsenaultf10061e2017-04-10 20:18:21 +0000[diff] [blame]32 call void @llvm.lifetime.end.p0i8(i64 4096, i8* %0) #1
Arnold Schwaighofera7cd6bf2013-08-06 22:37:52 +0000[diff] [blame]33 ret void
34}
35
Matt Arsenaulte64c7c72013-10-02 20:29:00 +0000[diff] [blame]36; CHECK-LABEL: @testbitcast(
Arnold Schwaighofera7cd6bf2013-08-06 22:37:52 +0000[diff] [blame]37; CHECK: call void @llvm.lifetime.end
38; CHECK: store <2 x i32>
39; CHECK: call void @llvm.lifetime.start
40
41define void @testbitcast(i32 *%d) {
42entry:
43 %arr = alloca [1024 x i32], align 16
44 %0 = bitcast [1024 x i32]* %arr to i8*
Matt Arsenaultf10061e2017-04-10 20:18:21 +0000[diff] [blame]45 call void @llvm.lifetime.start.p0i8(i64 4096, i8* %0) #1
Arnold Schwaighofera7cd6bf2013-08-06 22:37:52 +0000[diff] [blame]46 br label %for.body
47
48for.body:
49 %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]
50 %1 = bitcast [1024 x i32]* %arr to i8*
Matt Arsenaultf10061e2017-04-10 20:18:21 +0000[diff] [blame]51 call void @llvm.lifetime.end.p0i8(i64 4096, i8* %1) #1
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]52 %arrayidx = getelementptr inbounds i32, i32* %d, i64 %indvars.iv
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame]53 %2 = load i32, i32* %arrayidx, align 8
Arnold Schwaighofera7cd6bf2013-08-06 22:37:52 +0000[diff] [blame]54 store i32 100, i32* %arrayidx, align 8
Matt Arsenaultf10061e2017-04-10 20:18:21 +0000[diff] [blame]55 call void @llvm.lifetime.start.p0i8(i64 4096, i8* %1) #1
Arnold Schwaighofera7cd6bf2013-08-06 22:37:52 +0000[diff] [blame]56 %indvars.iv.next = add i64 %indvars.iv, 1
57 %lftr.wideiv = trunc i64 %indvars.iv.next to i32
58 %exitcond = icmp ne i32 %lftr.wideiv, 128
59 br i1 %exitcond, label %for.body, label %for.end
60
61for.end:
Matt Arsenaultf10061e2017-04-10 20:18:21 +0000[diff] [blame]62 call void @llvm.lifetime.end.p0i8(i64 4096, i8* %0) #1
Arnold Schwaighofera7cd6bf2013-08-06 22:37:52 +0000[diff] [blame]63 ret void
64}
65
Matt Arsenaulte64c7c72013-10-02 20:29:00 +0000[diff] [blame]66; CHECK-LABEL: @testloopvariant(
Arnold Schwaighofera7cd6bf2013-08-06 22:37:52 +0000[diff] [blame]67; CHECK: call void @llvm.lifetime.end
68; CHECK: store <2 x i32>
69; CHECK: call void @llvm.lifetime.start
70
71define void @testloopvariant(i32 *%d) {
72entry:
73 %arr = alloca [1024 x i32], align 16
74 br label %for.body
75
76for.body:
77 %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]78 %0 = getelementptr [1024 x i32], [1024 x i32]* %arr, i32 0, i64 %indvars.iv
Arnold Schwaighofera7cd6bf2013-08-06 22:37:52 +0000[diff] [blame]79 %1 = bitcast [1024 x i32]* %arr to i8*
Matt Arsenaultf10061e2017-04-10 20:18:21 +0000[diff] [blame]80 call void @llvm.lifetime.end.p0i8(i64 4096, i8* %1) #1
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]81 %arrayidx = getelementptr inbounds i32, i32* %d, i64 %indvars.iv
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame]82 %2 = load i32, i32* %arrayidx, align 8
Arnold Schwaighofera7cd6bf2013-08-06 22:37:52 +0000[diff] [blame]83 store i32 100, i32* %arrayidx, align 8
Matt Arsenaultf10061e2017-04-10 20:18:21 +0000[diff] [blame]84 call void @llvm.lifetime.start.p0i8(i64 4096, i8* %1) #1
Arnold Schwaighofera7cd6bf2013-08-06 22:37:52 +0000[diff] [blame]85 %indvars.iv.next = add i64 %indvars.iv, 1
86 %lftr.wideiv = trunc i64 %indvars.iv.next to i32
87 %exitcond = icmp ne i32 %lftr.wideiv, 128
88 br i1 %exitcond, label %for.body, label %for.end
89
90for.end:
91 ret void
92}
93
Matt Arsenaultf10061e2017-04-10 20:18:21 +0000[diff] [blame]94declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) #1
Arnold Schwaighofera7cd6bf2013-08-06 22:37:52 +0000[diff] [blame]95
Matt Arsenaultf10061e2017-04-10 20:18:21 +0000[diff] [blame]96declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) #1