[PATCH] D58981: CodeGenPrepare: preserve inbounds attribute when sinking GEPs

[Tim Northover via Phabricator via llvm-commits]

t.p.northover created this revision.
Herald added subscribers: jdoerfert, atanasyan, jrtc27, hiraditya, kristof.beyls, javed.absar, nhaehnle, jvesely, sdardis, mcrosier.
Herald added a project: LLVM.

This is part of the groundwork for supporting the AArch64 ILP32 ABI.

Targets can potentially emit more efficient code if they know address computations never overflow. For example ILP32 code on AArch64 (which only has 64-bit address computation) can ignore the possibility of overflow with this extra information.


Repository:
  rL LLVM

https://reviews.llvm.org/D58981

Files:
  llvm/lib/CodeGen/CodeGenPrepare.cpp
  llvm/test/CodeGen/AMDGPU/cgp-addressing-modes.ll
  llvm/test/CodeGen/Thumb/addr-modes.ll
  llvm/test/Transforms/CodeGenPrepare/Mips/pr35209.ll
  llvm/test/Transforms/CodeGenPrepare/X86/computedgoto.ll
  llvm/test/Transforms/CodeGenPrepare/X86/sink-addrmode-base.ll
  llvm/test/Transforms/CodeGenPrepare/X86/sink-addrmode.ll
  llvm/test/Transforms/CodeGenPrepare/X86/sink-addrspacecast.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D58981.189349.patch
Type: text/x-patch
Size: 12995 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190305/8f193a5e/attachment.bin>