• Matthias Braun's avatar
    split graph state into properties and constraints · b2008e0b
    Matthias Braun authored
    graph_properties are things that a transformation may destroy but which
    can be easily recalculated.
    
    graph_constraints are set after lowering phases have been running and
    forbid certain constructs that no (later) transformation is allowed to construct
    b2008e0b
lower_switch.c 14.8 KB