Add tests for primitive floats with 'native_compute'

Tests are updated to include native computations.

1 files changed, 10 insertions, 0 deletions

diff --git a/test-suite/primitive/float/classify.v b/test-suite/primitive/float/classify.v
index e4373415cb..22e3fca844 100644
--- a/test-suite/primitive/float/classify.v
+++ b/test-suite/primitive/float/classify.v
@@ -21,3 +21,13 @@ Check (eq_refl NZero <: classify neg_zero = NZero).
 Check (eq_refl PInf <: classify infinity = PInf).
 Check (eq_refl NInf <: classify neg_infinity = NInf).
 Check (eq_refl NaN <: classify nan = NaN).
+
+Check (eq_refl PNormal <<: classify one = PNormal).
+Check (eq_refl NNormal <<: classify (- one)%float = NNormal).
+Check (eq_refl PSubn <<: classify epsilon = PSubn).
+Check (eq_refl NSubn <<: classify (- epsilon)%float = NSubn).
+Check (eq_refl PZero <<: classify zero = PZero).
+Check (eq_refl NZero <<: classify neg_zero = NZero).
+Check (eq_refl PInf <<: classify infinity = PInf).
+Check (eq_refl NInf <<: classify neg_infinity = NInf).
+Check (eq_refl NaN <<: classify nan = NaN).