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 ; Provide legal integer types.
   8 target datalayout = "n8:16:32:64"
   9
  10
  11 ; Verify that identical edges are merged. rdar://problem/6453893
  12 ; CHECK-LABEL: @test1(
  13 ; CHECK: bb89:
  14 ; CHECK: phi i8* [ %lsr.iv.next1, %bbA.bb89_crit_edge ], [ %lsr.iv.next1, %bbB.bb89_crit_edge ]{{$}}
  15
  16 define i8* @test1() {
  17 entry:
  18   br label %loop
  19
  20 loop:
  21   %rec = phi i32 [ %next, %loop ], [ 0, %entry ]
  22   %next = add i32 %rec, 1
  23   %tmp75 = getelementptr i8, i8* null, i32 %next
  24   br i1 false, label %loop, label %loopexit
  25
  26 loopexit:
  27   br i1 false, label %bbA, label %bbB
  28
  29 bbA:
  30   switch i32 0, label %bb89 [
  31     i32 47, label %bb89
  32     i32 58, label %bb89
  33   ]
  34
  35 bbB:
  36   switch i8 0, label %bb89 [
  37     i8 47, label %bb89
  38     i8 58, label %bb89
  39   ]
  40
  41 bb89:
  42   %tmp75phi = phi i8* [ %tmp75, %bbA ], [ %tmp75, %bbA ], [ %tmp75, %bbA ], [ %tmp75, %bbB ], [ %tmp75, %bbB ], [ %tmp75, %bbB ]
  43   br label %exit
  44
  45 exit:
  46   ret i8* %tmp75phi
  47 }
  48
  49 ; Handle single-predecessor phis: PR13756
  50 ; CHECK-LABEL: @test2(
  51 ; CHECK: bb89:
  52 ; CHECK: phi i8* [ %lsr.iv.next1, %bbA ], [ %lsr.iv.next1, %bbA ], [ %lsr.iv.next1, %bbA ]{{$}}
  53 define i8* @test2() {
  54 entry:
  55   br label %loop
  56
  57 loop:
  58   %rec = phi i32 [ %next, %loop ], [ 0, %entry ]
  59   %next = add i32 %rec, 1
  60   %tmp75 = getelementptr i8, i8* null, i32 %next
  61   br i1 false, label %loop, label %loopexit
  62
  63 loopexit:
  64   br i1 false, label %bbA, label %bbB
  65
  66 bbA:
  67   switch i32 0, label %bb89 [
  68     i32 47, label %bb89
  69     i32 58, label %bb89
  70   ]
  71
  72 bbB:
  73   switch i8 0, label %exit [
  74     i8 47, label %exit
  75     i8 58, label %exit
  76   ]
  77
  78 bb89:
  79   %tmp75phi = phi i8* [ %tmp75, %bbA ], [ %tmp75, %bbA ], [ %tmp75, %bbA ]
  80   br label %exit
  81
  82 exit:
  83   %result = phi i8* [ %tmp75phi, %bb89 ], [ %tmp75, %bbB ], [ %tmp75, %bbB ], [ %tmp75, %bbB ]
  84   ret i8* %result
  85 }