| ; RUN: opt < %s -analyze -postdomfrontier \ |
| ; RUN: -disable-verify |
| ; ModuleID = '2006-09-26-PostDominanceFrontier.bc' |
| target datalayout = "e-p:64:64" |
| target triple = "alphaev67-unknown-linux-gnu" |
| %struct.FILE = type { i32, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, %struct._IO_marker*, %struct.FILE*, i32, i32, i64, i16, i8, [1 x i8], i8*, i64, i8*, i8*, i32, [44 x i8] } |
| %struct._IO_marker = type { %struct._IO_marker*, %struct.FILE*, i32 } |
| @TOP = external global i64* ; <i64**> [#uses=1] |
| @BOT = external global i64* ; <i64**> [#uses=1] |
| @str = external global [2 x i8] ; <[2 x i8]*> [#uses=0] |
| |
| declare void @fopen() |
| |
| define void @main(i8** %argv) { |
| entry: |
| %netSelect.i507 = alloca i64, align 8 ; <i64*> [#uses=0] |
| %topStart.i = alloca i64, align 8 ; <i64*> [#uses=0] |
| %topEnd.i = alloca i64, align 8 ; <i64*> [#uses=0] |
| %botStart.i = alloca i64, align 8 ; <i64*> [#uses=0] |
| %botEnd.i = alloca i64, align 8 ; <i64*> [#uses=0] |
| %c1.i154 = alloca i32, align 4 ; <i32*> [#uses=0] |
| %b1.i155 = alloca i32, align 4 ; <i32*> [#uses=0] |
| %t1.i156 = alloca i32, align 4 ; <i32*> [#uses=0] |
| %c1.i = alloca i32, align 4 ; <i32*> [#uses=0] |
| %b1.i = alloca i32, align 4 ; <i32*> [#uses=0] |
| %t1.i = alloca i32, align 4 ; <i32*> [#uses=0] |
| %netSelect.i5 = alloca i64, align 8 ; <i64*> [#uses=0] |
| %netSelect.i = alloca i64, align 8 ; <i64*> [#uses=0] |
| %tmp2.i = getelementptr i8** %argv, i32 1 ; <i8**> [#uses=1] |
| %tmp3.i4 = load i8** %tmp2.i ; <i8*> [#uses=0] |
| call void @fopen( ) |
| br i1 false, label %DimensionChannel.exit, label %bb.backedge.i |
| |
| bb.backedge.i: ; preds = %entry |
| ret void |
| |
| DimensionChannel.exit: ; preds = %entry |
| %tmp13.i137 = malloc i64, i32 0 ; <i64*> [#uses=1] |
| %tmp610.i = malloc i64, i32 0 ; <i64*> [#uses=1] |
| br label %cond_true.i143 |
| |
| cond_true.i143: ; preds = %cond_true.i143, %DimensionChannel.exit |
| %tmp9.i140 = getelementptr i64* %tmp13.i137, i64 0 ; <i64*> [#uses=0] |
| %tmp12.i = getelementptr i64* %tmp610.i, i64 0 ; <i64*> [#uses=0] |
| br i1 false, label %bb18.i144, label %cond_true.i143 |
| |
| bb18.i144: ; preds = %cond_true.i143 |
| call void @fopen( ) |
| %tmp76.i105 = malloc i64, i32 0 ; <i64*> [#uses=3] |
| %tmp674.i = malloc i64, i32 0 ; <i64*> [#uses=2] |
| %tmp1072.i = malloc i64, i32 0 ; <i64*> [#uses=2] |
| %tmp1470.i = malloc i64, i32 0 ; <i64*> [#uses=1] |
| br label %cond_true.i114 |
| |
| cond_true.i114: ; preds = %cond_true.i114, %bb18.i144 |
| %tmp17.i108 = getelementptr i64* %tmp76.i105, i64 0 ; <i64*> [#uses=0] |
| %tmp20.i = getelementptr i64* %tmp674.i, i64 0 ; <i64*> [#uses=0] |
| %tmp23.i111 = getelementptr i64* %tmp1470.i, i64 0 ; <i64*> [#uses=0] |
| br i1 false, label %cond_true40.i, label %cond_true.i114 |
| |
| cond_true40.i: ; preds = %cond_true40.i, %cond_true.i114 |
| %tmp33.i115 = getelementptr i64* %tmp1072.i, i64 0 ; <i64*> [#uses=0] |
| br i1 false, label %bb142.i, label %cond_true40.i |
| |
| cond_next54.i: ; preds = %cond_true76.i |
| %tmp57.i = getelementptr i64* %tmp55.i, i64 0 ; <i64*> [#uses=0] |
| br i1 false, label %bb64.i, label %bb69.i |
| |
| bb64.i: ; preds = %cond_true76.i, %cond_next54.i |
| %tmp67.i117 = getelementptr i64* %tmp76.i105, i64 0 ; <i64*> [#uses=0] |
| br i1 false, label %bb114.i, label %cond_true111.i |
| |
| bb69.i: ; preds = %cond_next54.i |
| br i1 false, label %bb79.i, label %cond_true76.i |
| |
| cond_true76.i: ; preds = %bb142.i, %bb69.i |
| %tmp48.i = getelementptr i64* %tmp46.i, i64 0 ; <i64*> [#uses=0] |
| br i1 false, label %bb64.i, label %cond_next54.i |
| |
| bb79.i: ; preds = %bb69.i |
| br i1 false, label %bb114.i, label %cond_true111.i |
| |
| cond_true111.i: ; preds = %bb79.i, %bb64.i |
| %tmp84.i127 = getelementptr i64* %tmp46.i, i64 0 ; <i64*> [#uses=0] |
| ret void |
| |
| bb114.i: ; preds = %bb142.i, %bb79.i, %bb64.i |
| %tmp117.i = getelementptr i64* %tmp76.i105, i64 0 ; <i64*> [#uses=0] |
| %tmp132.i131 = getelementptr i64* %tmp674.i, i64 0 ; <i64*> [#uses=0] |
| %tmp122.i = getelementptr i64* %tmp1072.i, i64 0 ; <i64*> [#uses=0] |
| ret void |
| |
| bb142.i: ; preds = %cond_true40.i |
| %tmp46.i = load i64** @BOT ; <i64*> [#uses=2] |
| %tmp55.i = load i64** @TOP ; <i64*> [#uses=1] |
| br i1 false, label %bb114.i, label %cond_true76.i |
| } |