[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / GVN / 2008-12-15-CacheVisited.ll
blob73adacd3cfaf8d0d8e04d40ce669405fd8dd08a0
1 ; RUN: opt < %s -gvn | llvm-dis
2 ; Cached results must be added to and verified against the visited sets.
3 ; PR3217
5 define fastcc void @gen_field_die(i32* %decl) nounwind {
6 entry:
7         br i1 false, label %bb203, label %bb202
9 bb202:          ; preds = %entry
10         unreachable
12 bb203:          ; preds = %entry
13         %tmp = getelementptr i32, i32* %decl, i32 1             ; <i32*> [#uses=1]
14         %tmp1 = load i32, i32* %tmp, align 4            ; <i32> [#uses=0]
15         br i1 false, label %bb207, label %bb204
17 bb204:          ; preds = %bb203
18         %tmp2 = getelementptr i32, i32* %decl, i32 1            ; <i32*> [#uses=1]
19         br label %bb208
21 bb207:          ; preds = %bb203
22         br label %bb208
24 bb208:          ; preds = %bb207, %bb204
25         %iftmp.1374.0.in = phi i32* [ null, %bb207 ], [ %tmp2, %bb204 ]         ; <i32*> [#uses=1]
26         %iftmp.1374.0 = load i32, i32* %iftmp.1374.0.in         ; <i32> [#uses=0]
27         unreachable