2004-12-10 18:43:43 +01:00
|
|
|
; RUN: llvm-as < %s | opt -simplifycfg -disable-output
|
2004-12-10 18:41:43 +01:00
|
|
|
|
|
|
|
|
implementation ; Functions:
|
|
|
|
|
|
|
|
|
|
void %symhash_add() {
|
|
|
|
|
entry:
|
|
|
|
|
br bool undef, label %then.0, label %UnifiedReturnBlock
|
|
|
|
|
|
|
|
|
|
then.0: ; preds = %entry
|
|
|
|
|
br bool undef, label %loopentry.2, label %loopentry.1.preheader
|
|
|
|
|
|
|
|
|
|
loopentry.1.preheader: ; preds = %then.0
|
|
|
|
|
br label %loopentry.1.outer
|
|
|
|
|
|
|
|
|
|
loopentry.1.outer: ; preds = %loopentry.1.preheader, %loopexit.1
|
|
|
|
|
br label %loopentry.1
|
|
|
|
|
|
|
|
|
|
loopentry.1: ; preds = %loopentry.1.outer, %then.1, %then.3, %then.4, %endif.1
|
|
|
|
|
br bool undef, label %loopexit.1, label %no_exit.1
|
|
|
|
|
|
|
|
|
|
no_exit.1: ; preds = %loopentry.1
|
|
|
|
|
br bool undef, label %then.1, label %else.0
|
|
|
|
|
|
|
|
|
|
then.1: ; preds = %no_exit.1
|
|
|
|
|
br label %loopentry.1
|
|
|
|
|
|
|
|
|
|
else.0: ; preds = %no_exit.1
|
|
|
|
|
br bool undef, label %then.2, label %else.1
|
|
|
|
|
|
|
|
|
|
then.2: ; preds = %else.0
|
|
|
|
|
br bool undef, label %then.3, label %endif.1
|
|
|
|
|
|
|
|
|
|
then.3: ; preds = %then.2
|
|
|
|
|
br label %loopentry.1
|
|
|
|
|
|
|
|
|
|
else.1: ; preds = %else.0
|
|
|
|
|
br bool undef, label %endif.1, label %then.4
|
|
|
|
|
|
|
|
|
|
then.4: ; preds = %else.1
|
|
|
|
|
br label %loopentry.1
|
|
|
|
|
|
|
|
|
|
endif.1: ; preds = %then.2, %else.1
|
|
|
|
|
br label %loopentry.1
|
|
|
|
|
|
|
|
|
|
loopexit.1: ; preds = %loopentry.1
|
|
|
|
|
br bool undef, label %loopentry.1.outer, label %loopentry.2
|
|
|
|
|
|
|
|
|
|
loopentry.2: ; preds = %then.0, %loopexit.1, %no_exit.2
|
|
|
|
|
br bool undef, label %loopexit.2, label %no_exit.2
|
|
|
|
|
|
|
|
|
|
no_exit.2: ; preds = %loopentry.2
|
|
|
|
|
br label %loopentry.2
|
|
|
|
|
|
|
|
|
|
loopexit.2: ; preds = %loopentry.2
|
|
|
|
|
ret void
|
|
|
|
|
|
|
|
|
|
UnifiedReturnBlock: ; preds = %entry
|
|
|
|
|
ret void
|
|
|
|
|
}
|
