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 10define i32 @reload(%struct.rtx_def* %first, i32 %global, %struct.FILE* %dumpfile) { 11cond_next2835.1: ; preds = %cond_next2861 12 %tmp2922 = load i32, i32* @n_spills, align 4 ; <i32> [#uses=0] 13 br label %bb2928 14 15bb2928: ; preds = %cond_next2835.1, %cond_next2943 16 br i1 false, label %cond_next2943, label %cond_true2935 17 18cond_true2935: ; preds = %bb2928 19 br label %cond_next2943 20 21cond_next2943: ; preds = %cond_true2935, %bb2928 22 br i1 false, label %bb2982.preheader, label %bb2928 23 24bb2982.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: } 45