[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Analysis / BasicAA / 2003-05-21-GEP-Problem.ll
blobfb5b3bb4618e5fcc323066ddb5c45e80a5270d69
1 ; RUN: opt < %s -basicaa -licm -disable-output
2         %struct..apr_array_header_t = type { i32*, i32, i32, i32, i8* }
3         %struct..apr_table_t = type { %struct..apr_array_header_t, i32, [32 x i32], [32 x i32] }
5 define void @table_reindex(%struct..apr_table_t* %t.1) {                ; No predecessors!
6         br label %loopentry
8 loopentry:              ; preds = %0, %no_exit
9         %tmp.101 = getelementptr %struct..apr_table_t, %struct..apr_table_t* %t.1, i64 0, i32 0, i32 2
10         %tmp.11 = load i32, i32* %tmp.101               ; <i32> [#uses=0]
11         br i1 false, label %no_exit, label %UnifiedExitNode
13 no_exit:                ; preds = %loopentry
14         %tmp.25 = sext i32 0 to i64             ; <i64> [#uses=1]
15         %tmp.261 = getelementptr %struct..apr_table_t, %struct..apr_table_t* %t.1, i64 0, i32 3, i64 %tmp.25            ; <i32*> [#uses=1]
16         store i32 0, i32* %tmp.261
17         br label %loopentry
19 UnifiedExitNode:                ; preds = %loopentry
20         ret void