Artifact 50a62fdb9d4baee929e113747d2a8a9c3ff997883aecb4ca03e100160bd489db:

• File XAllocation.fs — part of check-in [6545d3f146] at 2022-10-15 10:32:33 on branch master — Refactoring: re-naming of types and constructors (user: hothing size: 517)
• File pre/XAllocation.fs — part of check-in [ab80a763d9] at 2023-07-07 05:53:48 on branch master — REORGANIZATION (user: hothing size: 517)

module XAllocation
    open XLang
    open XBuildInterferences
    open GraphColoring
    
    let XVarsAllocate registers aGraph prg =
        //let aGraph = buildInterferences prg
        let cg = makeColoredGraph aGraph
        // - try color the interference graph with defined amount of reisters
        // - if it is possible then use it
        // - else use allocation on stack, amount of 'stack' vars should be calculated  
        match prg with
        | XProgramAbs (_) 
        | XProgramImp (_) -> prg