105 lines · plain
1; RUN: opt < %s -passes=lower-switch -S | FileCheck %s2 3; We have switch on input.4; On output we should got binary comparison tree. Check that all is fine.5 6;CHECK: entry:7;CHECK-NEXT: br label %NodeBlock198 9;CHECK: NodeBlock19: ; preds = %entry10;CHECK-NEXT: %Pivot20 = icmp slt i32 %tmp158, 1011;CHECK-NEXT: br i1 %Pivot20, label %NodeBlock5, label %NodeBlock1712 13;CHECK: NodeBlock17: ; preds = %NodeBlock1914;CHECK-NEXT: %Pivot18 = icmp slt i32 %tmp158, 1315;CHECK-NEXT: br i1 %Pivot18, label %NodeBlock9, label %NodeBlock1516 17;CHECK: NodeBlock15: ; preds = %NodeBlock1718;CHECK-NEXT: %Pivot16 = icmp slt i32 %tmp158, 1419;CHECK-NEXT: br i1 %Pivot16, label %bb330, label %NodeBlock1320 21;CHECK: NodeBlock13: ; preds = %NodeBlock1522;CHECK-NEXT: %Pivot14 = icmp slt i32 %tmp158, 1523;CHECK-NEXT: br i1 %Pivot14, label %bb332, label %LeafBlock1124 25;CHECK: LeafBlock11: ; preds = %NodeBlock1326;CHECK-NEXT: %SwitchLeaf12 = icmp eq i32 %tmp158, 1527;CHECK-NEXT: br i1 %SwitchLeaf12, label %bb334, label %bb33628 29;CHECK: NodeBlock9: ; preds = %NodeBlock1730;CHECK-NEXT: %Pivot10 = icmp slt i32 %tmp158, 1131;CHECK-NEXT: br i1 %Pivot10, label %bb324, label %NodeBlock732 33;CHECK: NodeBlock7: ; preds = %NodeBlock934;CHECK-NEXT: %Pivot8 = icmp slt i32 %tmp158, 1235;CHECK-NEXT: br i1 %Pivot8, label %bb326, label %bb32836 37;CHECK: NodeBlock5: ; preds = %NodeBlock1938;CHECK-NEXT: %Pivot6 = icmp slt i32 %tmp158, 739;CHECK-NEXT: br i1 %Pivot6, label %NodeBlock, label %NodeBlock340 41;CHECK: NodeBlock3: ; preds = %NodeBlock542;CHECK-NEXT: %Pivot4 = icmp slt i32 %tmp158, 843;CHECK-NEXT: br i1 %Pivot4, label %bb, label %NodeBlock144 45;CHECK: NodeBlock1: ; preds = %NodeBlock346;CHECK-NEXT: %Pivot2 = icmp slt i32 %tmp158, 947;CHECK-NEXT: br i1 %Pivot2, label %bb338, label %bb32248 49;CHECK: NodeBlock: ; preds = %NodeBlock550;CHECK-NEXT: %Pivot = icmp slt i32 %tmp158, 051;CHECK-NEXT: br i1 %Pivot, label %LeafBlock, label %bb33852 53;CHECK: LeafBlock: ; preds = %NodeBlock54;CHECK-NEXT: %tmp158.off = add i32 %tmp158, 655;CHECK-NEXT: %SwitchLeaf = icmp ule i32 %tmp158.off, 456;CHECK-NEXT: br i1 %SwitchLeaf, label %bb338, label %bb33657 58define i32 @main(i32 %tmp158) {59entry:60 61 switch i32 %tmp158, label %bb336 [62 i32 -2, label %bb33863 i32 -3, label %bb33864 i32 -4, label %bb33865 i32 -5, label %bb33866 i32 -6, label %bb33867 i32 0, label %bb33868 i32 1, label %bb33869 i32 2, label %bb33870 i32 3, label %bb33871 i32 4, label %bb33872 i32 5, label %bb33873 i32 6, label %bb33874 i32 7, label %bb75 i32 8, label %bb33876 i32 9, label %bb32277 i32 10, label %bb32478 i32 11, label %bb32679 i32 12, label %bb32880 i32 13, label %bb33081 i32 14, label %bb33282 i32 15, label %bb33483 ]84bb:85 ret i32 286bb322:87 ret i32 388bb324:89 ret i32 490bb326:91 ret i32 592bb328:93 ret i32 694bb330:95 ret i32 796bb332:97 ret i32 898bb334:99 ret i32 9100bb336:101 ret i32 10102bb338:103 ret i32 11104}105