llvm/test/Transforms/GVN/loadpre-missed-opportunity.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=gvn -gvn-max-block-speculations=1 -S | FileCheck -check-prefix=PRE %s
   3 ; RUN: opt < %s -passes=gvn -gvn-max-block-speculations=0 -S | FileCheck -check-prefix=CHECK %s
   4
   5 define i32 @loadpre_opportunity(ptr %arg, i1 %arg1, i1 %arg2, i1 %arg3) {
   6 ; PRE-LABEL: @loadpre_opportunity(
   7 ; PRE-NEXT:  bb:
   8 ; PRE-NEXT:    [[I:%.*]] = load ptr, ptr [[ARG:%.*]], align 8
   9 ; PRE-NEXT:    [[I6:%.*]] = call i32 @use(ptr [[I]])
  10 ; PRE-NEXT:    br label [[BB11:%.*]]
  11 ; PRE:       bb7:
  12 ; PRE-NEXT:    [[I8:%.*]] = phi ptr [ [[I8_PRE:%.*]], [[BB17_BB7_CRIT_EDGE:%.*]] ], [ [[I81:%.*]], [[BB11]] ]
  13 ; PRE-NEXT:    [[I10:%.*]] = call i32 @use(ptr [[I8]])
  14 ; PRE-NEXT:    br label [[BB11]]
  15 ; PRE:       bb11:
  16 ; PRE-NEXT:    [[I81]] = phi ptr [ [[I]], [[BB:%.*]] ], [ [[I8]], [[BB7:%.*]] ]
  17 ; PRE-NEXT:    [[I12:%.*]] = phi i32 [ [[I6]], [[BB]] ], [ [[I10]], [[BB7]] ]
  18 ; PRE-NEXT:    br i1 [[ARG1:%.*]], label [[BB7]], label [[BB13:%.*]]
  19 ; PRE:       bb13:
  20 ; PRE-NEXT:    call void @somecall()
  21 ; PRE-NEXT:    br i1 [[ARG2:%.*]], label [[BB14:%.*]], label [[BB17:%.*]]
  22 ; PRE:       bb14:
  23 ; PRE-NEXT:    br label [[BB15:%.*]]
  24 ; PRE:       bb15:
  25 ; PRE-NEXT:    br i1 [[ARG3:%.*]], label [[BB16:%.*]], label [[BB15]]
  26 ; PRE:       bb16:
  27 ; PRE-NEXT:    br label [[BB17]]
  28 ; PRE:       bb17:
  29 ; PRE-NEXT:    [[I18:%.*]] = call i1 @cond()
  30 ; PRE-NEXT:    br i1 [[I18]], label [[BB17_BB7_CRIT_EDGE]], label [[BB19:%.*]]
  31 ; PRE:       bb17.bb7_crit_edge:
  32 ; PRE-NEXT:    [[I8_PRE]] = load ptr, ptr [[ARG]], align 8
  33 ; PRE-NEXT:    br label [[BB7]]
  34 ; PRE:       bb19:
  35 ; PRE-NEXT:    ret i32 [[I12]]
  36 ;
  37 ; CHECK-LABEL: @loadpre_opportunity(
  38 ; CHECK-NEXT:  bb:
  39 ; CHECK-NEXT:    [[I:%.*]] = load ptr, ptr [[ARG:%.*]], align 8
  40 ; CHECK-NEXT:    [[I6:%.*]] = call i32 @use(ptr [[I]])
  41 ; CHECK-NEXT:    br label [[BB11:%.*]]
  42 ; CHECK:       bb7:
  43 ; CHECK-NEXT:    [[I8:%.*]] = load ptr, ptr [[ARG]], align 8
  44 ; CHECK-NEXT:    [[I10:%.*]] = call i32 @use(ptr [[I8]])
  45 ; CHECK-NEXT:    br label [[BB11]]
  46 ; CHECK:       bb11:
  47 ; CHECK-NEXT:    [[I12:%.*]] = phi i32 [ [[I6]], [[BB:%.*]] ], [ [[I10]], [[BB7:%.*]] ]
  48 ; CHECK-NEXT:    br i1 [[ARG1:%.*]], label [[BB7]], label [[BB13:%.*]]
  49 ; CHECK:       bb13:
  50 ; CHECK-NEXT:    call void @somecall()
  51 ; CHECK-NEXT:    br i1 [[ARG2:%.*]], label [[BB14:%.*]], label [[BB17:%.*]]
  52 ; CHECK:       bb14:
  53 ; CHECK-NEXT:    br label [[BB15:%.*]]
  54 ; CHECK:       bb15:
  55 ; CHECK-NEXT:    br i1 [[ARG3:%.*]], label [[BB16:%.*]], label [[BB15]]
  56 ; CHECK:       bb16:
  57 ; CHECK-NEXT:    br label [[BB17]]
  58 ; CHECK:       bb17:
  59 ; CHECK-NEXT:    [[I18:%.*]] = call i1 @cond()
  60 ; CHECK-NEXT:    br i1 [[I18]], label [[BB7]], label [[BB19:%.*]]
  61 ; CHECK:       bb19:
  62 ; CHECK-NEXT:    ret i32 [[I12]]
  63 ;
  64 bb:
  65   %i = load ptr, ptr %arg, align 8
  66   br label %bb5
  67
  68 bb5:
  69   %i6 = call i32 @use(ptr %i)
  70   br label %bb11
  71
  72 bb7:
  73   %i8 = load ptr, ptr %arg, align 8
  74   %i10 = call i32 @use(ptr %i8)
  75   br label %bb11
  76
  77 bb11:
  78   %i12 = phi i32 [ %i6, %bb5 ], [ %i10, %bb7 ]
  79   br i1 %arg1, label %bb7, label %bb13
  80
  81 bb13:
  82   call void @somecall()
  83   br i1 %arg2, label %bb14, label %bb17
  84
  85 bb14:
  86   br label %bb15
  87
  88 bb15:
  89   br i1 %arg3, label %bb16, label %bb15
  90
  91 bb16:
  92   br label %bb17
  93
  94 bb17:
  95   %i18 = call i1 @cond()
  96   br i1 %i18, label %bb7, label %bb19
  97
  98 bb19:
  99   ret i32 %i12
 100 }
 101
 102 declare void @somecall()
 103 declare i32 @use(ptr) readnone
 104 declare i1 @cond() readnone