test/Transforms/GVN/2007-07-26-PhiErasure.ll

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