1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
4 @Q = internal unnamed_addr global double 1.000000e+00, align 8
6 define double @test(i1 %c, ptr %p) {
9 ; CHECK-NEXT: br i1 [[C:%.*]], label [[IF:%.*]], label [[END:%.*]]
11 ; CHECK-NEXT: [[LOAD1:%.*]] = load double, ptr @Q, align 8
12 ; CHECK-NEXT: br label [[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]]
19 br i1 %c, label %if, label %end
22 %load = load i64, ptr @Q, align 8
26 %phi = phi i64 [ 0, %entry ], [ %load, %if ]
27 store i64 %phi, ptr %p, align 8
28 %cast = bitcast i64 %phi to double
31 uselistorder i64 %phi, { 1, 0 }