Mercurial > hg > CbC > CbC_llvm

annotate test/Analysis/BasicAA/bug.23626.ll @ 121:803732b1fca8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 5.0
author kono
date Fri, 27 Oct 2017 17:07:41 +0900
parents afa8332a0e37
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 ; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 target triple = "x86_64-apple-darwin13.4.0"
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 ; CHECK-LABEL: compute1
121
803732b1fca8 LLVM 5.0
kono
parents: 95
diff changeset
6 ; CHECK: MayAlias: i32* %arrayidx8, i32* %out
803732b1fca8 LLVM 5.0
kono
parents: 95
diff changeset
7 ; CHECK: MayAlias: i32* %arrayidx11, i32* %out
803732b1fca8 LLVM 5.0
kono
parents: 95
diff changeset
8 ; CHECK: MayAlias: i32* %arrayidx11, i32* %arrayidx8
803732b1fca8 LLVM 5.0
kono
parents: 95
diff changeset
9 ; CHECK: MayAlias: i32* %arrayidx14, i32* %out
803732b1fca8 LLVM 5.0
kono
parents: 95
diff changeset
10 ; CHECK: MayAlias: i32* %arrayidx14, i32* %arrayidx8
803732b1fca8 LLVM 5.0
kono
parents: 95
diff changeset
11 ; CHECK: MayAlias: i32* %arrayidx11, i32* %arrayidx14
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 define void @compute1(i32 %num.0.lcssa, i32* %out) {
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 %idxprom = zext i32 %num.0.lcssa to i64
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 %arrayidx8 = getelementptr inbounds i32, i32* %out, i64 %idxprom
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 %add9 = or i32 %num.0.lcssa, 1
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 %idxprom10 = zext i32 %add9 to i64
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 %arrayidx11 = getelementptr inbounds i32, i32* %out, i64 %idxprom10
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 %add12 = or i32 %num.0.lcssa, 2
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 %idxprom13 = zext i32 %add12 to i64
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 %arrayidx14 = getelementptr inbounds i32, i32* %out, i64 %idxprom13
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 ret void
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 }
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 ; CHECK-LABEL: compute2
121
803732b1fca8 LLVM 5.0
kono
parents: 95
diff changeset
25 ; CHECK: MayAlias: i32* %arrayidx11, i32* %out.addr
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 define void @compute2(i32 %num, i32* %out.addr) {
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 %add9 = add i32 %num, 1
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 %idxprom10 = zext i32 %add9 to i64
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 %arrayidx11 = getelementptr inbounds i32, i32* %out.addr, i64 %idxprom10
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 ret void
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 }