llvm/test/Transforms/LowerSwitch/feature.ll

   1 ; RUN: opt < %s -lowerswitch -S | FileCheck %s
   2 ; RUN: opt < %s -passes=lowerswitch -S | FileCheck %s
   3
   4 ; We have switch on input.
   5 ; On output we should got binary comparison tree. Check that all is fine.
   6
   7 ;CHECK:     entry:
   8 ;CHECK-NEXT:  br label %NodeBlock19
   9
  10 ;CHECK:     NodeBlock19:                                      ; preds = %entry
  11 ;CHECK-NEXT:  %Pivot20 = icmp slt i32 %tmp158, 10
  12 ;CHECK-NEXT:  br i1 %Pivot20, label %NodeBlock5, label %NodeBlock17
  13
  14 ;CHECK:     NodeBlock17:                                      ; preds = %NodeBlock19
  15 ;CHECK-NEXT:  %Pivot18 = icmp slt i32 %tmp158, 13
  16 ;CHECK-NEXT:  br i1 %Pivot18, label %NodeBlock9, label %NodeBlock15
  17
  18 ;CHECK:     NodeBlock15:                                      ; preds = %NodeBlock17
  19 ;CHECK-NEXT:  %Pivot16 = icmp slt i32 %tmp158, 14
  20 ;CHECK-NEXT:  br i1 %Pivot16, label %bb330, label %NodeBlock13
  21
  22 ;CHECK:     NodeBlock13:                                      ; preds = %NodeBlock15
  23 ;CHECK-NEXT:  %Pivot14 = icmp slt i32 %tmp158, 15
  24 ;CHECK-NEXT:  br i1 %Pivot14, label %bb332, label %LeafBlock11
  25
  26 ;CHECK:     LeafBlock11:                                      ; preds = %NodeBlock13
  27 ;CHECK-NEXT:  %SwitchLeaf12 = icmp eq i32 %tmp158, 15
  28 ;CHECK-NEXT:  br i1 %SwitchLeaf12, label %bb334, label %NewDefault
  29
  30 ;CHECK:     NodeBlock9:                                       ; preds = %NodeBlock17
  31 ;CHECK-NEXT:  %Pivot10 = icmp slt i32 %tmp158, 11
  32 ;CHECK-NEXT:  br i1 %Pivot10, label %bb324, label %NodeBlock7
  33
  34 ;CHECK:     NodeBlock7:                                       ; preds = %NodeBlock9
  35 ;CHECK-NEXT:  %Pivot8 = icmp slt i32 %tmp158, 12
  36 ;CHECK-NEXT:  br i1 %Pivot8, label %bb326, label %bb328
  37
  38 ;CHECK:     NodeBlock5:                                       ; preds = %NodeBlock19
  39 ;CHECK-NEXT:  %Pivot6 = icmp slt i32 %tmp158, 7
  40 ;CHECK-NEXT:  br i1 %Pivot6, label %NodeBlock, label %NodeBlock3
  41
  42 ;CHECK:     NodeBlock3:                                       ; preds = %NodeBlock5
  43 ;CHECK-NEXT:  %Pivot4 = icmp slt i32 %tmp158, 8
  44 ;CHECK-NEXT:  br i1 %Pivot4, label %bb, label %NodeBlock1
  45
  46 ;CHECK:     NodeBlock1:                                       ; preds = %NodeBlock3
  47 ;CHECK-NEXT:  %Pivot2 = icmp slt i32 %tmp158, 9
  48 ;CHECK-NEXT:  br i1 %Pivot2, label %bb338, label %bb322
  49
  50 ;CHECK:     NodeBlock:                                        ; preds = %NodeBlock5
  51 ;CHECK-NEXT:  %Pivot = icmp slt i32 %tmp158, 0
  52 ;CHECK-NEXT:  br i1 %Pivot, label %LeafBlock, label %bb338
  53
  54 ;CHECK:     LeafBlock:                                        ; preds = %NodeBlock
  55 ;CHECK-NEXT:  %tmp158.off = add i32 %tmp158, 6
  56 ;CHECK-NEXT:  %SwitchLeaf = icmp ule i32 %tmp158.off, 4
  57 ;CHECK-NEXT:  br i1 %SwitchLeaf, label %bb338, label %NewDefault
  58
  59 define i32 @main(i32 %tmp158) {
  60 entry:
  61
  62         switch i32 %tmp158, label %bb336 [
  63                  i32 -2, label %bb338
  64                  i32 -3, label %bb338
  65                  i32 -4, label %bb338
  66                  i32 -5, label %bb338
  67                  i32 -6, label %bb338
  68                  i32 0, label %bb338
  69                  i32 1, label %bb338
  70                  i32 2, label %bb338
  71                  i32 3, label %bb338
  72                  i32 4, label %bb338
  73                  i32 5, label %bb338
  74                  i32 6, label %bb338
  75                  i32 7, label %bb
  76                  i32 8, label %bb338
  77                  i32 9, label %bb322
  78                  i32 10, label %bb324
  79                  i32 11, label %bb326
  80                  i32 12, label %bb328
  81                  i32 13, label %bb330
  82                  i32 14, label %bb332
  83                  i32 15, label %bb334
  84         ]
  85 bb:
  86   ret i32 2
  87 bb322:
  88   ret i32 3
  89 bb324:
  90   ret i32 4
  91 bb326:
  92   ret i32 5
  93 bb328:
  94   ret i32 6
  95 bb330:
  96   ret i32 7
  97 bb332:
  98   ret i32 8
  99 bb334:
 100   ret i32 9
 101 bb336:
 102   ret i32 10
 103 bb338:
 104   ret i32 11
 105 }