Mercurial > hg > CbC > CbC_llvm

comparison test/Analysis/BasicAA/2003-12-11-ConstExprGEP.ll @ 83:60c9769439b8 LLVM3.7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 3.7
author Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
date Wed, 18 Feb 2015 14:55:36 +0900
parents 95c75e76d11b
children afa8332a0e37
comparison
equal deleted inserted replaced
78:af83660cff7b 83:60c9769439b8
1 ; This testcase consists of alias relations which should be completely 1 ; This testcase consists of alias relations which should be completely
2 ; resolvable by basicaa, but require analysis of getelementptr constant exprs. 2 ; resolvable by basicaa, but require analysis of getelementptr constant exprs.
3 3
4 ; RUN: opt < %s -basicaa -aa-eval -print-may-aliases -disable-output 2>&1 | FileCheck %s 4 ; RUN: opt < %s -basicaa -aa-eval -print-may-aliases -disable-output 2>&1 | FileCheck %s
5
6 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
5 7
6 %T = type { i32, [10 x i8] } 8 %T = type { i32, [10 x i8] }
7 9
8 @G = external global %T 10 @G = external global %T
9 11
10 ; CHECK: Function: test 12 ; CHECK: Function: test
11 ; CHECK-NOT: May: 13 ; CHECK-NOT: MayAlias:
12 14
13 define void @test() { 15 define void @test() {
14 %D = getelementptr %T* @G, i64 0, i32 0 16 %D = getelementptr %T* @G, i64 0, i32 0
15 %E = getelementptr %T* @G, i64 0, i32 1, i64 5 17 %E = getelementptr %T* @G, i64 0, i32 1, i64 5
16 %F = getelementptr i32* getelementptr (%T* @G, i64 0, i32 0), i64 0 18 %F = getelementptr i32* getelementptr (%T* @G, i64 0, i32 0), i64 0