diff --git a/wally-pipelined/testbench/fp/README.md b/wally-pipelined/testbench/fp/README.md index f8dcfeb6..c65d6e89 100644 --- a/wally-pipelined/testbench/fp/README.md +++ b/wally-pipelined/testbench/fp/README.md @@ -29,87 +29,146 @@ However, they can easily be created with the create scripts. James Stine 10/7/2021 +List of TestVectors (TV) and sizes -File Sizes - 600 1800 17400 f32_f64_rd.tv - 600 1800 17400 f32_f64_rne.tv - 600 1800 17400 f32_f64_ru.tv - 600 1800 17400 f32_f64_rz.tv - 600 1800 17400 f32_i64_rd.tv - 600 1800 17400 f32_i64_rne.tv - 600 1800 17400 f32_i64_ru.tv - 600 1800 17400 f32_i64_rz.tv - 600 1800 17400 f32_ui64_rd.tv - 600 1800 17400 f32_ui64_rne.tv - 600 1800 17400 f32_ui64_ru.tv - 600 1800 17400 f32_ui64_rz.tv - 46464 185856 2509056 f64_add_rd.tv - 46464 185856 2509056 f64_add_rne.tv - 46464 185856 2509056 f64_add_ru.tv - 46464 185856 2509056 f64_add_rz.tv - 46464 185856 2509056 f64_div_rd.tv - 46464 185856 2509056 f64_div_rne.tv - 46464 185856 2509056 f64_div_ru.tv - 46464 185856 2509056 f64_div_rz.tv - 768 2304 22272 f64_f32_rd.tv - 768 2304 22272 f64_f32_rne.tv - 768 2304 22272 f64_f32_ru.tv - 768 2304 22272 f64_f32_rz.tv - 6133248 30666240 435460608 f64_fma_rd.tv - 6133248 30666240 435460608 f64_fma_rne.tv - 6133248 30666240 435460608 f64_fma_ru.tv - 6133248 30666240 435460608 f64_fma_rz.tv - 768 2304 22272 f64_i32_rd.tv - 768 2304 22272 f64_i32_rne.tv - 768 2304 22272 f64_i32_ru.tv - 768 2304 22272 f64_i32_rz.tv - 46464 185856 2509056 f64_mul_rd.tv - 46464 185856 2509056 f64_mul_rne.tv - 46464 185856 2509056 f64_mul_ru.tv - 46464 185856 2509056 f64_mul_rz.tv - 768 2304 28416 f64_sqrt_rd.tv - 768 2304 28416 f64_sqrt_rne.tv - 768 2304 28416 f64_sqrt_ru.tv - 768 2304 28416 f64_sqrt_rz.tv - 46464 185856 2509056 f64_sub_rd.tv - 46464 185856 2509056 f64_sub_rne.tv - 46464 185856 2509056 f64_sub_ru.tv - 46464 185856 2509056 f64_sub_rz.tv - 768 2304 22272 f64_ui32_rd.tv - 768 2304 22272 f64_ui32_rne.tv - 768 2304 22272 f64_ui32_ru.tv - 768 2304 22272 f64_ui32_rz.tv - 372 1116 7812 i32_f32_rd.tv - 372 1116 7812 i32_f32_rne.tv - 372 1116 7812 i32_f32_ru.tv - 372 1116 7812 i32_f32_rz.tv - 372 1116 10788 i32_f64_rd.tv - 372 1116 10788 i32_f64_rne.tv - 372 1116 10788 i32_f64_ru.tv - 372 1116 10788 i32_f64_rz.tv - 756 2268 21924 i64_f32_rd.tv - 756 2268 21924 i64_f32_rne.tv - 756 2268 21924 i64_f32_ru.tv - 756 2268 21924 i64_f32_rz.tv - 756 2268 27972 i64_f64_rd.tv - 756 2268 27972 i64_f64_rne.tv - 756 2268 27972 i64_f64_ru.tv - 756 2268 27972 i64_f64_rz.tv - 372 1116 7812 ui32_f32_rd.tv - 372 1116 7812 ui32_f32_rne.tv - 372 1116 7812 ui32_f32_ru.tv - 372 1116 7812 ui32_f32_rz.tv - 372 1116 10788 ui32_f64_rd.tv - 372 1116 10788 ui32_f64_rne.tv - 372 1116 10788 ui32_f64_ru.tv - 372 1116 10788 ui32_f64_rz.tv - 756 2268 21924 ui64_f32_rd.tv - 756 2268 21924 ui64_f32_rne.tv - 756 2268 21924 ui64_f32_ru.tv - 756 2268 21924 ui64_f32_rz.tv - 756 2268 27972 ui64_f64_rd.tv - 756 2268 27972 ui64_f64_rne.tv - 756 2268 27972 ui64_f64_ru.tv - 756 2268 27972 ui64_f64_rz.tv - 25313952 125751264 1783125024 total - + 46464 185856 836352 f16_add_rd.tv + 46464 185856 836352 f16_add_rne.tv + 46464 185856 836352 f16_add_ru.tv + 46464 185856 836352 f16_add_rz.tv + 46464 185856 836352 f16_div_rd.tv + 46464 185856 836352 f16_div_rne.tv + 46464 185856 836352 f16_div_ru.tv + 46464 185856 836352 f16_div_rz.tv + 408 1224 5304 f16_sqrt_rd.tv + 408 1224 5304 f16_sqrt_rne.tv + 408 1224 5304 f16_sqrt_ru.tv + 408 1224 5304 f16_sqrt_rz.tv + 46464 185856 836352 f16_sub_rd.tv + 46464 185856 836352 f16_sub_rne.tv + 46464 185856 836352 f16_sub_ru.tv + 46464 185856 836352 f16_sub_rz.tv + 46464 185856 1393920 f32_add_rd.tv + 46464 185856 1393920 f32_add_rne.tv + 46464 185856 1393920 f32_add_ru.tv + 46464 185856 1393920 f32_add_rz.tv + 46464 185856 1068672 f32_cmp_eq_signaling.tv + 46464 185856 1068672 f32_cmp_eq.tv + 46464 185856 1068672 f32_cmp_le_quiet.tv + 46464 185856 1068672 f32_cmp_le.tv + 46464 185856 1068672 f32_cmp_lt_quiet.tv + 46464 185856 1068672 f32_cmp_lt.tv + 46464 185856 1393920 f32_div_rd.tv + 46464 185856 1393920 f32_div_rne.tv + 46464 185856 1393920 f32_div_ru.tv + 46464 185856 1393920 f32_div_rz.tv + 600 1800 17400 f32_f64_rd.tv + 600 1800 17400 f32_f64_rne.tv + 600 1800 17400 f32_f64_ru.tv + 600 1800 17400 f32_f64_rz.tv + 600 1800 12600 f32_i32_rd.tv + 600 1800 12600 f32_i32_rne.tv + 600 1800 12600 f32_i32_ru.tv + 600 1800 12600 f32_i32_rz.tv + 600 1800 17400 f32_i64_rd.tv + 600 1800 17400 f32_i64_rne.tv + 600 1800 17400 f32_i64_ru.tv + 600 1800 17400 f32_i64_rz.tv + 46464 46464 1393920 f32_mul_rd.tv + 46464 46464 1393920 f32_mul_rne.tv + 46464 46464 1393920 f32_mul_ru.tv + 46464 46464 1393920 f32_mul_rz.tv + 600 1800 12600 f32_sqrt_rd.tv + 600 1800 12600 f32_sqrt_rne.tv + 600 1800 12600 f32_sqrt_ru.tv + 600 1800 12600 f32_sqrt_rz.tv + 46464 185856 1393920 f32_sub_rd.tv + 46464 185856 1393920 f32_sub_rne.tv + 46464 185856 1393920 f32_sub_ru.tv + 46464 185856 1393920 f32_sub_rz.tv + 600 1800 12600 f32_ui32_rd.tv + 600 1800 12600 f32_ui32_rne.tv + 600 1800 12600 f32_ui32_ru.tv + 600 1800 12600 f32_ui32_rz.tv + 600 1800 17400 f32_ui64_rd.tv + 600 1800 17400 f32_ui64_rne.tv + 600 1800 17400 f32_ui64_ru.tv + 600 1800 17400 f32_ui64_rz.tv + 46464 185856 2509056 f64_add_rd.tv + 46464 185856 2509056 f64_add_rne.tv + 46464 185856 2509056 f64_add_ru.tv + 46464 185856 2509056 f64_add_rz.tv + 46464 185856 1812096 f64_cmp_eq_signaling.tv + 46464 185856 1812096 f64_cmp_eq.tv + 46464 185856 1812096 f64_cmp_le_quiet.tv + 46464 185856 1812096 f64_cmp_le.tv + 46464 185856 1812096 f64_cmp_lt_quiet.tv + 46464 185856 1812096 f64_cmp_lt.tv + 46464 185856 2509056 f64_div_rd.tv + 46464 185856 2509056 f64_div_rne.tv + 46464 185856 2509056 f64_div_ru.tv + 46464 185856 2509056 f64_div_rz.tv + 768 2304 22272 f64_f32_rd.tv + 768 2304 22272 f64_f32_rne.tv + 768 2304 22272 f64_f32_ru.tv + 768 2304 22272 f64_f32_rz.tv + 768 2304 22272 f64_i32_rd.tv + 768 2304 22272 f64_i32_rne.tv + 768 2304 22272 f64_i32_ru.tv + 768 2304 22272 f64_i32_rz.tv + 768 2304 28416 f64_i64_rd.tv + 768 2304 28416 f64_i64_rne.tv + 768 2304 28416 f64_i64_ru.tv + 768 2304 28416 f64_i64_rz.tv + 46464 185856 2509056 f64_mul_rd.tv + 46464 185856 2509056 f64_mul_rne.tv + 46464 185856 2509056 f64_mul_ru.tv + 46464 185856 2509056 f64_mul_rz.tv + 768 2304 28416 f64_sqrt_rd.tv + 768 2304 28416 f64_sqrt_rne.tv + 768 2304 28416 f64_sqrt_ru.tv + 768 2304 28416 f64_sqrt_rz.tv + 46464 185856 2509056 f64_sub_rd.tv + 46464 185856 2509056 f64_sub_rne.tv + 46464 185856 2509056 f64_sub_ru.tv + 46464 185856 2509056 f64_sub_rz.tv + 768 2304 22272 f64_ui32_rd.tv + 768 2304 22272 f64_ui32_rne.tv + 768 2304 22272 f64_ui32_ru.tv + 768 2304 22272 f64_ui32_rz.tv + 768 2304 28416 f64_ui64_rd.tv + 768 2304 28416 f64_ui64_rne.tv + 768 2304 28416 f64_ui64_ru.tv + 768 2304 28416 f64_ui64_rz.tv + 372 1116 7812 i32_f32_rd.tv + 372 1116 7812 i32_f32_rne.tv + 372 1116 7812 i32_f32_ru.tv + 372 1116 7812 i32_f32_rz.tv + 372 1116 10788 i32_f64_rd.tv + 372 1116 10788 i32_f64_rne.tv + 372 1116 10788 i32_f64_ru.tv + 372 1116 10788 i32_f64_rz.tv + 756 2268 21924 i64_f32_rd.tv + 756 2268 21924 i64_f32_rne.tv + 756 2268 21924 i64_f32_ru.tv + 756 2268 21924 i64_f32_rz.tv + 756 2268 27972 i64_f64_rd.tv + 756 2268 27972 i64_f64_rne.tv + 756 2268 27972 i64_f64_ru.tv + 756 2268 27972 i64_f64_rz.tv + 372 1116 7812 ui32_f32_rd.tv + 372 1116 7812 ui32_f32_rne.tv + 372 1116 7812 ui32_f32_ru.tv + 372 1116 7812 ui32_f32_rz.tv + 372 1116 10788 ui32_f64_rd.tv + 372 1116 10788 ui32_f64_rne.tv + 372 1116 10788 ui32_f64_ru.tv + 372 1116 10788 ui32_f64_rz.tv + 756 2268 21924 ui64_f32_rd.tv + 756 2268 21924 ui64_f32_rne.tv + 756 2268 21924 ui64_f32_ru.tv + 756 2268 21924 ui64_f32_rz.tv + 756 2268 27972 ui64_f64_rd.tv + 756 2268 27972 ui64_f64_rne.tv + 756 2268 27972 ui64_f64_ru.tv + 756 2268 27972 ui64_f64_rz.tv + 2654496 10007904 91305888 total diff --git a/wally-pipelined/testbench/fp/create_vectors16.sh b/wally-pipelined/testbench/fp/create_vectors16.sh new file mode 100755 index 00000000..9ce53321 --- /dev/null +++ b/wally-pipelined/testbench/fp/create_vectors16.sh @@ -0,0 +1,22 @@ +#!/bin/sh +./testfloat_gen -rnear_even f16_add > f16_add_rne.tv +./testfloat_gen -rminMag f16_add > f16_add_rz.tv +./testfloat_gen -rmin f16_add > f16_add_ru.tv +./testfloat_gen -rmax f16_add > f16_add_rd.tv + +./testfloat_gen -rnear_even f16_sub > f16_sub_rne.tv +./testfloat_gen -rminMag f16_sub > f16_sub_rz.tv +./testfloat_gen -rmin f16_sub > f16_sub_ru.tv +./testfloat_gen -rmax f16_sub > f16_sub_rd.tv + +./testfloat_gen -rnear_even f16_div > f16_div_rne.tv +./testfloat_gen -rminMag f16_div > f16_div_rz.tv +./testfloat_gen -rmin f16_div > f16_div_ru.tv +./testfloat_gen -rmax f16_div > f16_div_rd.tv + +./testfloat_gen -rnear_even f16_sqrt > f16_sqrt_rne.tv +./testfloat_gen -rminMag f16_sqrt > f16_sqrt_rz.tv +./testfloat_gen -rmin f16_sqrt > f16_sqrt_ru.tv +./testfloat_gen -rmax f16_sqrt > f16_sqrt_rd.tv + + diff --git a/wally-pipelined/testbench/fp/create_vectors32.sh b/wally-pipelined/testbench/fp/create_vectors32.sh new file mode 100755 index 00000000..958c3fad --- /dev/null +++ b/wally-pipelined/testbench/fp/create_vectors32.sh @@ -0,0 +1,20 @@ +#!/bin/sh +./testfloat_gen -rnear_even f32_add > f32_add_rne.tv +./testfloat_gen -rminMag f32_add > f32_add_rz.tv +./testfloat_gen -rmax f32_add > f32_add_ru.tv +./testfloat_gen -rmin f32_add > f32_add_rd.tv + +./testfloat_gen -rnear_even f32_sub > f32_sub_rne.tv +./testfloat_gen -rminMag f32_sub > f32_sub_rz.tv +./testfloat_gen -rmax f32_sub > f32_sub_ru.tv +./testfloat_gen -rmin f32_sub > f32_sub_rd.tv + +./testfloat_gen -rnear_even f32_div > f32_div_rne.tv +./testfloat_gen -rminMag f32_div > f32_div_rz.tv +./testfloat_gen -rmax f32_div > f32_div_ru.tv +./testfloat_gen -rmin f32_div > f32_div_rd.tv + +./testfloat_gen -rnear_even f32_sqrt > f32_sqrt_rne.tv +./testfloat_gen -rminMag f32_sqrt > f32_sqrt_rz.tv +./testfloat_gen -rmax f32_sqrt > f32_sqrt_ru.tv +./testfloat_gen -rmin f32_sqrt > f32_sqrt_rd.tv diff --git a/wally-pipelined/testbench/fp/create_vectors32_64.sh b/wally-pipelined/testbench/fp/create_vectors32_64.sh new file mode 100755 index 00000000..63ba70d1 --- /dev/null +++ b/wally-pipelined/testbench/fp/create_vectors32_64.sh @@ -0,0 +1,16 @@ +#!/bin/sh +./testfloat_gen -rnear_even f32_to_f64 > f32_f64_rne.tv +./testfloat_gen -rminMag f32_to_f64 > f32_f64_rz.tv +./testfloat_gen -rmax f32_to_f64 > f32_f64_ru.tv +./testfloat_gen -rmin f32_to_f64 > f32_f64_rd.tv + +./testfloat_gen -rnear_even f32_to_i64 > f32_i64_rne.tv +./testfloat_gen -rminMag f32_to_i64 > f32_i64_rz.tv +./testfloat_gen -rmax f32_to_i64 > f32_i64_ru.tv +./testfloat_gen -rmin f32_to_i64 > f32_i64_rd.tv + +./testfloat_gen -rnear_even f32_to_ui64 > f32_ui64_rne.tv +./testfloat_gen -rminMag f32_to_ui64 > f32_ui64_rz.tv +./testfloat_gen -rmax f32_to_ui64 > f32_ui64_ru.tv +./testfloat_gen -rmin f32_to_ui64 > f32_ui64_rd.tv + diff --git a/wally-pipelined/testbench/fp/create_vectors32cmp.sh b/wally-pipelined/testbench/fp/create_vectors32cmp.sh new file mode 100755 index 00000000..d7356d3f --- /dev/null +++ b/wally-pipelined/testbench/fp/create_vectors32cmp.sh @@ -0,0 +1,9 @@ +#!/bin/sh +./testfloat_gen f32_eq > f32_cmp_eq.tv +./testfloat_gen f32_le > f32_cmp_le.tv +./testfloat_gen f32_lt > f32_cmp_lt.tv + +./testfloat_gen f32_eq_signaling > f32_cmp_eq_signaling.tv +./testfloat_gen f32_le_quiet > f32_cmp_le_quiet.tv +./testfloat_gen f32_lt_quiet > f32_cmp_lt_quiet.tv + diff --git a/wally-pipelined/testbench/fp/create_vectors64.sh b/wally-pipelined/testbench/fp/create_vectors64.sh new file mode 100755 index 00000000..fb4f3cef --- /dev/null +++ b/wally-pipelined/testbench/fp/create_vectors64.sh @@ -0,0 +1,20 @@ +#!/bin/sh +./testfloat_gen -rnear_even f64_add > f64_add_rne.tv +./testfloat_gen -rminMag f64_add > f64_add_rz.tv +./testfloat_gen -rmax f64_add > f64_add_ru.tv +./testfloat_gen -rmin f64_add > f64_add_rd.tv + +./testfloat_gen -rnear_even f64_sub > f64_sub_rne.tv +./testfloat_gen -rminMag f64_sub > f64_sub_rz.tv +./testfloat_gen -rmax f64_sub > f64_sub_ru.tv +./testfloat_gen -rmin f64_sub > f64_sub_rd.tv + +./testfloat_gen -rnear_even f64_div > f64_div_rne.tv +./testfloat_gen -rminMag f64_div > f64_div_rz.tv +./testfloat_gen -rmax f64_div > f64_div_ru.tv +./testfloat_gen -rmin f64_div > f64_div_rd.tv + +./testfloat_gen -rnear_even f64_sqrt > f64_sqrt_rne.tv +./testfloat_gen -rminMag f64_sqrt > f64_sqrt_rz.tv +./testfloat_gen -rmax f64_sqrt > f64_sqrt_ru.tv +./testfloat_gen -rmin f64_sqrt > f64_sqrt_rd.tv diff --git a/wally-pipelined/testbench/fp/create_vectors64_32.sh b/wally-pipelined/testbench/fp/create_vectors64_32.sh new file mode 100755 index 00000000..45f05405 --- /dev/null +++ b/wally-pipelined/testbench/fp/create_vectors64_32.sh @@ -0,0 +1,18 @@ +#!/bin/sh +./testfloat_gen -rnear_even f64_to_f32 > f64_f32_rne.tv +./testfloat_gen -rminMag f64_to_f32 > f64_f32_rz.tv +./testfloat_gen -rmax f64_to_f32 > f64_f32_ru.tv +./testfloat_gen -rmin f64_to_f32 > f64_f32_rd.tv + +./testfloat_gen -rnear_even f64_to_i32 > f64_i32_rne.tv +./testfloat_gen -rminMag f64_to_i32 > f64_i32_rz.tv +./testfloat_gen -rmax f64_to_i32 > f64_i32_ru.tv +./testfloat_gen -rmin f64_to_i32 > f64_i32_rd.tv + +./testfloat_gen -rnear_even f64_to_ui32 > f64_ui32_rne.tv +./testfloat_gen -rminMag f64_to_ui32 > f64_ui32_rz.tv +./testfloat_gen -rmax f64_to_ui32 > f64_ui32_ru.tv +./testfloat_gen -rmin f64_to_ui32 > f64_ui32_rd.tv + + + diff --git a/wally-pipelined/testbench/fp/create_vectors64cmp.sh b/wally-pipelined/testbench/fp/create_vectors64cmp.sh new file mode 100755 index 00000000..b2f5dd5b --- /dev/null +++ b/wally-pipelined/testbench/fp/create_vectors64cmp.sh @@ -0,0 +1,9 @@ +#!/bin/sh +./testfloat_gen f64_eq > f64_cmp_eq.tv +./testfloat_gen f64_le > f64_cmp_le.tv +./testfloat_gen f64_lt > f64_cmp_lt.tv + +./testfloat_gen f64_eq_signaling > f64_cmp_eq_signaling.tv +./testfloat_gen f64_le_quiet > f64_cmp_le_quiet.tv +./testfloat_gen f64_lt_quiet > f64_cmp_lt_quiet.tv + diff --git a/wally-pipelined/testbench/fp/create_vectorsi.sh b/wally-pipelined/testbench/fp/create_vectorsi.sh new file mode 100755 index 00000000..e6be960d --- /dev/null +++ b/wally-pipelined/testbench/fp/create_vectorsi.sh @@ -0,0 +1,60 @@ +#!/bin/sh +./testfloat_gen -rnear_even -i32_to_f64 > i32_f64_rne.tv +./testfloat_gen -rminMag -i32_to_f64 > i32_f64_rz.tv +./testfloat_gen -rmax -i32_to_f64 > i32_f64_ru.tv +./testfloat_gen -rmin -i32_to_f64 > i32_f64_rd.tv + +./testfloat_gen -rnear_even -i64_to_f64 > i64_f64_rne.tv +./testfloat_gen -rminMag -i64_to_f64 > i64_f64_rz.tv +./testfloat_gen -rmax -i64_to_f64 > i64_f64_ru.tv +./testfloat_gen -rmin -i64_to_f64 > i64_f64_rd.tv + +./testfloat_gen -rnear_even -i32_to_f32 > i32_f32_rne.tv +./testfloat_gen -rminMag -i32_to_f32 > i32_f32_rz.tv +./testfloat_gen -rmax -i32_to_f32 > i32_f32_ru.tv +./testfloat_gen -rmin -i32_to_f32 > i32_f32_rd.tv + +./testfloat_gen -rnear_even -f32_to_i32 > f32_i32_rne.tv +./testfloat_gen -rminMag -f32_to_i32 > f32_i32_rz.tv +./testfloat_gen -rmax -f32_to_i32 > f32_i32_ru.tv +./testfloat_gen -rmin -f32_to_i32 > f32_i32_rd.tv + +./testfloat_gen -rnear_even -f32_to_ui32 > f32_ui32_rne.tv +./testfloat_gen -rminMag -f32_to_ui32 > f32_ui32_rz.tv +./testfloat_gen -rmax -f32_to_ui32 > f32_ui32_ru.tv +./testfloat_gen -rmin -f32_to_ui32 > f32_ui32_rd.tv + +./testfloat_gen -rnear_even -i64_to_f32 > i64_f32_rne.tv +./testfloat_gen -rminMag -i64_to_f32 > i64_f32_rz.tv +./testfloat_gen -rmax -i64_to_f32 > i64_f32_ru.tv +./testfloat_gen -rmin -i64_to_f32 > i64_f32_rd.tv + +./testfloat_gen -rnear_even -ui32_to_f64 > ui32_f64_rne.tv +./testfloat_gen -rminMag -ui32_to_f64 > ui32_f64_rz.tv +./testfloat_gen -rmax -ui32_to_f64 > ui32_f64_ru.tv +./testfloat_gen -rmin -ui32_to_f64 > ui32_f64_rd.tv + +./testfloat_gen -rnear_even -ui64_to_f64 > ui64_f64_rne.tv +./testfloat_gen -rminMag -ui64_to_f64 > ui64_f64_rz.tv +./testfloat_gen -rmax -ui64_to_f64 > ui64_f64_ru.tv +./testfloat_gen -rmin -ui64_to_f64 > ui64_f64_rd.tv + +./testfloat_gen -rnear_even -ui32_to_f32 > ui32_f32_rne.tv +./testfloat_gen -rminMag -ui32_to_f32 > ui32_f32_rz.tv +./testfloat_gen -rmax -ui32_to_f32 > ui32_f32_ru.tv +./testfloat_gen -rmin -ui32_to_f32 > ui32_f32_rd.tv + +./testfloat_gen -rnear_even -ui64_to_f32 > ui64_f32_rne.tv +./testfloat_gen -rminMag -ui64_to_f32 > ui64_f32_rz.tv +./testfloat_gen -rmax -ui64_to_f32 > ui64_f32_ru.tv +./testfloat_gen -rmin -ui64_to_f32 > ui64_f32_rd.tv + +./testfloat_gen -rnear_even -f64_to_i64 > f64_i64_rne.tv +./testfloat_gen -rminMag -f64_to_i64 > f64_i64_rz.tv +./testfloat_gen -rmax -f64_to_i64 > f64_i64_ru.tv +./testfloat_gen -rmin -f64_to_i64 > f64_i64_rd.tv + +./testfloat_gen -rnear_even -f64_to_ui64 > f64_ui64_rne.tv +./testfloat_gen -rminMag -f64_to_ui64 > f64_ui64_rz.tv +./testfloat_gen -rmax -f64_to_ui64 > f64_ui64_ru.tv +./testfloat_gen -rmin -f64_to_ui64 > f64_ui64_rd.tv diff --git a/wally-pipelined/testbench/fp/run_all.sh b/wally-pipelined/testbench/fp/run_all.sh new file mode 100755 index 00000000..56b28e2d --- /dev/null +++ b/wally-pipelined/testbench/fp/run_all.sh @@ -0,0 +1,9 @@ +#!/bin/sh +./create_vectors16.sh +./create_vectors32_64.sh +./create_vectors32cmp.sh +./create_vectors32.sh +./create_vectors64_32.sh +./create_vectors64cmp.sh +./create_vectors64.sh +./create_vectorsi.sh