ret float %sel
}
+define double @fneg_fneg_sel_fmf1(double %x, double %y, i1 %cond) {
+; CHECK-LABEL: @fneg_fneg_sel_fmf1(
+; CHECK-NEXT: [[SEL_V:%.*]] = select i1 [[COND:%.*]], double [[X:%.*]], double [[Y:%.*]]
+; CHECK-NEXT: [[SEL:%.*]] = fneg nnan double [[SEL_V]]
+; CHECK-NEXT: ret double [[SEL]]
+;
+ %n1 = fneg nnan double %x
+ %n2 = fneg ninf double %y
+ %sel = select i1 %cond, double %n1, double %n2
+ ret double %sel
+}
+
+define double @fneg_fneg_sel_fmf2(double %x, double %y, i1 %cond) {
+; CHECK-LABEL: @fneg_fneg_sel_fmf2(
+; CHECK-NEXT: [[SEL_V:%.*]] = select i1 [[COND:%.*]], double [[X:%.*]], double [[Y:%.*]]
+; CHECK-NEXT: [[SEL:%.*]] = fneg nnan ninf double [[SEL_V]]
+; CHECK-NEXT: ret double [[SEL]]
+;
+ %n1 = fneg nnan ninf double %x
+ %n2 = fneg ninf double %y
+ %sel = select i1 %cond, double %n1, double %n2
+ ret double %sel
+}
+
+define double @fneg_fneg_sel_fmf3(double %x, double %y, i1 %cond) {
+; CHECK-LABEL: @fneg_fneg_sel_fmf3(
+; CHECK-NEXT: [[SEL_V:%.*]] = select i1 [[COND:%.*]], double [[X:%.*]], double [[Y:%.*]]
+; CHECK-NEXT: [[SEL:%.*]] = fneg nnan ninf double [[SEL_V]]
+; CHECK-NEXT: ret double [[SEL]]
+;
+ %n1 = fneg nnan ninf double %x
+ %n2 = fneg ninf double %y
+ %sel = select ninf i1 %cond, double %n1, double %n2
+ ret double %sel
+}
+
+define double @fneg_fneg_sel_fmf4(double %x, double %y, i1 %cond) {
+; CHECK-LABEL: @fneg_fneg_sel_fmf4(
+; CHECK-NEXT: [[SEL_V:%.*]] = select i1 [[COND:%.*]], double [[X:%.*]], double [[Y:%.*]]
+; CHECK-NEXT: [[SEL:%.*]] = fneg nnan double [[SEL_V]]
+; CHECK-NEXT: ret double [[SEL]]
+;
+ %n1 = fneg nnan double %x
+ %n2 = fneg ninf double %y
+ %sel = select nsz nnan ninf i1 %cond, double %n1, double %n2
+ ret double %sel
+}
+
; Negative test
define float @fneg_fadd_constant(float %x) {