Skip to content
  • Dan Gohman's avatar
    Implement support for using modeling implicit-zero-extension on x86-64 · ad3e549a
    Dan Gohman authored
    with SUBREG_TO_REG, teach SimpleRegisterCoalescing to coalesce
    SUBREG_TO_REG instructions (which are similar to INSERT_SUBREG
    instructions), and teach the DAGCombiner to take advantage of this on
    targets which support it. This eliminates many redundant
    zero-extension operations on x86-64.
    
    This adds a new TargetLowering hook, isZExtFree. It's similar to
    isTruncateFree, except it only applies to actual definitions, and not
    no-op truncates which may not zero the high bits.
    
    Also, this adds a new optimization to SimplifyDemandedBits: transform
    operations like x+y into (zext (add (trunc x), (trunc y))) on targets
    where all the casts are no-ops. In contexts where the high part of the
    add is explicitly masked off, this allows the mask operation to be
    eliminated. Fix the DAGCombiner to avoid undoing these transformations
    to eliminate casts on targets where the casts are no-ops.
    
    Also, this adds a new two-address lowering heuristic. Since
    two-address lowering runs before coalescing, it helps to be able to
    look through copies when deciding whether commuting and/or
    three-address conversion are profitable.
    
    Also, fix a bug in LiveInterval::MergeInClobberRanges. It didn't handle
    the case that a clobber range extended both before and beyond an
    existing live range. In that case, multiple live ranges need to be
    added. This was exposed by the new subreg coalescing code.
    
    Remove 2008-05-06-SpillerBug.ll. It was bugpoint-reduced, and the
    spiller behavior it was looking for no longer occurrs with the new
    instruction selection.
    
    llvm-svn: 68576
    ad3e549a
Loading