1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -passes=instcombine < %s | FileCheck %s 3 4@Q = internal unnamed_addr global double 1.000000e+00, align 8 5 6define double @test(i1 %c, ptr %p) { 7; CHECK-LABEL: @test( 8; CHECK-NEXT: entry: 9; CHECK-NEXT: br i1 [[C:%.*]], label [[IF:%.*]], label [[END:%.*]] 10; CHECK: if: 11; CHECK-NEXT: [[LOAD1:%.*]] = load double, ptr @Q, align 8 12; CHECK-NEXT: br label [[END]] 13; CHECK: end: 14; CHECK-NEXT: [[TMP0:%.*]] = phi double [ 0.000000e+00, [[ENTRY:%.*]] ], [ [[LOAD1]], [[IF]] ] 15; CHECK-NEXT: store double [[TMP0]], ptr [[P:%.*]], align 8 16; CHECK-NEXT: ret double [[TMP0]] 17; 18entry: 19 br i1 %c, label %if, label %end 20 21if: 22 %load = load i64, ptr @Q, align 8 23 br label %end 24 25end: 26 %phi = phi i64 [ 0, %entry ], [ %load, %if ] 27 store i64 %phi, ptr %p, align 8 28 %cast = bitcast i64 %phi to double 29 ret double %cast 30 31 uselistorder i64 %phi, { 1, 0 } 32} 33