B-Lang-org/bsc

bsc does not update generated verilog/sim when BSV preprocessor macros changed

开放

#290 创建于 2021年1月8日

 (1 条评论) (0 个反应) (0 位负责人)Haskell (178 个派生)batch import
good first issue

仓库指标

星标
 (1,108 个星标)
PR 合并指标
 (平均合并 17天 1小时) (30 天内合并 18 个 PR)

描述

package A;

module mkA();
`ifdef MY_MACRO
// behavior 1
rule behavior_1;
$display("behavior 1");
endrule
`else
// behavior 2
rule behavior_2;
$display("behavior 2");
endrule
`endif
endmodule
endpackage

If I first run

bsc -verilog -g mkA -D MY_MACRO  A.bsv

the generated verilog is based on the code in "behavior 1" block. But then, if I subsequently run:

bsc -u -verilog -g mkA A.bsv

The module is not recompiled and the Verilog is still based on "behavior 1" block. I expect bsc to analyze the module again and re-generate the verilog based on "behavior 2".

I need to manually remove the .bo files and rerun bsc to get the expected behavior.

贡献者指南