MCPcopy Create free account
hub / github.com/AliveToolkit/alive2 / padding_physical

Function padding_physical

ir/pointer.cpp:33–37  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

31}
32
33static unsigned padding_physical() {
34 auto l = total_bits_logical();
35 auto p = total_bits_physical();
36 return p > l ? 0 : l - p;
37}
38
39static expr prepend_if(const expr &pre, expr &&e, bool prepend) {
40 return prepend ? pre.concat(e) : std::move(e);

Callers 1

mkPhysicalMethod · 0.85

Calls 2

total_bits_logicalFunction · 0.85
total_bits_physicalFunction · 0.85

Tested by

no test coverage detected