Skip to content
  • Andrew Trick's avatar
    [disable-iv-rewrite] Allow WidenIV to handle NSW/NUW operations · c7868bf0
    Andrew Trick authored
    better.
    
    Don't immediately give up when an add operation can't be trivially
    sign/zero-extended within a loop. If it has NSW/NUW flags, generate a
    new expression with sign extended (non-recurrent) operand. As before,
    if SCEV says that all sign extends are loop invariant, then we can
    widen the operation.
    
    llvm-svn: 139453
    c7868bf0
Loading