create_clock redef preserve propagated

This commit is contained in:
James Cherry 2019-10-09 18:02:33 -10:00
parent 0ed0d384ac
commit 81492652ce
3 changed files with 3 additions and 7 deletions

View File

@ -66,7 +66,6 @@ Clock::initClk(PinSet *pins,
bool add_to_pins,
float period,
FloatSeq *waveform,
bool is_propagated,
const char *comment,
const Network *network)
{
@ -78,7 +77,6 @@ Clock::initClk(PinSet *pins,
waveform_valid_ = true;
period_ = period;
setClkEdgeTimes();
is_propagated_ = is_propagated;
setComment(comment);
}

View File

@ -128,7 +128,6 @@ protected:
bool add_to_pins,
float period,
FloatSeq *waveform,
bool is_propagated,
const char *comment,
const Network *network);
void initGeneratedClk(PinSet *pins,

View File

@ -129,8 +129,7 @@ Sdc::makeDefaultArrivalClock()
waveform->push_back(0.0);
waveform->push_back(0.0);
default_arrival_clk_ = new Clock("input port clock", clk_index_++);
default_arrival_clk_->initClk(0, false, 0.0, waveform, false, nullptr,
network_);
default_arrival_clk_->initClk(0, false, 0.0, waveform, nullptr, network_);
}
Sdc::~Sdc()
@ -1033,12 +1032,12 @@ Sdc::makeClock(const char *name,
else {
// Fresh clock definition.
clk = new Clock(name, clk_index_++);
clk->setIsPropagated(propagate_all_clks_);
clocks_.push_back(clk);
// Use the copied name in the map.
clock_name_map_[clk->name()] = clk;
}
clk->initClk(pins, add_to_pins, period, waveform, propagate_all_clks_,
comment, network_);
clk->initClk(pins, add_to_pins, period, waveform, comment, network_);
makeClkPinMappings(clk);
clearCycleAcctings();
invalidateGeneratedClks();