diff options
| author | Pierre Roux | 2019-06-09 10:41:10 +0200 |
|---|---|---|
| committer | Pierre Roux | 2019-11-01 10:20:47 +0100 |
| commit | f0bf1511e59e528e090a87cfcc220f93c2431ecd (patch) | |
| tree | 9c3364bb7d9c40b7ddb893a80ad5d71de14796d1 /test-suite/primitive/float/sqrt.v | |
| parent | 73580b9c5f206e2d3a7107123d207515f2330978 (diff) | |
Add tests for primitive floats with 'native_compute'
Tests are updated to include native computations.
Diffstat (limited to 'test-suite/primitive/float/sqrt.v')
| -rw-r--r-- | test-suite/primitive/float/sqrt.v | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test-suite/primitive/float/sqrt.v b/test-suite/primitive/float/sqrt.v index 89d76ab870..04c8ab035d 100644 --- a/test-suite/primitive/float/sqrt.v +++ b/test-suite/primitive/float/sqrt.v @@ -28,15 +28,22 @@ Qed. Check (eq_refl : sqrt neg_zero = neg_zero). Check (eq_refl neg_zero <: sqrt neg_zero = neg_zero). +Check (eq_refl neg_zero <<: sqrt neg_zero = neg_zero). Check (eq_refl : sqrt zero = zero). Check (eq_refl zero <: sqrt zero = zero). +Check (eq_refl zero <<: sqrt zero = zero). Check (eq_refl : sqrt one = one). Check (eq_refl one <: sqrt one = one). +Check (eq_refl one <<: sqrt one = one). Check (eq_refl : sqrt (-one) = nan). Check (eq_refl nan <: sqrt (-one) = nan). +Check (eq_refl nan <<: sqrt (-one) = nan). Check (eq_refl : sqrt infinity = infinity). Check (eq_refl infinity <: sqrt infinity = infinity). +Check (eq_refl infinity <<: sqrt infinity = infinity). Check (eq_refl : sqrt neg_infinity = nan). Check (eq_refl nan <: sqrt neg_infinity = nan). +Check (eq_refl nan <<: sqrt neg_infinity = nan). Check (eq_refl : sqrt infinity = infinity). Check (eq_refl infinity <: sqrt infinity = infinity). +Check (eq_refl infinity <<: sqrt infinity = infinity). |