mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-18 12:29:21 +00:00
New testcase
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6152 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
9d6d118837
commit
0673d475c0
@ -0,0 +1,57 @@
|
||||
; This (complex) testcase causes an assertion failure because a preheader is
|
||||
; inserted for the "fail" loop, but the exit block of a loop is not updated
|
||||
; to be the preheader instead of the exit loop itself.
|
||||
|
||||
; RUN: as < %s | opt -preheaders
|
||||
|
||||
int %re_match_2() {
|
||||
br label %loopentry.1
|
||||
|
||||
loopentry.1: ; preds = %then.6, %endif.7, %loopexit.20, %endif.83
|
||||
br label %shortcirc_done.36
|
||||
|
||||
shortcirc_done.36: ; preds = %label.13, %shortcirc_next.36
|
||||
br bool false, label %fail, label %endif.40
|
||||
|
||||
endif.40: ; preds = %shortcirc_done.36
|
||||
br label %loopexit.20
|
||||
|
||||
loopentry.20: ; preds = %shortcirc_done.40, %endif.46
|
||||
br label %loopexit.20
|
||||
|
||||
loopexit.20: ; preds = %loopentry.20
|
||||
br label %loopentry.21
|
||||
|
||||
loopentry.21: ; preds = %loopexit.20, %no_exit.19
|
||||
br bool false, label %no_exit.19, label %loopexit.21
|
||||
|
||||
no_exit.19: ; preds = %loopentry.21
|
||||
br bool false, label %fail, label %loopentry.21
|
||||
|
||||
loopexit.21: ; preds = %loopentry.21
|
||||
br label %endif.45
|
||||
|
||||
endif.45: ; preds = %loopexit.21
|
||||
br label %cond_true.15
|
||||
|
||||
cond_true.15: ; preds = %endif.45
|
||||
br bool false, label %fail, label %endif.46
|
||||
|
||||
endif.46: ; preds = %cond_true.15
|
||||
br label %loopentry.20
|
||||
|
||||
fail: ; preds = %shortcirc_done.36, %loopexit.37, %cond_true.15, %no_exit.19
|
||||
br label %then.80
|
||||
|
||||
then.80: ; preds = %fail
|
||||
br label %endif.81
|
||||
|
||||
endif.81: ; preds = %then.80
|
||||
br label %loopexit.37
|
||||
|
||||
loopexit.37: ; preds = %endif.81
|
||||
br bool false, label %fail, label %endif.82
|
||||
|
||||
endif.82: ; preds = %loopexit.37
|
||||
br label %loopentry.1
|
||||
}
|
@ -0,0 +1,57 @@
|
||||
; This (complex) testcase causes an assertion failure because a preheader is
|
||||
; inserted for the "fail" loop, but the exit block of a loop is not updated
|
||||
; to be the preheader instead of the exit loop itself.
|
||||
|
||||
; RUN: as < %s | opt -preheaders
|
||||
|
||||
int %re_match_2() {
|
||||
br label %loopentry.1
|
||||
|
||||
loopentry.1: ; preds = %then.6, %endif.7, %loopexit.20, %endif.83
|
||||
br label %shortcirc_done.36
|
||||
|
||||
shortcirc_done.36: ; preds = %label.13, %shortcirc_next.36
|
||||
br bool false, label %fail, label %endif.40
|
||||
|
||||
endif.40: ; preds = %shortcirc_done.36
|
||||
br label %loopexit.20
|
||||
|
||||
loopentry.20: ; preds = %shortcirc_done.40, %endif.46
|
||||
br label %loopexit.20
|
||||
|
||||
loopexit.20: ; preds = %loopentry.20
|
||||
br label %loopentry.21
|
||||
|
||||
loopentry.21: ; preds = %loopexit.20, %no_exit.19
|
||||
br bool false, label %no_exit.19, label %loopexit.21
|
||||
|
||||
no_exit.19: ; preds = %loopentry.21
|
||||
br bool false, label %fail, label %loopentry.21
|
||||
|
||||
loopexit.21: ; preds = %loopentry.21
|
||||
br label %endif.45
|
||||
|
||||
endif.45: ; preds = %loopexit.21
|
||||
br label %cond_true.15
|
||||
|
||||
cond_true.15: ; preds = %endif.45
|
||||
br bool false, label %fail, label %endif.46
|
||||
|
||||
endif.46: ; preds = %cond_true.15
|
||||
br label %loopentry.20
|
||||
|
||||
fail: ; preds = %shortcirc_done.36, %loopexit.37, %cond_true.15, %no_exit.19
|
||||
br label %then.80
|
||||
|
||||
then.80: ; preds = %fail
|
||||
br label %endif.81
|
||||
|
||||
endif.81: ; preds = %then.80
|
||||
br label %loopexit.37
|
||||
|
||||
loopexit.37: ; preds = %endif.81
|
||||
br bool false, label %fail, label %endif.82
|
||||
|
||||
endif.82: ; preds = %loopexit.37
|
||||
br label %loopentry.1
|
||||
}
|
Loading…
Reference in New Issue
Block a user