[InstCombine] adjust tests to show dropping FMF; NFC

Also, remove some stale FIXME comments ( rL346234 ).

llvm-svn: 346236
This commit is contained in:
Sanjay Patel 2018-11-06 15:57:52 +00:00
parent 05e70fb978
commit a166d19d93
1 changed files with 4 additions and 4 deletions

View File

@ -78,7 +78,7 @@ define <2 x i1> @fneg_constant_swap_pred_vec_undef(<2 x float> %x) {
ret <2 x i1> %cmp ret <2 x i1> %cmp
} }
; FIXME: The new fcmp should have the same FMF as the original. ; The new fcmp should have the same FMF as the original.
define i1 @fneg_fmf(float %x) { define i1 @fneg_fmf(float %x) {
; CHECK-LABEL: @fneg_fmf( ; CHECK-LABEL: @fneg_fmf(
@ -90,7 +90,7 @@ define i1 @fneg_fmf(float %x) {
ret i1 %r ret i1 %r
} }
; FIXME: The new fcmp should have the same FMF as the original, vector edition. ; The new fcmp should have the same FMF as the original, vector edition.
define <2 x i1> @fcmp_fneg_fmf_vec(<2 x float> %x) { define <2 x i1> @fcmp_fneg_fmf_vec(<2 x float> %x) {
; CHECK-LABEL: @fcmp_fneg_fmf_vec( ; CHECK-LABEL: @fcmp_fneg_fmf_vec(
@ -109,7 +109,7 @@ define i1 @fneg_fneg_swap_pred(float %x, float %y) {
; ;
%neg1 = fsub float -0.0, %x %neg1 = fsub float -0.0, %x
%neg2 = fsub float -0.0, %y %neg2 = fsub float -0.0, %y
%cmp = fcmp olt float %neg1, %neg2 %cmp = fcmp nnan olt float %neg1, %neg2
ret i1 %cmp ret i1 %cmp
} }
@ -120,7 +120,7 @@ define <2 x i1> @fneg_fneg_swap_pred_vec(<2 x float> %x, <2 x float> %y) {
; ;
%neg1 = fsub <2 x float> <float -0.0, float -0.0>, %x %neg1 = fsub <2 x float> <float -0.0, float -0.0>, %x
%neg2 = fsub <2 x float> <float -0.0, float -0.0>, %y %neg2 = fsub <2 x float> <float -0.0, float -0.0>, %y
%cmp = fcmp olt <2 x float> %neg1, %neg2 %cmp = fcmp ninf olt <2 x float> %neg1, %neg2
ret <2 x i1> %cmp ret <2 x i1> %cmp
} }