Why is static single assignment form weird?

Because, for the sake of mapping to hardware, it awkwardly mushes two separate digraphs together: a control flow graph (CFG) whose arrows point forward in time, and a dependency graph (DG) whose arrows point backwards in time.

Designwise, how can we improve this configuration?

First, we flip the edges of the CFG so that each basic block points to all blocks it comes from instead and the respective condition for each.

#RSSA #NOIR