test/Transforms/NewGVN/phi-of-ops-move-block.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -newgvn -S | FileCheck %s
   3
   4 @g_20 = external global i32, align 4
   5
   6 define void @test() {
   7 ; CHECK-LABEL: @test(
   8 ; CHECK-NEXT:  entry:
   9 ; CHECK-NEXT:    br label [[BB1:%.*]]
  10 ; CHECK:       bb1:
  11 ; CHECK-NEXT:    [[STOREMERGE:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[ADD1:%.*]], [[CRITEDGE:%.*]] ]
  12 ; CHECK-NEXT:    store i32 [[STOREMERGE]], i32* @g_20, align 4
  13 ; CHECK-NEXT:    [[CMP0:%.*]] = icmp eq i32 [[STOREMERGE]], 0
  14 ; CHECK-NEXT:    br i1 [[CMP0]], label [[LR_PH:%.*]], label [[CRITEDGE]]
  15 ; CHECK:       lr.ph:
  16 ; CHECK-NEXT:    [[LV:%.*]] = load i64, i64* inttoptr (i64 16 to i64*), align 16
  17 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i64 [[LV]], 0
  18 ; CHECK-NEXT:    br i1 [[CMP1]], label [[PREHEADER_SPLIT:%.*]], label [[CRITEDGE]]
  19 ; CHECK:       preheader.split:
  20 ; CHECK-NEXT:    br label [[PREHEADER_SPLIT]]
  21 ; CHECK:       critedge:
  22 ; CHECK-NEXT:    [[PHIOFOPS1:%.*]] = phi i1 [ false, [[BB1]] ], [ true, [[LR_PH]] ]
  23 ; CHECK-NEXT:    [[PHIOFOPS:%.*]] = phi i1 [ [[CMP0]], [[BB1]] ], [ true, [[LR_PH]] ]
  24 ; CHECK-NEXT:    [[DOT05_LCSSA:%.*]] = phi i32 [ 0, [[BB1]] ], [ -1, [[LR_PH]] ]
  25 ; CHECK-NEXT:    [[ADD1]] = add nsw i32 [[STOREMERGE]], -1
  26 ; CHECK-NEXT:    br i1 [[PHIOFOPS]], label [[BB1]], label [[END:%.*]]
  27 ; CHECK:       end:
  28 ; CHECK-NEXT:    ret void
  29 ;
  30 entry:
  31   br label %bb1
  32
  33 bb1:                                      ; preds = %critedge, %entry
  34   %storemerge = phi i32 [ 0, %entry ], [ %add1, %critedge ]
  35   store i32 %storemerge, i32* @g_20, align 4
  36   %cmp0 = icmp eq i32 %storemerge, 0
  37   br i1 %cmp0, label %lr.ph, label %critedge
  38
  39 lr.ph:                                           ; preds = %bb1
  40   %lv = load i64, i64* inttoptr (i64 16 to i64*), align 16
  41   %cmp1 = icmp eq i64 %lv, 0
  42   br i1 %cmp1, label %preheader.split, label %critedge
  43
  44 preheader.split:                                 ; preds = %lr.ph, %preheader.split
  45   br label %preheader.split
  46
  47 critedge:                                        ; preds = %lr.ph, %bb1
  48   %.05.lcssa = phi i32 [ 0, %bb1 ], [ -1, %lr.ph ]
  49   %cmp2 = icmp ne i32 %.05.lcssa, 0
  50   %brmerge = or i1 %cmp0, %cmp2
  51   %add1 = add nsw i32 %storemerge, -1
  52   br i1 %brmerge, label %bb1, label %end
  53
  54 end:
  55   ret void
  56 }
  57
  58 ; In this test case a temporary PhiOfOps node gets moved to BB with more
  59 ; predecessors, so a new one needs to be created.
  60 define void @test2() {
  61 ; CHECK-LABEL: @test2(
  62 ; CHECK-NEXT:    br label [[BB1:%.*]]
  63 ; CHECK:       bb1:
  64 ; CHECK-NEXT:    [[STOREMERGE:%.*]] = phi i32 [ 0, [[TMP0:%.*]] ], [ [[ADD:%.*]], [[CRITEDGE:%.*]] ]
  65 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i32 [[STOREMERGE]], 0
  66 ; CHECK-NEXT:    br i1 [[CMP1]], label [[LR_PH:%.*]], label [[CRITEDGE]]
  67 ; CHECK:       lr.ph:
  68 ; CHECK-NEXT:    br i1 undef, label [[SPLIT1:%.*]], label [[SPLIT2:%.*]]
  69 ; CHECK:       split1:
  70 ; CHECK-NEXT:    br label [[CRITEDGE]]
  71 ; CHECK:       split2:
  72 ; CHECK-NEXT:    br label [[CRITEDGE]]
  73 ; CHECK:       critedge:
  74 ; CHECK-NEXT:    [[PHIOFOPS1:%.*]] = phi i1 [ false, [[BB1]] ], [ true, [[SPLIT2]] ], [ true, [[SPLIT1]] ]
  75 ; CHECK-NEXT:    [[PHIOFOPS:%.*]] = phi i1 [ [[CMP1]], [[BB1]] ], [ true, [[SPLIT2]] ], [ true, [[SPLIT1]] ]
  76 ; CHECK-NEXT:    [[LCSSA:%.*]] = phi i32 [ 0, [[BB1]] ], [ -1, [[SPLIT1]] ], [ -1, [[SPLIT2]] ]
  77 ; CHECK-NEXT:    [[ADD]] = add nsw i32 [[STOREMERGE]], -1
  78 ; CHECK-NEXT:    br i1 [[PHIOFOPS]], label [[BB1]], label [[EXIT:%.*]]
  79 ; CHECK:       exit:
  80 ; CHECK-NEXT:    ret void
  81 ;
  82   br label %bb1
  83
  84 bb1:                                      ; preds = %critedge, %0
  85   %storemerge = phi i32 [ 0, %0 ], [ %add, %critedge ]
  86   %cmp1 = icmp eq i32 %storemerge, 0
  87   br i1 %cmp1, label %lr.ph, label %critedge
  88
  89 lr.ph:                                           ; preds = %bb1
  90   br i1 undef, label %split1, label %split2
  91
  92 split1:                                     ; preds = %lr.ph
  93   br label %critedge
  94
  95 split2:                                     ; preds = %lr.ph
  96   br label %critedge
  97
  98 critedge:                                        ; preds = %split1, %split2, %bb1
  99   %lcssa = phi i32 [ 0, %bb1 ], [ -1, %split1 ], [ -1, %split2 ]
 100   %cmp2 = icmp ne i32 %lcssa, 0
 101   %brmerge = or i1 %cmp1, %cmp2
 102   %add = add nsw i32 %storemerge, -1
 103   br i1 %brmerge, label %bb1, label %exit
 104
 105 exit:                                      ; preds = %critedge
 106   ret void
 107 }