80 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt < %s -passes='sroa' -S | FileCheck %s3define 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+008; 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 double17 %cmp = fcmp olt double %x, 0.018 br i1 %cmp, label %if.then, label %return19 20if.then: ; preds = %entry21 %fneg = fneg double %x22 store double %fneg, ptr %x.addr23 br label %return24 25return: ; preds = %entry,%if.then26 %retval = load double, ptr %x.addr27 ret double %retval28}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.addr43 br i1 %cmp, label %if.then, label %return44 45if.then: ; preds = %entry46 store <2 x double> %b, ptr %x.addr47 br label %return48 49return: ; preds = %entry,%if.then50 %retval = load <2 x double>, ptr %x.addr51 ret <2 x double> %retval52}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+0059; 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 double68 %cmp = fcmp olt double %x, 0.069 br i1 %cmp, label %if.then, label %return70 71if.then: ; preds = %entry72 %fneg = fneg double %x73 store double %fneg, ptr %x.addr74 br label %return75 76return: ; preds = %entry,%if.then77 %retval = load double, ptr %x.addr78 ret double %retval79}80