[llvm] 788b08a - [InstCombine] add test for fneg of select with FMF; NFC

[Sanjay Patel via llvm-commits]

Author: Sanjay Patel
Date: 2022-02-24T10:42:25-05:00
New Revision: 788b08a58cef5888321bb74a57f8fcbf795fd47b

URL: https://github.com/llvm/llvm-project/commit/788b08a58cef5888321bb74a57f8fcbf795fd47b
DIFF: https://github.com/llvm/llvm-project/commit/788b08a58cef5888321bb74a57f8fcbf795fd47b.diff

LOG: [InstCombine] add test for fneg of select with FMF; NFC

Added: 
    

Modified: 
    llvm/test/Transforms/InstCombine/fneg.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/fneg.ll b/llvm/test/Transforms/InstCombine/fneg.ll
index 046c22e34bbd9..4c60a20d09ab3 100644
--- a/llvm/test/Transforms/InstCombine/fneg.ll
+++ b/llvm/test/Transforms/InstCombine/fneg.ll
@@ -648,6 +648,20 @@ define float @select_fneg_false_no_nsz(float %x, float %y, i1 %b) {
   ret float %r
 }
 
+; TODO: The removal of nsz in this pattern is not needed if the select condition can't be poison.
+
+define float @select_fneg_false_nsz_ok(float %x, float %y, i1 noundef %b) {
+; CHECK-LABEL: @select_fneg_false_nsz_ok(
+; CHECK-NEXT:    [[X_NEG:%.*]] = fneg nnan ninf nsz float [[X:%.*]]
+; CHECK-NEXT:    [[R:%.*]] = select nnan ninf i1 [[B:%.*]], float [[X_NEG]], float [[Y:%.*]]
+; CHECK-NEXT:    ret float [[R]]
+;
+  %ny = fneg float %y
+  %s = select i1 %b, float %x, float %ny
+  %r = fneg nsz ninf nnan float %s
+  ret float %r
+}
+
 define float @select_fneg_false_nsz(float %x, float %y, i1 %b) {
 ; CHECK-LABEL: @select_fneg_false_nsz(
 ; CHECK-NEXT:    [[X_NEG:%.*]] = fneg nnan ninf nsz float [[X:%.*]]