The directory normalised_RV64FD contains the expanded versions of all the CGF files for FP tests
for the isa configuration RV64IFD. The original cgf files can be found here.
| Covergroup | Coverage |
|---|---|
| fcvt.l.s_b1 | 89/89 (100.00%) |
| fcvt.l.s_b22 | 137/137 (100.00%) |
| fcvt.l.s_b23 | 110/110 (100.00%) |
| fcvt.l.s_b24 | 170/170 (100.00%) |
| fcvt.l.s_b27 | 73/73 (100.00%) |
| fcvt.l.s_b28 | 93/93 (100.00%) |
| fcvt.l.s_b29 | 145/145 (100.00%) |
| fcvt.s.lu_b25 | 69/69 (100.00%) |
| fcvt.s.lu_b26 | 129/129 (100.00%) |
| fcvt.lu.s_b1 | 89/89 (100.00%) |
| fcvt.lu.s_b22 | 137/137 (100.00%) |
| fcvt.lu.s_b23 | 110/110 (100.00%) |
| fcvt.lu.s_b24 | 170/170 (100.00%) |
| fcvt.lu.s_b27 | 73/73 (100.00%) |
| fcvt.lu.s_b28 | 93/93 (100.00%) |
| fcvt.lu.s_b29 | 145/145 (100.00%) |
| fcvt.s.l_b25 | 72/72 (100.00%) |
| fcvt.s.l_b26 | 129/129 (100.00%) |
| fmadd_b1 | 13965/13965 (100.00%) |
| fmadd_b2 | 417/417 (100.00%) |
| fmadd_b3 | 1261/1261 (100.00%) |
| fmadd_b4 | 281/281 (100.00%) |
| fmadd_b5 | 361/361 (100.00%) |
| fmadd_b6 | 281/281 (100.00%) |
| fmadd_b7 | 301/301 (100.00%) |
| fmadd_b8 | 1821/1821 (100.00%) |
| fmadd_b14 | 214/214 (100.00%) |
| fmadd_b15 | 38259/38259 (100.00%) |
| fmadd_b16 | 341/341 (100.00%) |
| fmadd_b17 | 341/341 (100.00%) |
| fmadd_b18 | 411/411 (100.00%) |
| fmsub_b1 | 13965/13965 (100.00%) |
| fmsub_b2 | 417/417 (100.00%) |
| fmsub_b3 | 1261/1261 (100.00%) |
| fmsub_b4 | 281/281 (100.00%) |
| fmsub_b5 | 361/361 (100.00%) |
| fmsub_b6 | 281/281 (100.00%) |
| fmsub_b7 | 301/301 (100.00%) |
| fmsub_b8 | 1821/1821 (100.00%) |
| fmsub_b14 | 214/214 (100.00%) |
| fmsub_b15 | 38259/38259 (100.00%) |
| fmsub_b16 | 341/341 (100.00%) |
| fmsub_b17 | 341/341 (100.00%) |
| fmsub_b18 | 411/411 (100.00%) |
| fcvt.s.w_b25 | 72/72 (100.00%) |
| fcvt.s.w_b26 | 97/97 (100.00%) |
| fadd_b1 | 678/678 (100.00%) |
| fadd_b2 | 377/377 (100.00%) |
| fadd_b3 | 1222/1222 (100.00%) |
| fadd_b4 | 242/242 (100.00%) |
| fadd_b5 | 322/322 (100.00%) |
| fadd_b7 | 262/262 (100.00%) |
| fadd_b8 | 1782/1782 (100.00%) |
| fadd_b10 | 176/176 (100.00%) |
| fadd_b11 | 7114/7114 (100.00%) |
| fadd_b12 | 152/152 (100.00%) |
| fadd_b13 | 302/302 (100.00%) |
| fsub_b1 | 678/678 (100.00%) |
| fsub_b2 | 376/376 (100.00%) |
| fsub_b3 | 1222/1222 (100.00%) |
| fsub_b4 | 242/242 (100.00%) |
| fsub_b5 | 322/322 (100.00%) |
| fsub_b7 | 262/262 (100.00%) |
| fsub_b8 | 1782/1782 (100.00%) |
| fsub_b10 | 173/173 (100.00%) |
| fsub_b11 | 7114/7114 (100.00%) |
| fsub_b12 | 152/152 (100.00%) |
| fsub_b13 | 302/302 (100.00%) |
| fsgnjx_b1 | 678/678 (100.00%) |
| flt_b1 | 675/675 (100.00%) |
| flt_b19 | 1084/1084 (100.00%) |
| fmv.w.x_b25 | 72/72 (100.00%) |
| fmv.w.x_b26 | 97/97 (100.00%) |
| fcvt.s.wu_b25 | 69/69 (100.00%) |
| fcvt.s.wu_b26 | 97/97 (100.00%) |
| fnmsub_b1 | 13965/13965 (100.00%) |
| fnmsub_b2 | 417/417 (100.00%) |
| fnmsub_b3 | 1261/1261 (100.00%) |
| fnmsub_b4 | 281/281 (100.00%) |
| fnmsub_b5 | 361/361 (100.00%) |
| fnmsub_b6 | 281/281 (100.00%) |
| fnmsub_b7 | 301/301 (100.00%) |
| fnmsub_b8 | 1821/1821 (100.00%) |
| fnmsub_b14 | 214/214 (100.00%) |
| fnmsub_b15 | 38259/38259 (100.00%) |
| fnmsub_b16 | 341/341 (100.00%) |
| fnmsub_b17 | 341/341 (100.00%) |
| fnmsub_b18 | 411/411 (100.00%) |
| fdiv_b1 | 678/678 (100.00%) |
| fdiv_b2 | 378/378 (100.00%) |
| fdiv_b3 | 1222/1222 (100.00%) |
| fdiv_b4 | 242/242 (100.00%) |
| fdiv_b5 | 322/322 (100.00%) |
| fdiv_b6 | 242/242 (100.00%) |
| fdiv_b7 | 262/262 (100.00%) |
| fdiv_b8 | 1782/1782 (100.00%) |
| fdiv_b9 | 1422/1422 (100.00%) |
| fdiv_b20 | 204/204 (100.00%) |
| fdiv_b21 | 778/778 (100.00%) |
| fsgnj_b1 | 678/678 (100.00%) |
| fsqrt_b1 | 91/91 (100.00%) |
| fsqrt_b2 | 92/92 (100.00%) |
| fsqrt_b3 | 82/82 (100.00%) |
| fsqrt_b4 | 72/72 (100.00%) |
| fsqrt_b5 | 72/72 (100.00%) |
| fsqrt_b7 | 70/70 (100.00%) |
| fsqrt_b8 | 82/82 (100.00%) |
| fsqrt_b9 | 261/261 (100.00%) |
| fsqrt_b20 | 132/132 (100.00%) |
| fcvt.wu.s_b1 | 89/89 (100.00%) |
| fcvt.wu.s_b22 | 105/105 (100.00%) |
| fcvt.wu.s_b23 | 110/110 (100.00%) |
| fcvt.wu.s_b24 | 170/170 (100.00%) |
| fcvt.wu.s_b27 | 73/73 (100.00%) |
| fcvt.wu.s_b28 | 93/93 (100.00%) |
| fcvt.wu.s_b29 | 145/145 (100.00%) |
| fsgnjn_b1 | 678/678 (100.00%) |
| fclass_b1 | 89/89 (100.00%) |
| fle_b1 | 675/675 (100.00%) |
| fle_b19 | 1169/1169 (100.00%) |
| fmax_b1 | 678/678 (100.00%) |
| fmax_b19 | 1058/1058 (100.00%) |
| fmul_b1 | 678/678 (100.00%) |
| fmul_b2 | 378/378 (100.00%) |
| fmul_b3 | 1222/1222 (100.00%) |
| fmul_b4 | 242/242 (100.00%) |
| fmul_b5 | 322/322 (100.00%) |
| fmul_b6 | 242/242 (100.00%) |
| fmul_b7 | 262/262 (100.00%) |
| fmul_b8 | 1782/1782 (100.00%) |
| fmul_b9 | 1422/1422 (100.00%) |
| fmv.x.w_b1 | 89/89 (100.00%) |
| fmv.x.w_b22 | 73/73 (100.00%) |
| fmv.x.w_b23 | 74/74 (100.00%) |
| fmv.x.w_b24 | 86/86 (100.00%) |
| fmv.x.w_b27 | 73/73 (100.00%) |
| fmv.x.w_b28 | 93/93 (100.00%) |
| fmv.x.w_b29 | 81/81 (100.00%) |
| feq_b1 | 675/675 (100.00%) |
| feq_b19 | 1169/1169 (100.00%) |
| fnmadd_b1 | 13965/13965 (100.00%) |
| fnmadd_b2 | 417/417 (100.00%) |
| fnmadd_b3 | 1261/1261 (100.00%) |
| fnmadd_b4 | 281/281 (100.00%) |
| fnmadd_b5 | 361/361 (100.00%) |
| fnmadd_b6 | 281/281 (100.00%) |
| fnmadd_b7 | 301/301 (100.00%) |
| fnmadd_b8 | 1821/1821 (100.00%) |
| fnmadd_b14 | 214/214 (100.00%) |
| fnmadd_b15 | 38259/38259 (100.00%) |
| fnmadd_b16 | 341/341 (100.00%) |
| fnmadd_b17 | 341/341 (100.00%) |
| fnmadd_b18 | 411/411 (100.00%) |
| fmin_b1 | 678/678 (100.00%) |
| fmin_b19 | 1095/1095 (100.00%) |
| fcvt.w.s_b1 | 89/89 (100.00%) |
| fcvt.w.s_b22 | 105/105 (100.00%) |
| fcvt.w.s_b23 | 110/110 (100.00%) |
| fcvt.w.s_b24 | 170/170 (100.00%) |
| fcvt.w.s_b27 | 73/73 (100.00%) |
| fcvt.w.s_b28 | 93/93 (100.00%) |
| fcvt.w.s_b29 | 145/145 (100.00%) |
| fcvt.d.l_b25 | 72/72 (100.00%) |
| fcvt.d.l_b26 | 129/129 (100.00%) |
| fmv.x.d_b1 | 89/89 (100.00%) |
| fmv.x.d_b22 | 73/73 (100.00%) |
| fmv.x.d_b23 | 74/74 (100.00%) |
| fmv.x.d_b24 | 86/86 (100.00%) |
| fmv.x.d_b27 | 73/73 (100.00%) |
| fmv.x.d_b28 | 93/93 (100.00%) |
| fmv.x.d_b29 | 81/81 (100.00%) |
| fmv.d.x_b25 | 72/72 (100.00%) |
| fmv.d.x_b26 | 129/129 (100.00%) |
| fcvt.lu.d_b1 | 89/89 (100.00%) |
| fcvt.lu.d_b22 | 137/137 (100.00%) |
| fcvt.lu.d_b23 | 110/110 (100.00%) |
| fcvt.lu.d_b24 | 170/170 (100.00%) |
| fcvt.lu.d_b27 | 73/73 (100.00%) |
| fcvt.lu.d_b28 | 93/93 (100.00%) |
| fcvt.lu.d_b29 | 145/145 (100.00%) |
| fcvt.d.lu_b25 | 69/69 (100.00%) |
| fcvt.d.lu_b26 | 129/129 (100.00%) |
| fcvt.l.d_b1 | 89/89 (100.00%) |
| fcvt.l.d_b22 | 137/137 (100.00%) |
| fcvt.l.d_b23 | 110/110 (100.00%) |
| fcvt.l.d_b24 | 170/170 (100.00%) |
| fcvt.l.d_b27 | 73/73 (100.00%) |
| fcvt.l.d_b28 | 93/93 (100.00%) |
| fcvt.l.d_b29 | 145/145 (100.00%) |
| fmul.d_b1 | 678/678 (100.00%) |
| fmul.d_b2 | 378/378 (100.00%) |
| fmul.d_b3 | 1222/1222 (100.00%) |
| fmul.d_b4 | 242/242 (100.00%) |
| fmul.d_b5 | 312/312 (100.00%) |
| fmul.d_b6 | 242/242 (100.00%) |
| fmul.d_b7 | 438/438 (100.00%) |
| fmul.d_b8 | 1572/1572 (100.00%) |
| fmul.d_b9 | 2418/2418 (100.00%) |
| fcvt.d.s_b1 | 67/91 (73.63%) |
| fcvt.d.s_b22 | 67/75 (89.33%) |
| fcvt.d.s_b23 | 67/76 (88.16%) |
| fcvt.d.s_b24 | 67/88 (76.14%) |
| fcvt.d.s_b27 | 67/75 (89.33%) |
| fcvt.d.s_b28 | 67/95 (70.53%) |
| fcvt.d.s_b29 | 67/83 (80.72%) |
| flt.d_b1 | 675/675 (100.00%) |
| flt.d_b19 | 1248/1248 (100.00%) |
| fsqrt.d_b1 | 91/91 (100.00%) |
| fsqrt.d_b2 | 115/115 (100.00%) |
| fsqrt.d_b3 | 72/72 (100.00%) |
| fsqrt.d_b4 | 72/72 (100.00%) |
| fsqrt.d_b5 | 72/72 (100.00%) |
| fsqrt.d_b7 | 68/68 (100.00%) |
| fsqrt.d_b8 | 72/72 (100.00%) |
| fsqrt.d_b9 | 450/450 (100.00%) |
| fsqrt.d_b20 | 204/204 (100.00%) |
| fadd.d_b1 | 678/678 (100.00%) |
| fadd.d_b2 | 377/377 (100.00%) |
| fadd.d_b3 | 1222/1222 (100.00%) |
| fadd.d_b4 | 242/242 (100.00%) |
| fadd.d_b5 | 312/312 (100.00%) |
| fadd.d_b7 | 438/438 (100.00%) |
| fadd.d_b8 | 1572/1572 (100.00%) |
| fadd.d_b10 | 716/716 (100.00%) |
| fadd.d_b11 | 10813/10813 (100.00%) |
| fadd.d_b12 | 152/152 (100.00%) |
| fadd.d_b13 | 302/302 (100.00%) |
| fcvt.s.d_b1 | 91/91 (100.00%) |
| fcvt.s.d_b22 | 75/75 (100.00%) |
| fcvt.s.d_b23 | 112/112 (100.00%) |
| fcvt.s.d_b24 | 172/172 (100.00%) |
| fcvt.s.d_b27 | 75/75 (100.00%) |
| fcvt.s.d_b28 | 95/95 (100.00%) |
| fcvt.s.d_b29 | 147/147 (100.00%) |
| fsgnjn.d_b1 | 678/678 (100.00%) |
| fnmadd.d_b1 | 13965/13965 (100.00%) |
| fnmadd.d_b2 | 417/417 (100.00%) |
| fnmadd.d_b3 | 1261/1261 (100.00%) |
| fnmadd.d_b4 | 281/281 (100.00%) |
| fnmadd.d_b5 | 351/351 (100.00%) |
| fnmadd.d_b6 | 281/281 (100.00%) |
| fnmadd.d_b7 | 477/477 (100.00%) |
| fnmadd.d_b8 | 1611/1611 (100.00%) |
| fnmadd.d_b14 | 301/301 (100.00%) |
| fnmadd.d_b15 | 102135/102135 (100.00%) |
| fnmadd.d_b16 | 341/341 (100.00%) |
| fnmadd.d_b17 | 341/341 (100.00%) |
| fnmadd.d_b18 | 411/411 (100.00%) |
| fsgnj.d_b1 | 678/678 (100.00%) |
| fcvt.w.d_b1 | 89/89 (100.00%) |
| fcvt.w.d_b22 | 105/105 (100.00%) |
| fcvt.w.d_b23 | 110/110 (100.00%) |
| fcvt.w.d_b24 | 170/170 (100.00%) |
| fcvt.w.d_b27 | 73/73 (100.00%) |
| fcvt.w.d_b28 | 93/93 (100.00%) |
| fcvt.w.d_b29 | 145/145 (100.00%) |
| fsgnjx.d_b1 | 678/678 (100.00%) |
| fdiv.d_b1 | 678/678 (100.00%) |
| fdiv.d_b2 | 378/378 (100.00%) |
| fdiv.d_b3 | 1222/1222 (100.00%) |
| fdiv.d_b4 | 242/242 (100.00%) |
| fdiv.d_b5 | 312/312 (100.00%) |
| fdiv.d_b6 | 242/242 (100.00%) |
| fdiv.d_b7 | 438/438 (100.00%) |
| fdiv.d_b8 | 1572/1572 (100.00%) |
| fdiv.d_b9 | 2418/2418 (100.00%) |
| fdiv.d_b20 | 349/349 (100.00%) |
| fdiv.d_b21 | 778/778 (100.00%) |
| fcvt.d.wu_b25 | 65/69 (94.20%) |
| fcvt.d.wu_b26 | 65/97 (67.01%) |
| fssub.d_b1 | 678/678 (100.00%) |
| fssub.d_b2 | 376/376 (100.00%) |
| fssub.d_b3 | 1222/1222 (100.00%) |
| fssub.d_b4 | 242/242 (100.00%) |
| fssub.d_b5 | 312/312 (100.00%) |
| fssub.d_b7 | 438/438 (100.00%) |
| fssub.d_b8 | 1572/1572 (100.00%) |
| fssub.d_b10 | 713/713 (100.00%) |
| fssub.d_b11 | 10813/10813 (100.00%) |
| fssub.d_b12 | 152/152 (100.00%) |
| fssub.d_b13 | 302/302 (100.00%) |
| fmadd.d_b1 | 13965/13965 (100.00%) |
| fmadd.d_b2 | 417/417 (100.00%) |
| fmadd.d_b3 | 1261/1261 (100.00%) |
| fmadd.d_b4 | 281/281 (100.00%) |
| fmadd.d_b5 | 351/351 (100.00%) |
| fmadd.d_b6 | 281/281 (100.00%) |
| fmadd.d_b7 | 477/477 (100.00%) |
| fmadd.d_b8 | 1611/1611 (100.00%) |
| fmadd.d_b14 | 301/301 (100.00%) |
| fmadd.d_b15 | 102135/102135 (100.00%) |
| fmadd.d_b16 | 341/341 (100.00%) |
| fmadd.d_b17 | 341/341 (100.00%) |
| fmadd.d_b18 | 411/411 (100.00%) |
| fmax.d_b1 | 678/678 (100.00%) |
| fmax.d_b19 | 1215/1215 (100.00%) |
| fle.d_b1 | 675/675 (100.00%) |
| fle.d_b19 | 1196/1196 (100.00%) |
| feq.d_b1 | 675/675 (100.00%) |
| feq.d_b19 | 1196/1196 (100.00%) |
| fcvt.d.w_b25 | 65/72 (90.28%) |
| fcvt.d.w_b26 | 65/97 (67.01%) |
| fcvt.wu.d_b1 | 89/89 (100.00%) |
| fcvt.wu.d_b22 | 105/105 (100.00%) |
| fcvt.wu.d_b23 | 110/110 (100.00%) |
| fcvt.wu.d_b24 | 170/170 (100.00%) |
| fcvt.wu.d_b27 | 73/73 (100.00%) |
| fcvt.wu.d_b28 | 93/93 (100.00%) |
| fcvt.wu.d_b29 | 145/145 (100.00%) |
| fmin.d_b1 | 678/678 (100.00%) |
| fmin.d_b19 | 1198/1198 (100.00%) |
| fmsub.d_b1 | 13965/13965 (100.00%) |
| fmsub.d_b2 | 417/417 (100.00%) |
| fmsub.d_b3 | 1261/1261 (100.00%) |
| fmsub.d_b4 | 281/281 (100.00%) |
| fmsub.d_b5 | 351/351 (100.00%) |
| fmsub.d_b6 | 281/281 (100.00%) |
| fmsub.d_b7 | 477/477 (100.00%) |
| fmsub.d_b8 | 1611/1611 (100.00%) |
| fmsub.d_b14 | 301/301 (100.00%) |
| fmsub.d_b15 | 102135/102135 (100.00%) |
| fmsub.d_b16 | 341/341 (100.00%) |
| fmsub.d_b17 | 341/341 (100.00%) |
| fmsub.d_b18 | 411/411 (100.00%) |
| fclass.d_b1 | 89/89 (100.00%) |
| fnmsub.d_b1 | 13965/13965 (100.00%) |
| fnmsub.d_b2 | 416/416 (100.00%) |
| fnmsub.d_b3 | 1261/1261 (100.00%) |
| fnmsub.d_b4 | 281/281 (100.00%) |
| fnmsub.d_b5 | 351/351 (100.00%) |
| fnmsub.d_b6 | 281/281 (100.00%) |
| fnmsub.d_b7 | 477/477 (100.00%) |
| fnmsub.d_b8 | 1611/1611 (100.00%) |
| fnmsub.d_b14 | 301/301 (100.00%) |
| fnmsub.d_b15 | 102135/102135 (100.00%) |
| fnmsub.d_b16 | 341/341 (100.00%) |
| fnmsub.d_b17 | 341/341 (100.00%) |
| fnmsub.d_b18 | 411/411 (100.00%) |
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent