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

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