test/Transforms/NewGVN/pr32607.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -newgvn %s -S -o - | FileCheck %s
   3 define hidden void @foo() {
   4 ; CHECK-LABEL: @foo(
   5 ; CHECK-NEXT:  top:
   6 ; CHECK-NEXT:    br label [[IF:%.*]]
   7 ; CHECK:       if:
   8 ; CHECK-NEXT:    [[TMP0:%.*]] = phi double [ [[TMP1:%.*]], [[IF]] ], [ undef, [[TOP:%.*]] ]
   9 ; CHECK-NEXT:    [[TMP1]] = fadd double [[TMP0]], 1.000000e+00
  10 ; CHECK-NEXT:    br i1 false, label [[L50:%.*]], label [[IF]]
  11 ; CHECK:       L50:
  12 ; CHECK-NEXT:    store i8 undef, i8* null
  13 ; CHECK-NEXT:    ret void
  14 ;
  15 top:
  16   %.promoted = load double, double* undef, align 8
  17   br label %if
  18
  19 ;; This is really a multi-valued phi, because the phi is defined by an expression of the phi.
  20 ;; This means that we can't propagate the value over the backedge, because we'll just cycle
  21 ;; through every value.
  22
  23 if:                                               ; preds = %if, %top
  24   %0 = phi double [ %1, %if ], [ %.promoted, %top ]
  25   %1 = fadd double %0, 1.0
  26   br i1 false, label %L50, label %if
  27
  28 L50:                                              ; preds = %if
  29   %.lcssa = phi double [ %1, %if ]
  30   store double %.lcssa, double* undef, align 8
  31   ret void
  32 }
  33