33 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=instcombine < %s | FileCheck %s3 4@Q = internal unnamed_addr global double 1.000000e+00, align 85 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 812; 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 816; CHECK-NEXT: ret double [[TMP0]]17;18entry:19 br i1 %c, label %if, label %end20 21if:22 %load = load i64, ptr @Q, align 823 br label %end24 25end:26 %phi = phi i64 [ 0, %entry ], [ %load, %if ]27 store i64 %phi, ptr %p, align 828 %cast = bitcast i64 %phi to double29 ret double %cast30 31 uselistorder i64 %phi, { 1, 0 }32}33