Home | History | Annotate | Download | only in SimplifyCFG
      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 }
     39