Skip to content

Commit 5d1b26c

Browse files
UmerShahidengrUmerShahidengr
authored
Merge branch 'dev' into add-ruff-ci
2 parents 1bc7aaf + 655fa85 commit 5d1b26c

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

55 files changed

+14643
-238
lines changed

‎coverage/cgfs_fext/RV32Zcd/fld.cgf‎

Lines changed: 67 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,67 @@
1+
c.fld:
2+
config:
3+
- check ISA:=regex(.*I.*F.*D.*C.*)
4+
mnemonics:
5+
c.fld: 0
6+
rs1:
7+
<<: *c_regs
8+
rd:
9+
<<: *c_fregs
10+
op_comb:
11+
'rs1 != rd': 0
12+
val_comb:
13+
'imm_val > 0 and fcsr == 0': 0
14+
'imm_val == 0 and fcsr == 0': 0
15+
abstract_comb:
16+
'walking_ones("imm_val",5,False, scale_func = lambda x: x*8)': 0
17+
'walking_zeros("imm_val",5,False, scale_func = lambda x: x*8)': 0
18+
'alternate("imm_val",5, False,scale_func = lambda x: x*8)': 0
19+
20+
c.fsd:
21+
config:
22+
- check ISA:=regex(.*I.*F.*D.*C.*)
23+
opcode:
24+
c.fsd: 0
25+
rs1:
26+
<<: *c_regs
27+
rs2:
28+
<<: *c_fregs
29+
op_comb:
30+
'rs1 != rs2': 0
31+
val_comb:
32+
'imm_val > 0': 0
33+
'imm_val == 0': 0
34+
abstract_comb:
35+
'walking_ones("imm_val",5,False, scale_func = lambda x: x*8)': 0
36+
'walking_zeros("imm_val",5,False, scale_func = lambda x: x*8)': 0
37+
'alternate("imm_val",5, False,scale_func = lambda x: x*8)': 0
38+
39+
c.fldsp:
40+
config:
41+
- check ISA:=regex(.*I.*F.*D.*C.*)
42+
opcode:
43+
c.fldsp: 0
44+
rd:
45+
<<: *all_fregs
46+
val_comb:
47+
'imm_val > 0': 0
48+
'imm_val == 0': 0
49+
abstract_comb:
50+
'walking_ones("imm_val",6,False, scale_func = lambda x: x*8)': 0
51+
'walking_zeros("imm_val",6,False, scale_func = lambda x: x*8)': 0
52+
'alternate("imm_val",6, False,scale_func = lambda x: x*8)': 0
53+
54+
c.fsdsp:
55+
config:
56+
- check ISA:=regex(.*I.*F.*D.*C.*)
57+
opcode:
58+
c.fsdsp: 0
59+
rs2:
60+
<<: *all_fregs
61+
val_comb:
62+
'imm_val > 0': 0
63+
'imm_val == 0': 0
64+
abstract_comb:
65+
'walking_ones("imm_val",6,False, scale_func = lambda x: x*8)': 0
66+
'walking_zeros("imm_val",6,False, scale_func = lambda x: x*8)': 0
67+
'alternate("imm_val",6, False,scale_func = lambda x: x*8)': 0

‎coverage/cgfs_fext/RV32Zcf/flw.cgf‎

Lines changed: 65 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,65 @@
1+
c.flw:
2+
config:
3+
- check ISA:=regex(.*I.*F.*C.*)
4+
mnemonics:
5+
c.flw: 0
6+
rs1:
7+
<<: *c_regs
8+
rd:
9+
<<: *c_fregs
10+
val_comb:
11+
'imm_val > 0 and fcsr == 0': 0
12+
'imm_val == 0 and fcsr == 0': 0
13+
abstract_comb:
14+
'walking_ones("imm_val",5,False, scale_func = lambda x: x*4)': 0
15+
'walking_zeros("imm_val",5,False, scale_func = lambda x: x*4)': 0
16+
'alternate("imm_val",5, False,scale_func = lambda x: x*4)': 0
17+
18+
c.flwsp:
19+
config:
20+
- check ISA:=regex(.*I.*F.*C.*)
21+
opcode:
22+
c.flwsp: 0
23+
rd:
24+
<<: *c_fregs
25+
val_comb:
26+
'imm_val > 0 and fcsr == 0': 0
27+
'imm_val == 0 and fcsr == 0': 0
28+
abstract_comb:
29+
'walking_ones("imm_val",6,False, scale_func = lambda x: x*4)': 0
30+
'walking_zeros("imm_val",6,False, scale_func = lambda x: x*4)': 0
31+
'alternate("imm_val",6, False,scale_func = lambda x: x*4)': 0
32+
33+
c.fsw:
34+
config:
35+
- check ISA:=regex(.*I.*F.*C.*)
36+
opcode:
37+
c.fsw: 0
38+
rs1:
39+
<<: *c_regs
40+
rs2:
41+
<<: *c_fregs
42+
op_comb:
43+
'rs1 != rs2': 0
44+
val_comb:
45+
'imm_val > 0': 0
46+
'imm_val == 0': 0
47+
abstract_comb:
48+
'walking_ones("imm_val",5,False, scale_func = lambda x: x*4)': 0
49+
'walking_zeros("imm_val",5,False, scale_func = lambda x: x*4)': 0
50+
'alternate("imm_val",5, False,scale_func = lambda x: x*4)': 0
51+
52+
c.fswsp:
53+
config:
54+
- check ISA:=regex(.*I.*F.*C.*)
55+
opcode:
56+
c.fswsp: 0
57+
rs2:
58+
<<: *c_fregs
59+
val_comb:
60+
'imm_val > 0': 0
61+
'imm_val == 0': 0
62+
abstract_comb:
63+
'walking_ones("imm_val",6,False, scale_func = lambda x: x*4)': 0
64+
'walking_zeros("imm_val",6,False, scale_func = lambda x: x*4)': 0
65+
'alternate("imm_val",6, False,scale_func = lambda x: x*4)': 0

‎coverage/cgfs_fext/RV64Zcd/fld.cgf‎

Lines changed: 67 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,67 @@
1+
c.fld:
2+
config:
3+
- check ISA:=regex(.*I.*F.*D.*C.*)
4+
mnemonics:
5+
c.fld: 0
6+
rs1:
7+
<<: *c_regs
8+
rd:
9+
<<: *c_fregs
10+
op_comb:
11+
'rs1 != rd': 0
12+
val_comb:
13+
'imm_val > 0 and fcsr == 0': 0
14+
'imm_val == 0 and fcsr == 0': 0
15+
abstract_comb:
16+
'walking_ones("imm_val",5,False, scale_func = lambda x: x*8)': 0
17+
'walking_zeros("imm_val",5,False, scale_func = lambda x: x*8)': 0
18+
'alternate("imm_val",5, False,scale_func = lambda x: x*8)': 0
19+
20+
c.fsd:
21+
config:
22+
- check ISA:=regex(.*I.*F.*D.*C.*)
23+
opcode:
24+
c.fsd: 0
25+
rs1:
26+
<<: *c_regs
27+
rs2:
28+
<<: *c_fregs
29+
op_comb:
30+
'rs1 != rs2': 0
31+
val_comb:
32+
'imm_val > 0': 0
33+
'imm_val == 0': 0
34+
abstract_comb:
35+
'walking_ones("imm_val",5,False, scale_func = lambda x: x*8)': 0
36+
'walking_zeros("imm_val",5,False, scale_func = lambda x: x*8)': 0
37+
'alternate("imm_val",5, False,scale_func = lambda x: x*8)': 0
38+
39+
c.fldsp:
40+
config:
41+
- check ISA:=regex(.*I.*F.*D.*C.*)
42+
opcode:
43+
c.fldsp: 0
44+
rd:
45+
<<: *all_fregs
46+
val_comb:
47+
'imm_val > 0': 0
48+
'imm_val == 0': 0
49+
abstract_comb:
50+
'walking_ones("imm_val",6,False, scale_func = lambda x: x*8)': 0
51+
'walking_zeros("imm_val",6,False, scale_func = lambda x: x*8)': 0
52+
'alternate("imm_val",6, False,scale_func = lambda x: x*8)': 0
53+
54+
c.fsdsp:
55+
config:
56+
- check ISA:=regex(.*I.*F.*D.*C.*)
57+
opcode:
58+
c.fsdsp: 0
59+
rs2:
60+
<<: *all_fregs
61+
val_comb:
62+
'imm_val > 0': 0
63+
'imm_val == 0': 0
64+
abstract_comb:
65+
'walking_ones("imm_val",6,False, scale_func = lambda x: x*8)': 0
66+
'walking_zeros("imm_val",6,False, scale_func = lambda x: x*8)': 0
67+
'alternate("imm_val",6, False,scale_func = lambda x: x*8)': 0

‎coverage/dataset.cgf‎

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -180,6 +180,16 @@ datasets:
180180
x13: 0
181181
x14: 0
182182
x15: 0
183+
184+
c_fregs: &c_fregs
185+
f8: 0
186+
f9: 0
187+
f10: 0
188+
f11: 0
189+
f12: 0
190+
f13: 0
191+
f14: 0
192+
f15: 0
183193

184194
all_regs_mx2: &all_regs_mx2
185195
x1: 0

‎requirements.txt‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ Pygments>=2.4.2
2626
pyparsing>=2.4.0
2727
pytablewriter
2828
pytest
29-
python-constraint
29+
python-constraint>=1.4.0
3030
python-dateutil>=2.8.0
3131
pytz>=2019.1
3232
pyyaml

0 commit comments

Comments
 (0)