2009-09-11 20:01:28 +02:00
|
|
|
; RUN: opt < %s -adce -disable-output
|
2004-05-04 19:00:10 +02:00
|
|
|
|
2008-03-01 10:15:35 +01:00
|
|
|
define void @test() {
|
2004-05-04 19:00:10 +02:00
|
|
|
entry:
|
2008-03-01 10:15:35 +01:00
|
|
|
br label %UnifiedReturnBlock
|
2004-05-04 19:00:10 +02:00
|
|
|
|
2008-03-01 10:15:35 +01:00
|
|
|
UnifiedReturnBlock: ; preds = %invoke_catch.0, %entry
|
|
|
|
ret void
|
2004-05-04 19:00:10 +02:00
|
|
|
|
2008-03-01 10:15:35 +01:00
|
|
|
invoke_catch.0: ; No predecessors!
|
|
|
|
br i1 false, label %UnifiedUnwindBlock, label %UnifiedReturnBlock
|
2004-05-04 19:00:10 +02:00
|
|
|
|
2008-03-01 10:15:35 +01:00
|
|
|
UnifiedUnwindBlock: ; preds = %invoke_catch.0
|
2011-09-03 00:41:11 +02:00
|
|
|
unreachable
|
2004-05-04 19:00:10 +02:00
|
|
|
}
|
2008-03-01 10:15:35 +01:00
|
|
|
|