[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Analysis / CFLAliasAnalysis / Steensgaard / simple.ll
blob17b48d48b0f248ab02f689ddd082632f52e21f2d
1 ; This testcase consists of alias relations which should be completely
2 ; resolvable by cfl-steens-aa (derived from BasicAA/2003-11-04-SimpleCases.ll).
4 ; RUN: opt < %s -cfl-steens-aa -aa-eval -print-may-aliases -disable-output 2>&1 | FileCheck %s
6 %T = type { i32, [10 x i8] }
8 ; CHECK:     Function: test
9 ; CHECK-NOT:   May:
11 define void @test(%T* %P) {
12   %A = getelementptr %T, %T* %P, i64 0
13   %B = getelementptr %T, %T* %P, i64 0, i32 0
14   %C = getelementptr %T, %T* %P, i64 0, i32 1
15   %D = getelementptr %T, %T* %P, i64 0, i32 1, i64 0
16   %E = getelementptr %T, %T* %P, i64 0, i32 1, i64 5
17   ret void