1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4 2; RUN: opt < %s -passes='sroa' -S | FileCheck %s 3define double @phi_with_nsz(double %x) "no-signed-zeros-fp-math"="true" { 4; CHECK-LABEL: define double @phi_with_nsz( 5; CHECK-SAME: double [[X:%.*]]) #[[ATTR0:[0-9]+]] { 6; CHECK-NEXT: entry: 7; CHECK-NEXT: [[CMP:%.*]] = fcmp olt double [[X]], 0.000000e+00 8; CHECK-NEXT: br i1 [[CMP]], label [[IF_THEN:%.*]], label [[RETURN:%.*]] 9; CHECK: if.then: 10; CHECK-NEXT: [[FNEG:%.*]] = fneg double [[X]] 11; CHECK-NEXT: br label [[RETURN]] 12; CHECK: return: 13; CHECK-NEXT: [[X_ADDR_0:%.*]] = phi nsz double [ [[FNEG]], [[IF_THEN]] ], [ undef, [[ENTRY:%.*]] ] 14; CHECK-NEXT: ret double [[X_ADDR_0]] 15entry: 16 %x.addr = alloca double 17 %cmp = fcmp olt double %x, 0.0 18 br i1 %cmp, label %if.then, label %return 19 20if.then: ; preds = %entry 21 %fneg = fneg double %x 22 store double %fneg, ptr %x.addr 23 br label %return 24 25return: ; preds = %entry,%if.then 26 %retval = load double, ptr %x.addr 27 ret double %retval 28} 29 30define <2 x double> @vector_phi_with_nsz(<2 x double> %x, i1 %cmp, <2 x double> %a, <2 x double> %b) "no-signed-zeros-fp-math"="true" { 31; CHECK-LABEL: define <2 x double> @vector_phi_with_nsz( 32; CHECK-SAME: <2 x double> [[X:%.*]], i1 [[CMP:%.*]], <2 x double> [[A:%.*]], <2 x double> [[B:%.*]]) #[[ATTR0]] { 33; CHECK-NEXT: entry: 34; CHECK-NEXT: br i1 [[CMP]], label [[IF_THEN:%.*]], label [[RETURN:%.*]] 35; CHECK: if.then: 36; CHECK-NEXT: br label [[RETURN]] 37; CHECK: return: 38; CHECK-NEXT: [[X_ADDR_0:%.*]] = phi nsz <2 x double> [ [[B]], [[IF_THEN]] ], [ [[A]], [[ENTRY:%.*]] ] 39; CHECK-NEXT: ret <2 x double> [[X_ADDR_0]] 40entry: 41 %x.addr = alloca <2 x double> 42 store <2 x double> %a, ptr %x.addr 43 br i1 %cmp, label %if.then, label %return 44 45if.then: ; preds = %entry 46 store <2 x double> %b, ptr %x.addr 47 br label %return 48 49return: ; preds = %entry,%if.then 50 %retval = load <2 x double>, ptr %x.addr 51 ret <2 x double> %retval 52} 53 54define double @phi_without_nsz(double %x) "no-signed-zeros-fp-math"="false" { 55; CHECK-LABEL: define double @phi_without_nsz( 56; CHECK-SAME: double [[X:%.*]]) #[[ATTR1:[0-9]+]] { 57; CHECK-NEXT: entry: 58; CHECK-NEXT: [[CMP:%.*]] = fcmp olt double [[X]], 0.000000e+00 59; CHECK-NEXT: br i1 [[CMP]], label [[IF_THEN:%.*]], label [[RETURN:%.*]] 60; CHECK: if.then: 61; CHECK-NEXT: [[FNEG:%.*]] = fneg double [[X]] 62; CHECK-NEXT: br label [[RETURN]] 63; CHECK: return: 64; CHECK-NEXT: [[X_ADDR_0:%.*]] = phi double [ [[FNEG]], [[IF_THEN]] ], [ undef, [[ENTRY:%.*]] ] 65; CHECK-NEXT: ret double [[X_ADDR_0]] 66entry: 67 %x.addr = alloca double 68 %cmp = fcmp olt double %x, 0.0 69 br i1 %cmp, label %if.then, label %return 70 71if.then: ; preds = %entry 72 %fneg = fneg double %x 73 store double %fneg, ptr %x.addr 74 br label %return 75 76return: ; preds = %entry,%if.then 77 %retval = load double, ptr %x.addr 78 ret double %retval 79} 80