llvm/test/Transforms/SimplifyCFG/2007-12-21-Crash.ll

   1 ;RUN: opt < %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -disable-output
   2 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
   3
   4 define i32 @bork() nounwind  {
   5 entry:
   6         br label %bb5.outer
   7
   8 bb5.outer.loopexit:             ; preds = %bb5
   9         br label %bb5.outer
  10
  11 bb5.outer:              ; preds = %bb5.outer.loopexit, %entry
  12         %undo.0.ph = phi i32 [ 0, %entry ], [ 1, %bb5.outer.loopexit ]          ; <i32> [#uses=1]
  13         br label %bb5
  14
  15 bb5:            ; preds = %bb5, %bb5.outer
  16         %tmp6 = tail call i32 (...) @foo( ) nounwind            ; <i32> [#uses=1]
  17         switch i32 %tmp6, label %bb13 [
  18                  i32 -1, label %bb10
  19                  i32 102, label %bb5
  20                  i32 110, label %bb5.outer.loopexit
  21         ]
  22
  23 bb10:           ; preds = %bb5
  24         %tmp12 = tail call i32 (...) @bar( i32 %undo.0.ph ) nounwind            ; <i32> [#uses=0]
  25         br label %UnifiedReturnBlock
  26
  27 bb13:           ; preds = %bb5
  28         br label %UnifiedReturnBlock
  29
  30 UnifiedReturnBlock:             ; preds = %bb13, %bb10
  31         %UnifiedRetVal = phi i32 [ 1, %bb10 ], [ 258, %bb13 ]           ; <i32> [#uses=1]
  32         ret i32 %UnifiedRetVal
  33 }
  34
  35 declare i32 @foo(...)
  36
  37 declare i32 @bar(...)