Efficient building and placing of gating functions

In this paper, we present an almost-linear time algorithm for constructing Gated Single Assignment (GSA), which is SSA augmented with gating functions at ø-nodes. The gating functions specify the control dependences for each reaching definition at a ø-node. We introduce a new concept of <italic>gating path</italic>, which is path in the control flow graph from the immediate dominator <italic>u</italic> of a node <italic>v</italic> to <italic>v</italic>, such that every node in the path is dominated by <italic>u</italic>. Previous algorithms start with ø-function placement, and then traverse the control flow graph to compute the gating functions. By formulating the problem into gating path construction, we are able to identify not only a ø-node, but also a gating path expression which defines a gating function for the ø-node.