; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
; RUN: opt < %s -passes='sroa' -S | FileCheck %s
define double @phi_with_nsz(double %x) "no-signed-zeros-fp-math"="true" {
; CHECK-LABEL: define double @phi_with_nsz(
; CHECK-SAME: double [[X:%.*]]) #[[ATTR0:[0-9]+]] {
; CHECK-NEXT:  entry:
; CHECK-NEXT:    [[CMP:%.*]] = fcmp olt double [[X]], 0.000000e+00
; CHECK-NEXT:    br i1 [[CMP]], label [[IF_THEN:%.*]], label [[RETURN:%.*]]
; CHECK:       if.then:
; CHECK-NEXT:    [[FNEG:%.*]] = fneg double [[X]]
; CHECK-NEXT:    br label [[RETURN]]
; CHECK:       return:
; CHECK-NEXT:    [[X_ADDR_0:%.*]] = phi nsz double [ [[FNEG]], [[IF_THEN]] ], [ undef, [[ENTRY:%.*]] ]
; CHECK-NEXT:    ret double [[X_ADDR_0]]
entry:
  %x.addr = alloca double
  %cmp = fcmp olt double %x, 0.0
  br i1 %cmp, label %if.then, label %return

if.then:                         ; preds = %entry
  %fneg = fneg double %x
  store double %fneg, ptr %x.addr
  br label %return

return:                          ; preds = %entry,%if.then
  %retval = load double, ptr %x.addr
  ret double %retval
}

define <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" {
; CHECK-LABEL: define <2 x double> @vector_phi_with_nsz(
; CHECK-SAME: <2 x double> [[X:%.*]], i1 [[CMP:%.*]], <2 x double> [[A:%.*]], <2 x double> [[B:%.*]]) #[[ATTR0]] {
; CHECK-NEXT:  entry:
; CHECK-NEXT:    br i1 [[CMP]], label [[IF_THEN:%.*]], label [[RETURN:%.*]]
; CHECK:       if.then:
; CHECK-NEXT:    br label [[RETURN]]
; CHECK:       return:
; CHECK-NEXT:    [[X_ADDR_0:%.*]] = phi nsz <2 x double> [ [[B]], [[IF_THEN]] ], [ [[A]], [[ENTRY:%.*]] ]
; CHECK-NEXT:    ret <2 x double> [[X_ADDR_0]]
entry:
  %x.addr = alloca <2 x double>
  store <2 x double> %a, ptr %x.addr
  br i1 %cmp, label %if.then, label %return

if.then:                         ; preds = %entry
  store <2 x double> %b, ptr %x.addr
  br label %return

return:                          ; preds = %entry,%if.then
  %retval = load <2 x double>, ptr %x.addr
  ret <2 x double> %retval
}

define double @phi_without_nsz(double %x) "no-signed-zeros-fp-math"="false" {
; CHECK-LABEL: define double @phi_without_nsz(
; CHECK-SAME: double [[X:%.*]]) #[[ATTR1:[0-9]+]] {
; CHECK-NEXT:  entry:
; CHECK-NEXT:    [[CMP:%.*]] = fcmp olt double [[X]], 0.000000e+00
; CHECK-NEXT:    br i1 [[CMP]], label [[IF_THEN:%.*]], label [[RETURN:%.*]]
; CHECK:       if.then:
; CHECK-NEXT:    [[FNEG:%.*]] = fneg double [[X]]
; CHECK-NEXT:    br label [[RETURN]]
; CHECK:       return:
; CHECK-NEXT:    [[X_ADDR_0:%.*]] = phi double [ [[FNEG]], [[IF_THEN]] ], [ undef, [[ENTRY:%.*]] ]
; CHECK-NEXT:    ret double [[X_ADDR_0]]
entry:
  %x.addr = alloca double
  %cmp = fcmp olt double %x, 0.0
  br i1 %cmp, label %if.then, label %return

if.then:                         ; preds = %entry
  %fneg = fneg double %x
  store double %fneg, ptr %x.addr
  br label %return

return:                          ; preds = %entry,%if.then
  %retval = load double, ptr %x.addr
  ret double %retval
}