From 5a4c6b79aa011665ee0aeb745aaa242a9b0686de Mon Sep 17 00:00:00 2001
From: Sanjay Patel <spatel@rotateright.com>
Date: Tue, 27 Feb 2018 20:17:18 +0000
Subject: [PATCH] [InstSimplify] add tests for FP with undef operand; NFC

Are any of these correct?

llvm-svn: 326241
---
 test/Transforms/InstSimplify/fdiv.ll     | 18 -----
 test/Transforms/InstSimplify/fp-undef.ll | 89 ++++++++++++++++++++++++
 2 files changed, 89 insertions(+), 18 deletions(-)
 create mode 100644 test/Transforms/InstSimplify/fp-undef.ll

diff --git a/test/Transforms/InstSimplify/fdiv.ll b/test/Transforms/InstSimplify/fdiv.ll
index cc883cbbaf1..b245c2e4359 100644
--- a/test/Transforms/InstSimplify/fdiv.ll
+++ b/test/Transforms/InstSimplify/fdiv.ll
@@ -17,24 +17,6 @@ define float @frem_constant_fold() {
   ret float %f
 }
 
-define double @fdiv_of_undef(double %X) {
-; CHECK-LABEL: @fdiv_of_undef(
-; CHECK-NEXT:    ret double undef
-;
-; undef / X -> undef
-  %r = fdiv double undef, %X
-  ret double %r
-}
-
-define double @fdiv_by_undef(double %X) {
-; CHECK-LABEL: @fdiv_by_undef(
-; CHECK-NEXT:    ret double undef
-;
-; X / undef -> undef
-  %r = fdiv double %X, undef
-  ret double %r
-}
-
 define double @fmul_fdiv_common_operand(double %x, double %y) {
 ; CHECK-LABEL: @fmul_fdiv_common_operand(
 ; CHECK-NEXT:    ret double %x
diff --git a/test/Transforms/InstSimplify/fp-undef.ll b/test/Transforms/InstSimplify/fp-undef.ll
new file mode 100644
index 00000000000..79331e4a268
--- /dev/null
+++ b/test/Transforms/InstSimplify/fp-undef.ll
@@ -0,0 +1,89 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -instsimplify -S | FileCheck %s
+
+define float @fadd_undef_op0(float %x) {
+; CHECK-LABEL: @fadd_undef_op0(
+; CHECK-NEXT:    [[R:%.*]] = fadd float undef, [[X:%.*]]
+; CHECK-NEXT:    ret float [[R]]
+;
+  %r = fadd float undef, %x
+  ret float %r
+}
+
+define float @fadd_undef_op1(float %x) {
+; CHECK-LABEL: @fadd_undef_op1(
+; CHECK-NEXT:    [[R:%.*]] = fadd float [[X:%.*]], undef
+; CHECK-NEXT:    ret float [[R]]
+;
+  %r = fadd float %x, undef
+  ret float %r
+}
+
+define float @fsub_undef_op0(float %x) {
+; CHECK-LABEL: @fsub_undef_op0(
+; CHECK-NEXT:    [[R:%.*]] = fsub float undef, [[X:%.*]]
+; CHECK-NEXT:    ret float [[R]]
+;
+  %r = fsub float undef, %x
+  ret float %r
+}
+
+define float @fsub_undef_op1(float %x) {
+; CHECK-LABEL: @fsub_undef_op1(
+; CHECK-NEXT:    [[R:%.*]] = fsub float [[X:%.*]], undef
+; CHECK-NEXT:    ret float [[R]]
+;
+  %r = fsub float %x, undef
+  ret float %r
+}
+
+define float @fmul_undef_op0(float %x) {
+; CHECK-LABEL: @fmul_undef_op0(
+; CHECK-NEXT:    [[R:%.*]] = fmul float undef, [[X:%.*]]
+; CHECK-NEXT:    ret float [[R]]
+;
+  %r = fmul float undef, %x
+  ret float %r
+}
+
+define float @fmul_undef_op1(float %x) {
+; CHECK-LABEL: @fmul_undef_op1(
+; CHECK-NEXT:    [[R:%.*]] = fmul float [[X:%.*]], undef
+; CHECK-NEXT:    ret float [[R]]
+;
+  %r = fmul float %x, undef
+  ret float %r
+}
+
+define float @fdiv_undef_op0(float %x) {
+; CHECK-LABEL: @fdiv_undef_op0(
+; CHECK-NEXT:    ret float undef
+;
+  %r = fdiv float undef, %x
+  ret float %r
+}
+
+define float @fdiv_undef_op1(float %x) {
+; CHECK-LABEL: @fdiv_undef_op1(
+; CHECK-NEXT:    ret float undef
+;
+  %r = fdiv float %x, undef
+  ret float %r
+}
+
+define float @frem_undef_op0(float %x) {
+; CHECK-LABEL: @frem_undef_op0(
+; CHECK-NEXT:    ret float undef
+;
+  %r = frem float undef, %x
+  ret float %r
+}
+
+define float @frem_undef_op1(float %x) {
+; CHECK-LABEL: @frem_undef_op1(
+; CHECK-NEXT:    ret float undef
+;
+  %r = frem float %x, undef
+  ret float %r
+}
+