test/Transforms/LoopStrengthReduce/2011-10-03-CritEdgeMerge.ll

   1 ; RUN: opt -loop-reduce -S < %s | FileCheck %s
   2 ;
   3 ; Test LSR's use of SplitCriticalEdge during phi rewriting.
   4
   5 target triple = "x86-apple-darwin"
   6
   7 ; Verify that identical edges are merged. rdar://problem/6453893
   8 ; CHECK-LABEL: @test1(
   9 ; CHECK: bb89:
  10 ; CHECK: phi i8* [ %lsr.iv.next1, %bbA.bb89_crit_edge ], [ %lsr.iv.next1, %bbB.bb89_crit_edge ]{{$}}
  11
  12 define i8* @test1() {
  13 entry:
  14   br label %loop
  15
  16 loop:
  17   %rec = phi i32 [ %next, %loop ], [ 0, %entry ]
  18   %next = add i32 %rec, 1
  19   %tmp75 = getelementptr i8, i8* null, i32 %next
  20   br i1 false, label %loop, label %loopexit
  21
  22 loopexit:
  23   br i1 false, label %bbA, label %bbB
  24
  25 bbA:
  26   switch i32 0, label %bb89 [
  27     i32 47, label %bb89
  28     i32 58, label %bb89
  29   ]
  30
  31 bbB:
  32   switch i8 0, label %bb89 [
  33     i8 47, label %bb89
  34     i8 58, label %bb89
  35   ]
  36
  37 bb89:
  38   %tmp75phi = phi i8* [ %tmp75, %bbA ], [ %tmp75, %bbA ], [ %tmp75, %bbA ], [ %tmp75, %bbB ], [ %tmp75, %bbB ], [ %tmp75, %bbB ]
  39   br label %exit
  40
  41 exit:
  42   ret i8* %tmp75phi
  43 }
  44
  45 ; Handle single-predecessor phis: PR13756
  46 ; CHECK-LABEL: @test2(
  47 ; CHECK: bb89:
  48 ; CHECK: phi i8* [ %lsr.iv.next1, %bbA ], [ %lsr.iv.next1, %bbA ], [ %lsr.iv.next1, %bbA ]{{$}}
  49 define i8* @test2() {
  50 entry:
  51   br label %loop
  52
  53 loop:
  54   %rec = phi i32 [ %next, %loop ], [ 0, %entry ]
  55   %next = add i32 %rec, 1
  56   %tmp75 = getelementptr i8, i8* null, i32 %next
  57   br i1 false, label %loop, label %loopexit
  58
  59 loopexit:
  60   br i1 false, label %bbA, label %bbB
  61
  62 bbA:
  63   switch i32 0, label %bb89 [
  64     i32 47, label %bb89
  65     i32 58, label %bb89
  66   ]
  67
  68 bbB:
  69   switch i8 0, label %exit [
  70     i8 47, label %exit
  71     i8 58, label %exit
  72   ]
  73
  74 bb89:
  75   %tmp75phi = phi i8* [ %tmp75, %bbA ], [ %tmp75, %bbA ], [ %tmp75, %bbA ]
  76   br label %exit
  77
  78 exit:
  79   %result = phi i8* [ %tmp75phi, %bb89 ], [ %tmp75, %bbB ], [ %tmp75, %bbB ], [ %tmp75, %bbB ]
  80   ret i8* %result
  81 }