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 } 86
