llvm/test/Transforms/NewGVN/2007-07-26-PhiErasure.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
   3 ; RUN: opt < %s -passes=newgvn --enable-knowledge-retention -S | FileCheck %s
   4
   5 %struct..0anon = type { i32 }
   6 %struct.FILE = type { ptr, i32, i32, i16, i16, %struct.__sbuf, i32, ptr, ptr, ptr, ptr, ptr, %struct.__sbuf, ptr, i32, [3 x i8], [1 x i8], %struct.__sbuf, i32, i64 }
   7 %struct.__sFILEX = type opaque
   8 %struct.__sbuf = type { ptr, i32 }
   9 %struct.rtx_def = type { i16, i8, i8, [1 x %struct..0anon] }
  10 @n_spills = external global i32         ; <ptr> [#uses=2]
  11
  12 define i32 @reload(ptr %first, i32 %global, ptr %dumpfile) {
  13 ; CHECK-LABEL: @reload(
  14 ; CHECK-NEXT:  cond_next2835.1:
  15 ; CHECK-NEXT:    br label [[BB2928:%.*]]
  16 ; CHECK:       bb2928:
  17 ; CHECK-NEXT:    br i1 false, label [[COND_NEXT2943:%.*]], label [[COND_TRUE2935:%.*]]
  18 ; CHECK:       cond_true2935:
  19 ; CHECK-NEXT:    br label [[COND_NEXT2943]]
  20 ; CHECK:       cond_next2943:
  21 ; CHECK-NEXT:    br i1 false, label [[BB2982_PREHEADER:%.*]], label [[BB2928]]
  22 ; CHECK:       bb2982.preheader:
  23 ; CHECK-NEXT:    store i8 poison, ptr null
  24 ; CHECK-NEXT:    ret i32 poison
  25 ;
  26 cond_next2835.1:                ; preds = %cond_next2861
  27   %tmp2922 = load i32, ptr @n_spills, align 4           ; <i32> [#uses=0]
  28   br label %bb2928
  29
  30 bb2928:         ; preds = %cond_next2835.1, %cond_next2943
  31   br i1 false, label %cond_next2943, label %cond_true2935
  32
  33 cond_true2935:          ; preds = %bb2928
  34   br label %cond_next2943
  35
  36 cond_next2943:          ; preds = %cond_true2935, %bb2928
  37   br i1 false, label %bb2982.preheader, label %bb2928
  38
  39 bb2982.preheader:               ; preds = %cond_next2943
  40   %tmp298316 = load i32, ptr @n_spills, align 4         ; <i32> [#uses=0]
  41   ret i32 %tmp298316
  42
  43 }