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 } 43