Examines the loop nesting of the Src and Dst instructions and establishes their shared loops. Sets the variables CommonLevels, SrcLevels, and MaxLevels. The source and destination instructions needn't be contained in the same loop. The routine establishNestingLevels finds the level of most deeply nested loop that contains them both, CommonLevels. An instruction that's not contained in a loop is at
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected