Determination of unreachable elements in a design

摘要

A method and apparatus for performing compiler optimizations is described. The method determines one or more impossible values for a variable in a program code based on a plurality of values of the variable. The method propagates the one or more impossible values for the variable throughout the program code. The method identifies a set of unreachable targets in the program code based on the propagated impossible values for the variable. The method removes objects associated with the set of unreachable targets.

主权项

1. A computer-implemented method of optimizing a circuit design described by a program code written in hardware description language (HDL), the method comprising:
receiving a description of the program code; determining one or more impossible values for a variable in the program code based on a plurality of potential values of the variable; propagating the one or more impossible values of the variable to other variables that are dependent on the variable in the program code; identifying, using a computing device, a set of unreachable targets in the program code based on the one or more impossible values for the variable, the propagating, and the description of the program code; removing objects associated with the set of unreachable targets.