34 lines · plain
1; This is a basic correctness check for constant propagation. The fneg2; instruction should be eliminated.3 4; RUN: opt < %s -passes=sccp -S | FileCheck %s5 6define double @test(i1 %B) {7 br i1 %B, label %BB1, label %BB28BB1:9 %Val = fneg double 42.010 br label %BB311BB2:12 br label %BB313BB3:14 %Ret = phi double [%Val, %BB1], [1.0, %BB2]15 ret double %Ret16; CHECK-LABEL: @test(17; CHECK: [[PHI:%.*]] = phi double [ -4.200000e+01, %BB1 ], [ 1.000000e+00, %BB2 ]18}19 20define double @test1(i1 %B) {21 br i1 %B, label %BB1, label %BB222BB1:23 %Div = fdiv double 1.0, 1.024 %Val = fneg double %Div25 br label %BB326BB2:27 br label %BB328BB3:29 %Ret = phi double [%Val, %BB1], [1.0, %BB2]30 ret double %Ret31; CHECK-LABEL: @test1(32; CHECK: [[PHI:%.*]] = phi double [ -1.000000e+00, %BB1 ], [ 1.000000e+00, %BB2 ]33}34