Add unary fneg to InstSimplify/fp-nan.ll
authorCameron McInally <cameron.mcinally@nyu.edu>
Wed, 15 May 2019 20:27:35 +0000 (20:27 +0000)
committerCameron McInally <cameron.mcinally@nyu.edu>
Wed, 15 May 2019 20:27:35 +0000 (20:27 +0000)
llvm-svn: 360807

llvm/test/Transforms/InstSimplify/fp-nan.ll

index 5d2588f..e8097ed 100644 (file)
@@ -117,6 +117,14 @@ define double @unary_fneg_nan_1(double %x) {
   ret double %r
 }
 
+define double @unary_fneg_nan_1(double %x) {
+; CHECK-LABEL: @unary_fneg_nan_1(
+; CHECK-NEXT:    ret double 0xFFFABCDEF0123456
+;
+  %r = fneg double 0x7FFABCDEF0123456
+  ret double %r
+}
+
 define <2 x double> @fneg_nan_2(<2 x double> %x) {
 ; CHECK-LABEL: @fneg_nan_2(
 ; CHECK-NEXT:    ret <2 x double> <double 0x7FF1234567890ABC, double 0xFFF0000000000001>
@@ -133,6 +141,14 @@ define <2 x double> @unary_fneg_nan_2(<2 x double> %x) {
   ret <2 x double> %r
 }
 
+define <2 x double> @unary_fneg_nan_2(<2 x double> %x) {
+; CHECK-LABEL: @unary_fneg_nan_2(
+; CHECK-NEXT:    ret <2 x double> <double 0x7FF1234567890ABC, double 0xFFF0000000000001>
+;
+  %r = fneg <2 x double> <double 0xFFF1234567890ABC, double 0x7FF0000000000001>
+  ret <2 x double> %r
+}
+
 ; Repeat all tests with fast-math-flags. Alternate 'nnan' and 'fast' for more coverage.
 
 define float @fadd_nan_op0_nnan(float %x) {