test/Transforms/LoopStrengthReduce/2013-01-05-IndBr.ll

   1 ; RUN: opt -loop-reduce -S < %s | FileCheck %s
   2 ;
   3 ; Indirect branch in the preheader crashes replaceCongruentIVs.
   4 ; rdar://12910141
   5
   6 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-n8:16:32-S128"
   7
   8 ; CHECK-LABEL: @test(
   9 ; CHECK: bb8:
  10 ; CHECK-NEXT: phi i8
  11 ; CHECK-NEXT: phi i8
  12 ; CHECK: ret void
  13 define void @test() nounwind ssp {
  14 bb:
  15   br label %bb190
  16
  17 bb8:                                              ; preds = %bb190, %bb11
  18   %tmp = phi i8 [ %tmp14, %bb11 ], [ 25, %bb190 ]
  19   %tmp9 = phi i8 [ %tmp12, %bb11 ], [ 25, %bb190 ]
  20   %tmp10 = add i8 %tmp, -5
  21   indirectbr i8* undef, [label %bb11, label %bb15]
  22
  23 bb11:                                             ; preds = %bb8
  24   %tmp12 = add i8 %tmp9, 1
  25   %tmp13 = add i8 %tmp9, -19
  26   %tmp14 = add i8 %tmp, 1
  27   indirectbr i8* undef, [label %bb8]
  28
  29 bb15:                                             ; preds = %bb8
  30   indirectbr i8* undef, [label %bb16]
  31
  32 bb16:                                             ; preds = %bb16, %bb15
  33   indirectbr i8* undef, [label %bb37, label %bb190]
  34
  35
  36 bb37:                                             ; preds = %bb190
  37   indirectbr i8* undef, [label %bb38]
  38
  39 bb38:                                             ; preds = %bb37, %bb5
  40   ret void
  41
  42 bb190:                                            ; preds = %bb189, %bb187
  43   indirectbr i8* undef, [label %bb37, label %bb8]
  44 }