Skip to content

CCP improvements

Aaron Councilman requested to merge ccp-improvements into main
  • Adds asserts that a reachable if/match has a reachable condition/sum
  • Handles constant propagation of reduce, which takes into account whether the reduct value is reachable and if not ignores it for constant propagation purposes; this allows CCP to identify constant reduces and eliminate them. Also asserts that if a reduce is reachable its initial value must be as well.

Merge request reports