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

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -loop-reduce -S < %s | FileCheck %s
   3 ;
   4 ; Test LSR's use of SplitCriticalEdge during phi rewriting.
   5
   6 target triple = "x86_64-apple-darwin"
   7
   8 ; Provide legal integer types.
   9 target datalayout = "n8:16:32:64"
  10
  11 ; Verify that identical edges are merged. rdar://problem/6453893
  12
  13 define ptr @test1() {
  14 ;
  15 ; CHECK-LABEL: @test1(
  16 ; CHECK-NEXT:  entry:
  17 ; CHECK-NEXT:    br label [[LOOP:%.*]]
  18 ; CHECK:       loop:
  19 ; CHECK-NEXT:    [[LSR_IV:%.*]] = phi ptr [ [[SCEVGEP:%.*]], [[LOOP]] ], [ null, [[ENTRY:%.*]] ]
  20 ; CHECK-NEXT:    [[SCEVGEP]] = getelementptr i8, ptr [[LSR_IV]], i64 1
  21 ; CHECK-NEXT:    br i1 false, label [[LOOP]], label [[LOOPEXIT:%.*]]
  22 ; CHECK:       loopexit:
  23 ; CHECK-NEXT:    [[SCEVGEP_LCSSA:%.*]] = phi ptr [ [[SCEVGEP]], [[LOOP]] ]
  24 ; CHECK-NEXT:    br i1 false, label [[BBA:%.*]], label [[BBB:%.*]]
  25 ; CHECK:       bbA:
  26 ; CHECK-NEXT:    switch i32 0, label [[BBA_BB89_CRIT_EDGE:%.*]] [
  27 ; CHECK-NEXT:      i32 47, label [[BBA_BB89_CRIT_EDGE]]
  28 ; CHECK-NEXT:      i32 58, label [[BBA_BB89_CRIT_EDGE]]
  29 ; CHECK-NEXT:    ]
  30 ; CHECK:       bbA.bb89_crit_edge:
  31 ; CHECK-NEXT:    br label [[BB89:%.*]]
  32 ; CHECK:       bbB:
  33 ; CHECK-NEXT:    switch i8 0, label [[BBB_BB89_CRIT_EDGE:%.*]] [
  34 ; CHECK-NEXT:      i8 47, label [[BBB_BB89_CRIT_EDGE]]
  35 ; CHECK-NEXT:      i8 58, label [[BBB_BB89_CRIT_EDGE]]
  36 ; CHECK-NEXT:    ]
  37 ; CHECK:       bbB.bb89_crit_edge:
  38 ; CHECK-NEXT:    br label [[BB89]]
  39 ; CHECK:       bb89:
  40 ; CHECK-NEXT:    [[TMP75PHI:%.*]] = phi ptr [ [[SCEVGEP_LCSSA]], [[BBA_BB89_CRIT_EDGE]] ], [ [[SCEVGEP_LCSSA]], [[BBB_BB89_CRIT_EDGE]] ]
  41 ; CHECK-NEXT:    br label [[EXIT:%.*]]
  42 ; CHECK:       exit:
  43 ; CHECK-NEXT:    ret ptr [[TMP75PHI]]
  44 ;
  45 entry:
  46   br label %loop
  47
  48 loop:
  49   %rec = phi i32 [ %next, %loop ], [ 0, %entry ]
  50   %next = add i32 %rec, 1
  51   %tmp75 = getelementptr i8, ptr null, i32 %next
  52   br i1 false, label %loop, label %loopexit
  53
  54 loopexit:
  55   br i1 false, label %bbA, label %bbB
  56
  57 bbA:
  58   switch i32 0, label %bb89 [
  59   i32 47, label %bb89
  60   i32 58, label %bb89
  61   ]
  62
  63 bbB:
  64   switch i8 0, label %bb89 [
  65   i8 47, label %bb89
  66   i8 58, label %bb89
  67   ]
  68
  69 bb89:
  70   %tmp75phi = phi ptr [ %tmp75, %bbA ], [ %tmp75, %bbA ], [ %tmp75, %bbA ], [ %tmp75, %bbB ], [ %tmp75, %bbB ], [ %tmp75, %bbB ]
  71   br label %exit
  72
  73 exit:
  74   ret ptr %tmp75phi
  75 }
  76
  77 ; Handle single-predecessor phis: PR13756
  78 define ptr @test2() {
  79 ;
  80 ; CHECK-LABEL: @test2(
  81 ; CHECK-NEXT:  entry:
  82 ; CHECK-NEXT:    br label [[LOOP:%.*]]
  83 ; CHECK:       loop:
  84 ; CHECK-NEXT:    [[LSR_IV:%.*]] = phi ptr [ [[SCEVGEP:%.*]], [[LOOP]] ], [ null, [[ENTRY:%.*]] ]
  85 ; CHECK-NEXT:    [[SCEVGEP]] = getelementptr i8, ptr [[LSR_IV]], i64 1
  86 ; CHECK-NEXT:    br i1 false, label [[LOOP]], label [[LOOPEXIT:%.*]]
  87 ; CHECK:       loopexit:
  88 ; CHECK-NEXT:    [[SCEVGEP_LCSSA:%.*]] = phi ptr [ [[SCEVGEP]], [[LOOP]] ]
  89 ; CHECK-NEXT:    br i1 false, label [[BBA:%.*]], label [[BBB:%.*]]
  90 ; CHECK:       bbA:
  91 ; CHECK-NEXT:    switch i32 0, label [[BB89:%.*]] [
  92 ; CHECK-NEXT:      i32 47, label [[BB89]]
  93 ; CHECK-NEXT:      i32 58, label [[BB89]]
  94 ; CHECK-NEXT:    ]
  95 ; CHECK:       bbB:
  96 ; CHECK-NEXT:    switch i8 0, label [[BBB_EXIT_CRIT_EDGE:%.*]] [
  97 ; CHECK-NEXT:      i8 47, label [[BBB_EXIT_CRIT_EDGE]]
  98 ; CHECK-NEXT:      i8 58, label [[BBB_EXIT_CRIT_EDGE]]
  99 ; CHECK-NEXT:    ]
 100 ; CHECK:       bbB.exit_crit_edge:
 101 ; CHECK-NEXT:    br label [[EXIT:%.*]]
 102 ; CHECK:       bb89:
 103 ; CHECK-NEXT:    [[TMP75PHI:%.*]] = phi ptr [ [[SCEVGEP_LCSSA]], [[BBA]] ], [ [[SCEVGEP_LCSSA]], [[BBA]] ], [ [[SCEVGEP_LCSSA]], [[BBA]] ]
 104 ; CHECK-NEXT:    br label [[EXIT]]
 105 ; CHECK:       exit:
 106 ; CHECK-NEXT:    [[RESULT:%.*]] = phi ptr [ [[TMP75PHI]], [[BB89]] ], [ [[SCEVGEP_LCSSA]], [[BBB_EXIT_CRIT_EDGE]] ]
 107 ; CHECK-NEXT:    ret ptr [[RESULT]]
 108 ;
 109 entry:
 110   br label %loop
 111
 112 loop:
 113   %rec = phi i32 [ %next, %loop ], [ 0, %entry ]
 114   %next = add i32 %rec, 1
 115   %tmp75 = getelementptr i8, ptr null, i32 %next
 116   br i1 false, label %loop, label %loopexit
 117
 118 loopexit:
 119   br i1 false, label %bbA, label %bbB
 120
 121 bbA:
 122   switch i32 0, label %bb89 [
 123   i32 47, label %bb89
 124   i32 58, label %bb89
 125   ]
 126
 127 bbB:
 128   switch i8 0, label %exit [
 129   i8 47, label %exit
 130   i8 58, label %exit
 131   ]
 132
 133 bb89:
 134   %tmp75phi = phi ptr [ %tmp75, %bbA ], [ %tmp75, %bbA ], [ %tmp75, %bbA ]
 135   br label %exit
 136
 137 exit:
 138   %result = phi ptr [ %tmp75phi, %bb89 ], [ %tmp75, %bbB ], [ %tmp75, %bbB ], [ %tmp75, %bbB ]
 139   ret ptr %result
 140 }