%trunc = fptrunc double %maximum to float
ret float %trunc
}
+
+define float @negated_op(float %x) {
+; CHECK-LABEL: @negated_op(
+; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X:%.*]]
+; CHECK-NEXT: [[R:%.*]] = call float @llvm.maximum.f32(float [[X]], float [[NEGX]])
+; CHECK-NEXT: ret float [[R]]
+;
+ %negx = fneg float %x
+ %r = call float @llvm.maximum.f32(float %x, float %negx)
+ ret float %r
+}
+
+define <2 x double> @negated_op_fmf_commute_vec(<2 x double> %x) {
+; CHECK-LABEL: @negated_op_fmf_commute_vec(
+; CHECK-NEXT: [[NEGX:%.*]] = fneg <2 x double> [[X:%.*]]
+; CHECK-NEXT: [[R:%.*]] = call nnan ninf nsz <2 x double> @llvm.maximum.v2f64(<2 x double> [[NEGX]], <2 x double> [[X]])
+; CHECK-NEXT: ret <2 x double> [[R]]
+;
+ %negx = fneg <2 x double> %x
+ %r = call nsz nnan ninf <2 x double> @llvm.maximum.v2f64(<2 x double> %negx, <2 x double> %x)
+ ret <2 x double> %r
+}
+
+define float @negated_op_extra_use(float %x) {
+; CHECK-LABEL: @negated_op_extra_use(
+; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X:%.*]]
+; CHECK-NEXT: call void @use(float [[NEGX]])
+; CHECK-NEXT: [[R:%.*]] = call float @llvm.maximum.f32(float [[NEGX]], float [[X]])
+; CHECK-NEXT: ret float [[R]]
+;
+ %negx = fneg float %x
+ call void @use(float %negx)
+ %r = call float @llvm.maximum.f32(float %negx, float %x)
+ ret float %r
+}
%trunc = fptrunc double %minimum to float
ret float %trunc
}
+
+define float @negated_op(float %x) {
+; CHECK-LABEL: @negated_op(
+; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X:%.*]]
+; CHECK-NEXT: [[R:%.*]] = call float @llvm.minimum.f32(float [[X]], float [[NEGX]])
+; CHECK-NEXT: ret float [[R]]
+;
+ %negx = fneg float %x
+ %r = call float @llvm.minimum.f32(float %x, float %negx)
+ ret float %r
+}
+
+define <2 x double> @negated_op_fmf_commute_vec(<2 x double> %x) {
+; CHECK-LABEL: @negated_op_fmf_commute_vec(
+; CHECK-NEXT: [[NEGX:%.*]] = fneg <2 x double> [[X:%.*]]
+; CHECK-NEXT: [[R:%.*]] = call nnan ninf nsz <2 x double> @llvm.minimum.v2f64(<2 x double> [[NEGX]], <2 x double> [[X]])
+; CHECK-NEXT: ret <2 x double> [[R]]
+;
+ %negx = fneg <2 x double> %x
+ %r = call nsz nnan ninf <2 x double> @llvm.minimum.v2f64(<2 x double> %negx, <2 x double> %x)
+ ret <2 x double> %r
+}
+
+define double @negated_op_extra_use(double %x) {
+; CHECK-LABEL: @negated_op_extra_use(
+; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X:%.*]]
+; CHECK-NEXT: call void @use(double [[NEGX]])
+; CHECK-NEXT: [[R:%.*]] = call double @llvm.minimum.f64(double [[NEGX]], double [[X]])
+; CHECK-NEXT: ret double [[R]]
+;
+ %negx = fneg double %x
+ call void @use(double %negx)
+ %r = call double @llvm.minimum.f64(double %negx, double %x)
+ ret double %r
+}