Changes between Version 22 and Version 23 of Commentary/Compiler/Backends/LLVM/Alias


Ignore:
Timestamp:
Apr 24, 2012 7:25:48 AM (2 years ago)
Author:
dterei
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/Backends/LLVM/Alias

    v22 v23  
    7474 
    7575And when it is, 'it is' (unconfirmed) always deriving a "heap" pointer, "stack" pointers are always of the in-line variety. This assumption if true allows us to look at just a store or load in isolation to properly Type it. 
     76 
     77There are two ways to type this 'properly'. 
     78 
     791. Do data flow analysis. This is the only proper way to do it but also annoying. 
     802. Do block local analysis. Instead of doing full blow data flow analysis, just track the type of pointers stored to CmmLocal regs at the block level. This is safe but just may miss some opportunities when a CmmLocal's value is assigned in another block... My hunch is this is quite rare so this method should be fairly effective (and easier to implement and quicker to run that 1.) 
    7681 
    7782== LLVM type system ==