test/Transforms/InstCombine/narrow-switch.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 target datalayout = "e-m:o-p:32:32-f64:32:64-v64:32:64-v128:32:128-a:0:32-n32-S32"
   4
   5 ; CHECK-LABEL: define i32 @positive1
   6 ; CHECK: switch i32
   7 ; CHECK: i32 10, label
   8 ; CHECK: i32 100, label
   9 ; CHECK: i32 1001, label
  10
  11 define i32 @positive1(i64 %a) {
  12 entry:
  13   %and = and i64 %a, 4294967295
  14   switch i64 %and, label %sw.default [
  15     i64 10, label %return
  16     i64 100, label %sw.bb1
  17     i64 1001, label %sw.bb2
  18   ]
  19
  20 sw.bb1:
  21   br label %return
  22
  23 sw.bb2:
  24   br label %return
  25
  26 sw.default:
  27   br label %return
  28
  29 return:
  30   %retval.0 = phi i32 [ 24, %sw.default ], [ 123, %sw.bb2 ], [ 213, %sw.bb1 ], [ 231, %entry ]
  31   ret i32 %retval.0
  32 }
  33
  34 ; CHECK-LABEL: define i32 @negative1
  35 ; CHECK: switch i32
  36 ; CHECK: i32 -10, label
  37 ; CHECK: i32 -100, label
  38 ; CHECK: i32 -1001, label
  39
  40 define i32 @negative1(i64 %a) {
  41 entry:
  42   %or = or i64 %a, -4294967296
  43   switch i64 %or, label %sw.default [
  44     i64 -10, label %return
  45     i64 -100, label %sw.bb1
  46     i64 -1001, label %sw.bb2
  47   ]
  48
  49 sw.bb1:
  50   br label %return
  51
  52 sw.bb2:
  53   br label %return
  54
  55 sw.default:
  56   br label %return
  57
  58 return:
  59   %retval.0 = phi i32 [ 24, %sw.default ], [ 123, %sw.bb2 ], [ 213, %sw.bb1 ], [ 231, %entry ]
  60   ret i32 %retval.0
  61 }
  62
  63 ; Make sure truncating a constant int larger than 64-bit doesn't trigger an
  64 ; assertion.
  65
  66 ; CHECK-LABEL: define i32 @trunc72to68
  67 ; CHECK: switch i68
  68 ; CHECK: i68 10, label
  69 ; CHECK: i68 100, label
  70 ; CHECK: i68 1001, label
  71
  72 define i32 @trunc72to68(i72 %a) {
  73 entry:
  74   %and = and i72 %a, 295147905179352825855
  75   switch i72 %and, label %sw.default [
  76     i72 10, label %return
  77     i72 100, label %sw.bb1
  78     i72 1001, label %sw.bb2
  79   ]
  80
  81 sw.bb1:
  82   br label %return
  83
  84 sw.bb2:
  85   br label %return
  86
  87 sw.default:
  88   br label %return
  89
  90 return:
  91   %retval.0 = phi i32 [ 24, %sw.default ], [ 123, %sw.bb2 ], [ 213, %sw.bb1 ], [ 231, %entry ]
  92   ret i32 %retval.0
  93 }
  94
  95 ; Make sure to avoid assertion crashes and use the type before
  96 ; truncation to generate the sub constant expressions that leads
  97 ; to the recomputed condition.
  98 ;
  99 ; CHECK-LABEL: @trunc64to59
 100 ; CHECK: switch i59
 101 ; CHECK: i59 0, label
 102 ; CHECK: i59 18717182647723699, label
 103
 104 define void @trunc64to59(i64 %a) {
 105 entry:
 106   %tmp0 = and i64 %a, 15
 107   %tmp1 = mul i64 %tmp0, -6425668444178048401
 108   %tmp2 = add i64 %tmp1, 5170979678563097242
 109   %tmp3 = mul i64 %tmp2, 1627972535142754813
 110   switch i64 %tmp3, label %sw.default [
 111     i64 847514119312061490, label %sw.bb1
 112     i64 866231301959785189, label %sw.bb2
 113   ]
 114
 115 sw.bb1:
 116   br label %sw.default
 117
 118 sw.bb2:
 119   br label %sw.default
 120
 121 sw.default:
 122   ret void
 123 }