Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 81fe1fbf4abd00b24e078a80cb15a2d2c1343f11 / . / llvm / test / Analysis / DependenceAnalysis / ZIV.ll
blob: b3216415c8e85f7777332f0c32603b811129910c [file] [log] [blame]
Sebastian Pop59b61b92012-10-11 07:32:34 +0000[diff] [blame]1; RUN: opt < %s -analyze -basicaa -da | FileCheck %s
2
3; ModuleID = 'ZIV.bc'
4target 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"
5target triple = "x86_64-apple-macosx10.6.0"
6
7
Benjamin Kramer3eb15632012-11-13 12:12:02 +0000[diff] [blame]8;; A[n + 1] = 0;
9;; *B = A[1 + n];
Sebastian Pop59b61b92012-10-11 07:32:34 +0000[diff] [blame]10
11define void @z0(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
12entry:
13 %add = add i64 %n, 1
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]14 %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add
Sebastian Pop59b61b92012-10-11 07:32:34 +0000[diff] [blame]15 store i32 0, i32* %arrayidx, align 4
Benjamin Kramer3eb15632012-11-13 12:12:02 +0000[diff] [blame]16
Preston Briggs5cb8cfa2012-11-27 19:12:26 +0000[diff] [blame]17; CHECK: da analyze - none!
Preston Briggsfd0b5c82012-11-30 00:44:47 +0000[diff] [blame]18; CHECK: da analyze - consistent flow [|<]!
Benjamin Kramer3eb15632012-11-13 12:12:02 +0000[diff] [blame]19; CHECK: da analyze - confused!
Preston Briggs5cb8cfa2012-11-27 19:12:26 +0000[diff] [blame]20; CHECK: da analyze - none!
Benjamin Kramer3eb15632012-11-13 12:12:02 +0000[diff] [blame]21; CHECK: da analyze - confused!
Preston Briggs5cb8cfa2012-11-27 19:12:26 +0000[diff] [blame]22; CHECK: da analyze - none!
Benjamin Kramer3eb15632012-11-13 12:12:02 +0000[diff] [blame]23
Sebastian Pop59b61b92012-10-11 07:32:34 +0000[diff] [blame]24 %add1 = add i64 %n, 1
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]25 %arrayidx2 = getelementptr inbounds i32, i32* %A, i64 %add1
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame]26 %0 = load i32, i32* %arrayidx2, align 4
Sebastian Pop59b61b92012-10-11 07:32:34 +0000[diff] [blame]27 store i32 %0, i32* %B, align 4
28 ret void
29}
30
31
Benjamin Kramer3eb15632012-11-13 12:12:02 +0000[diff] [blame]32;; A[n] = 0;
33;; *B = A[n + 1];
Sebastian Pop59b61b92012-10-11 07:32:34 +0000[diff] [blame]34
35define void @z1(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
36entry:
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]37 %arrayidx = getelementptr inbounds i32, i32* %A, i64 %n
Sebastian Pop59b61b92012-10-11 07:32:34 +0000[diff] [blame]38 store i32 0, i32* %arrayidx, align 4
Benjamin Kramer3eb15632012-11-13 12:12:02 +0000[diff] [blame]39
Preston Briggs5cb8cfa2012-11-27 19:12:26 +0000[diff] [blame]40; CHECK: da analyze - none!
Benjamin Kramer3eb15632012-11-13 12:12:02 +0000[diff] [blame]41; CHECK: da analyze - none!
42; CHECK: da analyze - confused!
Preston Briggs5cb8cfa2012-11-27 19:12:26 +0000[diff] [blame]43; CHECK: da analyze - none!
Benjamin Kramer3eb15632012-11-13 12:12:02 +0000[diff] [blame]44; CHECK: da analyze - confused!
Preston Briggs5cb8cfa2012-11-27 19:12:26 +0000[diff] [blame]45; CHECK: da analyze - none!
Benjamin Kramer3eb15632012-11-13 12:12:02 +0000[diff] [blame]46
Sebastian Pop59b61b92012-10-11 07:32:34 +0000[diff] [blame]47 %add = add i64 %n, 1
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]48 %arrayidx1 = getelementptr inbounds i32, i32* %A, i64 %add
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame]49 %0 = load i32, i32* %arrayidx1, align 4
Sebastian Pop59b61b92012-10-11 07:32:34 +0000[diff] [blame]50 store i32 %0, i32* %B, align 4
51 ret void
52}
53
54
Benjamin Kramer3eb15632012-11-13 12:12:02 +0000[diff] [blame]55;; A[n] = 0;
56;; *B = A[m];
Sebastian Pop59b61b92012-10-11 07:32:34 +0000[diff] [blame]57
58define void @z2(i32* %A, i32* %B, i64 %n, i64 %m) nounwind uwtable ssp {
59entry:
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]60 %arrayidx = getelementptr inbounds i32, i32* %A, i64 %n
Sebastian Pop59b61b92012-10-11 07:32:34 +0000[diff] [blame]61 store i32 0, i32* %arrayidx, align 4
Benjamin Kramer3eb15632012-11-13 12:12:02 +0000[diff] [blame]62
Preston Briggs5cb8cfa2012-11-27 19:12:26 +0000[diff] [blame]63; CHECK: da analyze - none!
Preston Briggsfd0b5c82012-11-30 00:44:47 +0000[diff] [blame]64; CHECK: da analyze - flow [|<]!
Benjamin Kramer3eb15632012-11-13 12:12:02 +0000[diff] [blame]65; CHECK: da analyze - confused!
Preston Briggs5cb8cfa2012-11-27 19:12:26 +0000[diff] [blame]66; CHECK: da analyze - none!
Benjamin Kramer3eb15632012-11-13 12:12:02 +0000[diff] [blame]67; CHECK: da analyze - confused!
Preston Briggs5cb8cfa2012-11-27 19:12:26 +0000[diff] [blame]68; CHECK: da analyze - none!
Benjamin Kramer3eb15632012-11-13 12:12:02 +0000[diff] [blame]69
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]70 %arrayidx1 = getelementptr inbounds i32, i32* %A, i64 %m
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame]71 %0 = load i32, i32* %arrayidx1, align 4
Sebastian Pop59b61b92012-10-11 07:32:34 +0000[diff] [blame]72 store i32 %0, i32* %B, align 4
73 ret void
74}