Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / a79ac14fa68297f9888bc70a10df5ed9b8864e38 / . / llvm / test / Analysis / BasicAA / phi-aa.ll
blob: 3944e9e435666fa2cd0a4fdee6c744c88d14b411 [file] [log] [blame]
Chandler Carruth5da53432012-07-02 18:37:59 +0000[diff] [blame]1; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
Arnold Schwaighofer0d10a9d2014-01-02 03:31:36 +0000[diff] [blame]2target 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"
3target triple = "x86_64-unknown-linux-gnu"
4
Evan Chengc10e88d2009-10-13 22:02:20 +0000[diff] [blame]5; rdar://7282591
6
Evan Chengc745bf22009-10-14 01:45:10 +0000[diff] [blame]7@X = common global i32 0
8@Y = common global i32 0
9@Z = common global i32 0
Evan Chengc10e88d2009-10-13 22:02:20 +0000[diff] [blame]10
Arnold Schwaighofer0d10a9d2014-01-02 03:31:36 +0000[diff] [blame]11; CHECK-LABEL: foo
Bill Wendlingcd6df162012-04-24 09:15:38 +0000[diff] [blame]12; CHECK: NoAlias: i32* %P, i32* @Z
13
Dan Gohman22e0e1c2010-11-11 21:08:46 +0000[diff] [blame]14define void @foo(i32 %cond) nounwind {
Evan Chengc10e88d2009-10-13 22:02:20 +0000[diff] [blame]15entry:
Evan Chengc745bf22009-10-14 01:45:10 +0000[diff] [blame]16 %"alloca point" = bitcast i32 0 to i32
17 %tmp = icmp ne i32 %cond, 0
18 br i1 %tmp, label %bb, label %bb1
Evan Chengc10e88d2009-10-13 22:02:20 +0000[diff] [blame]19
Evan Chengc745bf22009-10-14 01:45:10 +0000[diff] [blame]20bb:
21 br label %bb2
Evan Chengc10e88d2009-10-13 22:02:20 +0000[diff] [blame]22
Evan Chengc745bf22009-10-14 01:45:10 +0000[diff] [blame]23bb1:
24 br label %bb2
Evan Chengc10e88d2009-10-13 22:02:20 +0000[diff] [blame]25
Evan Chengc745bf22009-10-14 01:45:10 +0000[diff] [blame]26bb2:
27 %P = phi i32* [ @X, %bb ], [ @Y, %bb1 ]
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame^]28 %tmp1 = load i32, i32* @Z, align 4
Evan Chengc745bf22009-10-14 01:45:10 +0000[diff] [blame]29 store i32 123, i32* %P, align 4
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame^]30 %tmp2 = load i32, i32* @Z, align 4
Evan Chengc745bf22009-10-14 01:45:10 +0000[diff] [blame]31 br label %return
Evan Chengc10e88d2009-10-13 22:02:20 +0000[diff] [blame]32
Evan Chengc745bf22009-10-14 01:45:10 +0000[diff] [blame]33return:
Evan Chengc10e88d2009-10-13 22:02:20 +0000[diff] [blame]34 ret void
35}
Arnold Schwaighofer0d10a9d2014-01-02 03:31:36 +0000[diff] [blame]36
37; Pointers can vary in between iterations of loops.
38; PR18068
39
40; CHECK-LABEL: pr18068
41; CHECK: MayAlias: i32* %0, i32* %arrayidx5
Hal Finkel45ba2c12014-11-13 09:16:54 +0000[diff] [blame]42; CHECK: NoAlias: i32* %arrayidx13, i32* %arrayidx5
Arnold Schwaighofer0d10a9d2014-01-02 03:31:36 +0000[diff] [blame]43
Arnold Schwaighofer0d10a9d2014-01-02 03:31:36 +0000[diff] [blame]44define i32 @pr18068(i32* %jj7, i32* %j) {
45entry:
46 %oa5 = alloca [100 x i32], align 16
47 br label %codeRepl
48
49codeRepl:
50 %0 = phi i32* [ %arrayidx13, %for.body ], [ %j, %entry ]
51 %targetBlock = call i1 @cond(i32* %jj7)
52 br i1 %targetBlock, label %for.body, label %bye
53
54for.body:
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame^]55 %1 = load i32, i32* %jj7, align 4
Arnold Schwaighofer0d10a9d2014-01-02 03:31:36 +0000[diff] [blame]56 %idxprom4 = zext i32 %1 to i64
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]57 %arrayidx5 = getelementptr inbounds [100 x i32], [100 x i32]* %oa5, i64 0, i64 %idxprom4
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame^]58 %2 = load i32, i32* %arrayidx5, align 4
Arnold Schwaighofer0d10a9d2014-01-02 03:31:36 +0000[diff] [blame]59 %sub6 = sub i32 %2, 6
60 store i32 %sub6, i32* %arrayidx5, align 4
61 ; %0 and %arrayidx5 can alias! It is not safe to DSE the above store.
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame^]62 %3 = load i32, i32* %0, align 4
Arnold Schwaighofer0d10a9d2014-01-02 03:31:36 +0000[diff] [blame]63 store i32 %3, i32* %arrayidx5, align 4
64 %sub11 = add i32 %1, -1
65 %idxprom12 = zext i32 %sub11 to i64
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]66 %arrayidx13 = getelementptr inbounds [100 x i32], [100 x i32]* %oa5, i64 0, i64 %idxprom12
Arnold Schwaighofer0d10a9d2014-01-02 03:31:36 +0000[diff] [blame]67 call void @inc(i32* %jj7)
68 br label %codeRepl
69
70bye:
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame^]71 %.reload = load i32, i32* %jj7, align 4
Arnold Schwaighofer0d10a9d2014-01-02 03:31:36 +0000[diff] [blame]72 ret i32 %.reload
73}
74
75declare i1 @cond(i32*)
76
77declare void @inc(i32*)
78
79