test/Transforms/SimplifyCFG/switch-masked-bits.ll

   1 ; RUN: opt -S -simplifycfg < %s | FileCheck %s
   2
   3 define i32 @test1(i32 %x) nounwind {
   4   %i = shl i32 %x, 1
   5   switch i32 %i, label %a [
   6     i32 21, label %b
   7     i32 24, label %c
   8   ]
   9
  10 a:
  11   ret i32 0
  12 b:
  13   ret i32 3
  14 c:
  15   ret i32 5
  16 ; CHECK-LABEL: @test1(
  17 ; CHECK: %cond = icmp eq i32 %i, 24
  18 ; CHECK: %. = select i1 %cond, i32 5, i32 0
  19 ; CHECK: ret i32 %.
  20 }
  21
  22
  23 define i32 @test2(i32 %x) nounwind {
  24   %i = shl i32 %x, 1
  25   switch i32 %i, label %a [
  26     i32 21, label %b
  27     i32 23, label %c
  28   ]
  29
  30 a:
  31   ret i32 0
  32 b:
  33   ret i32 3
  34 c:
  35   ret i32 5
  36 ; CHECK-LABEL: @test2(
  37 ; CHECK: ret i32 0
  38 }