[PATCH] D36900: [WIP] Re-land MachineInstr: Reason locally about some memory objects before going to AA.

[Balaram Makam via Phabricator via llvm-commits]

bmakam created this revision.
Herald added subscribers: javed.absar, nhaehnle, mcrosier.

Reverts r311008 to reinstate r310825 with a fix.

The original change refined simple overlap checking for two equal value MMOs
even when AA is available. We now do overlap checking only if no AA is present
otherwise just let AA do it. Also handle stack references for non-value MMOs.

I will add more tests if this looks reasonable. Please take a look.


https://reviews.llvm.org/D36900

Files:
  lib/CodeGen/MachineInstr.cpp
  test/CodeGen/AArch64/ldst-opt.ll
  test/CodeGen/AMDGPU/call-argument-types.ll
  test/CodeGen/AMDGPU/load-global-i16.ll
  test/CodeGen/AMDGPU/load-global-i8.ll
  test/CodeGen/AMDGPU/load-local-i16.ll
  test/CodeGen/ARM/2009-10-27-double-align.ll
  test/CodeGen/ARM/illegal-bitfield-loadstore.ll
  test/CodeGen/X86/illegal-bitfield-loadstore.ll
  test/CodeGen/X86/memcpy-2.ll
  test/CodeGen/X86/pr34088.ll
  test/CodeGen/X86/widen_arith-3.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D36900.111747.patch
Type: text/x-patch
Size: 18177 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170818/85c08a9c/attachment.bin>