mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 19:52:31 +00:00
Code Activity

Merge pull request #2584 from antmicro/atom_type_signedness

Browse source 
verilog_parser: fix missing is_signed attribute in type_atom
This commit is contained in:
Zachary Snow 2021-02-11 10:26:06 -05:00 • committed by GitHub
commit c383d156e9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 23 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
frontends/verilog/verilog_parser.y
View file

@ -1491,10 +1491,10 @@ enum_base_type: type_atom type_signing
| %empty { astbuf1->is_reg = true; addRange(astbuf1); }
;
type_atom: TOK_INTEGER { astbuf1->is_reg = true; addRange(astbuf1); } // 4-state signed
| TOK_INT { astbuf1->is_reg = true; addRange(astbuf1); } // 2-state signed
| TOK_SHORTINT { astbuf1->is_reg = true; addRange(astbuf1, 15, 0); } // 2-state signed
| TOK_BYTE { astbuf1->is_reg = true; addRange(astbuf1, 7, 0); } // 2-state signed
type_atom: TOK_INTEGER { astbuf1->is_reg = true; astbuf1->is_signed = true; addRange(astbuf1); } // 4-state signed
| TOK_INT { astbuf1->is_reg = true; astbuf1->is_signed = true; addRange(astbuf1); } // 2-state signed
| TOK_SHORTINT { astbuf1->is_reg = true; astbuf1->is_signed = true; addRange(astbuf1, 15, 0); } // 2-state signed
| TOK_BYTE { astbuf1->is_reg = true; astbuf1->is_signed = true; addRange(astbuf1, 7, 0); } // 2-state signed
;
type_vec: TOK_REG { astbuf1->is_reg = true; } // unsigned

19
tests/verilog/atom_type_signedness.ys Normal file
View file

@ -0,0 +1,19 @@
read_verilog -dump_ast1 -dump_ast2 -sv <<EOT
module dut();
enum integer { uInteger = -10 } a;
enum int { uInt = -11 } b;
enum shortint { uShortInt = -12 } c;
enum byte { uByte = -13 } d;
always_comb begin
assert(-10 == uInteger);
assert(-11 == uInt);
assert(-12 == uShortInt);
assert(-13 == uByte);
end
endmodule
EOT
hierarchy; proc; opt
select -module dut
sat -verify -seq 1 -tempinduct -prove-asserts -show-all