Mercurial > hg > CbC > CbC_llvm

comparison test/Analysis/BasicAA/2003-11-04-SimpleCases.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. 2 ; resolvable by basicaa.
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 5
6 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
7
6 %T = type { i32, [10 x i8] } 8 %T = type { i32, [10 x i8] }
7 9
8 ; CHECK: Function: test 10 ; CHECK: Function: test
9 ; CHECK-NOT: May: 11 ; CHECK-NOT: MayAlias:
10 12
11 define void @test(%T* %P) { 13 define void @test(%T* %P) {
12 %A = getelementptr %T* %P, i64 0 14 %A = getelementptr %T* %P, i64 0
13 %B = getelementptr %T* %P, i64 0, i32 0 15 %B = getelementptr %T* %P, i64 0, i32 0
14 %C = getelementptr %T* %P, i64 0, i32 1 16 %C = getelementptr %T* %P, i64 0, i32 1