search for: open_ranges

...DbgValueHistoryCalculator is defined in terms of a data-flow analysis. First a couple of data types used in the following pseudo code: - A range is a pair of MachineInstructions (start, end) that both belong to the same basic block. - range[var] is the final list of live ranges for a variable. - open_ranges[BB][var] is the list of not-yet-terminated ranges for var inside the current basic block BB. - outgoing_loc[BB][var] is the list of locations for var valid at the end of a basic block BB. // This code is probably buggy because I didn't run it through a // compiler yet, but I hope it serves...

...in that locations of "a" at the end of all BB's predecessors don't contradict. It does take the control flow into account, but I left out the important part from the pseudo-code and replaced it with a hand-wavy statement about it being a data-flow analysis. Sorry about that! - open_ranges[BB][var] is the list of not-yet-terminated ranges for > var inside the current basic block BB. > - outgoing_loc[BB][var] is the list of locations for var valid at > the end of a basic block BB. > > // This code is probably buggy because I didn't run it through a > // compi...