Skip to content
  • Dan Gohman's avatar
    Factor the code for collecting IV users out of LSR into an IVUsers class, · d76d71a2
    Dan Gohman authored
    and generalize it so that it can be used by IndVarSimplify. Implement the
    base IndVarSimplify transformation code using IVUsers. This removes
    TestOrigIVForWrap and associated code, as ScalarEvolution now has enough
    builtin overflow detection and folding logic to handle all the same cases,
    and more. Run "opt -iv-users -analyze -disable-output" on your favorite
    loop for an example of what IVUsers does.
    
    This lets IndVarSimplify eliminate IV casts and compute trip counts in
    more cases. Also, this happens to finally fix the remaining testcases
    in PR1301.
    
    Now that IndVarSimplify is being more aggressive, it occasionally runs
    into the problem where ScalarEvolutionExpander's code for avoiding
    duplicate expansions makes it difficult to ensure that all expanded
    instructions dominate all the instructions that will use them. As a
    temporary measure, IndVarSimplify now uses a FixUsesBeforeDefs function
    to fix up instructions inserted by SCEVExpander. Fortunately, this code
    is contained, and can be easily removed once a more comprehensive
    solution is available.
    
    llvm-svn: 71535
    d76d71a2
Loading