From f0bf1511e59e528e090a87cfcc220f93c2431ecd Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Sun, 9 Jun 2019 10:41:10 +0200 Subject: Add tests for primitive floats with 'native_compute' Tests are updated to include native computations. --- test-suite/primitive/float/valid_binary_conv.v | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'test-suite/primitive/float/valid_binary_conv.v') diff --git a/test-suite/primitive/float/valid_binary_conv.v b/test-suite/primitive/float/valid_binary_conv.v index 53fad1a74c..82e00b8532 100644 --- a/test-suite/primitive/float/valid_binary_conv.v +++ b/test-suite/primitive/float/valid_binary_conv.v @@ -31,3 +31,16 @@ Check (eq_refl true <: valid_binary (Prim2SF denorm) = true). Check (eq_refl true <: valid_binary (Prim2SF nan) = true). Check (eq_refl true <: valid_binary (Prim2SF two) = true). Check (eq_refl true <: valid_binary (Prim2SF half) = true). + +Check (eq_refl true <<: valid_binary (Prim2SF zero) = true). +Check (eq_refl true <<: valid_binary (Prim2SF neg_zero) = true). +Check (eq_refl true <<: valid_binary (Prim2SF one) = true). +Check (eq_refl true <<: valid_binary (Prim2SF (-one)) = true). +Check (eq_refl true <<: valid_binary (Prim2SF infinity) = true). +Check (eq_refl true <<: valid_binary (Prim2SF neg_infinity) = true). +Check (eq_refl true <<: valid_binary (Prim2SF huge) = true). +Check (eq_refl true <<: valid_binary (Prim2SF tiny) = true). +Check (eq_refl true <<: valid_binary (Prim2SF denorm) = true). +Check (eq_refl true <<: valid_binary (Prim2SF nan) = true). +Check (eq_refl true <<: valid_binary (Prim2SF two) = true). +Check (eq_refl true <<: valid_binary (Prim2SF half) = true). -- cgit v1.2.3