test/Transforms/SimplifyCFG/switch-to-select-multiple-edge-per-block-phi.ll

   1 ; RUN: opt < %s -simplifycfg -S | FileCheck %s
   2
   3 ; a, b;
   4 ; fn1() {
   5 ;   if (b)
   6 ;     if (a == 0 || a == 5)
   7 ;       return a;
   8 ;   return 0;
   9 ; }
  10
  11 ; Checking that we handle correctly the case when we have a switch
  12 ; branching multiple times to the same block
  13
  14 @b = common global i32 0, align 4
  15 @a = common global i32 0, align 4
  16
  17 ; Function Attrs: nounwind
  18 define i32 @fn1() {
  19 ; CHECK-LABEL: @fn1
  20 ; CHECK: %switch.selectcmp1 = icmp eq i32 %1, 5
  21 ; CHECK: %switch.select2 = select i1 %switch.selectcmp1, i32 5, i32 %switch.select
  22 entry:
  23   %0 = load i32* @b, align 4
  24   %tobool = icmp eq i32 %0, 0
  25   br i1 %tobool, label %if.end3, label %if.then
  26
  27 if.then:
  28   %1 = load i32* @a, align 4
  29   switch i32 %1, label %if.end3 [
  30     i32 5, label %return
  31     i32 0, label %return
  32   ]
  33
  34 if.end3:
  35   br label %return
  36
  37 return:
  38   %retval.0 = phi i32 [ 0, %if.end3 ], [ %1, %if.then ], [ %1, %if.then ]
  39   ret i32 %retval.0
  40 }