; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instsimplify -S | FileCheck %s
+define <2 x float> @fsub_negzero_vec_undef_elts(<2 x float> %x) {
+; CHECK-LABEL: @fsub_negzero_vec_undef_elts(
+; CHECK-NEXT: [[R:%.*]] = fsub nsz <2 x float> [[X:%.*]], <float undef, float -0.000000e+00>
+; CHECK-NEXT: ret <2 x float> [[R]]
+;
+ %r = fsub nsz <2 x float> %x, <float undef, float -0.0>
+ ret <2 x float> %r
+}
+
; fsub -0.0, (fsub -0.0, X) ==> X
define float @fsub_-0_-0_x(float %a) {
; CHECK-LABEL: @fsub_-0_-0_x(