[PATCH] D25878: IR, X86: Understand !range metadata on global variables.

[Peter Collingbourne via llvm-commits]

pcc created this revision.
pcc added reviewers: chandlerc, lattner.
pcc added a subscriber: llvm-commits.
pcc added dependencies: D25877: Analysis: Move llvm::getConstantRangeFromMetadata to IR library., D25862: X86: Improve BT instruction selection for 64-bit values., D25812: X86: Introduce the "relocImm" ComplexPattern, which represents a relocatable immediate..

Attaching !range to a global variable does two things:

1. Marks it as an absolute symbol reference.
2. Specifies the value range of that symbol's address.

Teach the X86 backend to allow absolute symbols to appear in place of
immediates by extending the relocImm and mov64imm32 matchers. Start using
relocImm in more places where it is legal.

As previously proposed on llvm-dev:
http://lists.llvm.org/pipermail/llvm-dev/2016-October/105800.html

Depends on https://reviews.llvm.org/D25812

Depends on https://reviews.llvm.org/D25862

Depends on https://reviews.llvm.org/D25877


https://reviews.llvm.org/D25878

Files:
  llvm/include/llvm/IR/GlobalValue.h
  llvm/lib/IR/Globals.cpp
  llvm/lib/Target/X86/X86ISelDAGToDAG.cpp
  llvm/lib/Target/X86/X86ISelLowering.cpp
  llvm/lib/Target/X86/X86ISelLowering.h
  llvm/lib/Target/X86/X86InstrInfo.td
  llvm/lib/Target/X86/X86InstrShiftRotate.td
  llvm/lib/Target/X86/X86Subtarget.cpp
  llvm/test/CodeGen/X86/absolute-bit-mask.ll
  llvm/test/CodeGen/X86/absolute-bt.ll
  llvm/test/CodeGen/X86/absolute-constant.ll
  llvm/test/CodeGen/X86/absolute-rotate.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D25878.75465.patch
Type: text/x-patch
Size: 13324 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20161021/adf6f1d1/attachment.bin>