Change ARM / Thumb2 addc / adde and subc / sube modeling to use physical
authorEvan Cheng <evan.cheng@apple.com>
Tue, 30 Aug 2011 01:34:54 +0000 (01:34 +0000)
committerEvan Cheng <evan.cheng@apple.com>
Tue, 30 Aug 2011 01:34:54 +0000 (01:34 +0000)
commit342e3161d9dd4fa485b47788aa0266f9c91c3832
treea087caab5127e04d3e7589a5ccb2d209e689a317
parentd3765189bfb8c0dd3aa377aaf2d644f321ea8e5a
Change ARM / Thumb2 addc / adde and subc / sube modeling to use physical
register dependency (rather than glue them together). This is general
goodness as it gives scheduler more freedom. However it is motivated by
a nasty bug in isel.

When a i64 sub is expanded to subc + sube.
  libcall #1
     \
      \        subc
       \       /  \
        \     /    \
         \   /    libcall #2
          sube

If the libcalls are not serialized (i.e. both have chains which are dag
entry), legalizer can serialize them in arbitrary orders. If it's
unlucky, it can force libcall #2 before libcall #1 in the above case.

  subc
   |
  libcall #2
   |
  libcall #1
   |
  sube

However since subc and sube are "glued" together, this ends up being a
cycle when the scheduler combine subc and sube as a single scheduling
unit.

The right solution is to fix LegalizeType too chains the libcalls together.
However, LegalizeType is not processing nodes in order so that's harder than
it should be. For now, the move to physical register dependency will do.

rdar://10019576

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@138791 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Target/ARM/ARMBaseRegisterInfo.cpp
lib/Target/ARM/ARMBaseRegisterInfo.h
lib/Target/ARM/ARMISelLowering.cpp
lib/Target/ARM/ARMISelLowering.h
lib/Target/ARM/ARMInstrInfo.td
lib/Target/ARM/ARMInstrThumb2.td
lib/Target/ARM/ARMRegisterInfo.td
test/CodeGen/ARM/2011-08-29-SchedCycle.ll [new file with mode: 0644]
test/CodeGen/Thumb2/2009-12-01-LoopIVUsers.ll