Peter Collingbourne 74eabdd998 Introduce llvm.load.relative intrinsic. ...

This intrinsic takes two arguments, ``%ptr`` and ``%offset``. It loads
a 32-bit value from the address ``%ptr + %offset``, adds ``%ptr`` to that
value and returns it. The constant folder specifically recognizes the form of
this intrinsic and the constant initializers it may load from; if a loaded
constant initializer is known to have the form ``i32 trunc(x - %ptr)``,
the intrinsic call is folded to ``x``.

LLVM provides that the calculation of such a constant initializer will
not overflow at link time under the medium code model if ``x`` is an
``unnamed_addr`` function. However, it does not provide this guarantee for
a constant initializer folded into a function body. This intrinsic can be
used to avoid the possibility of overflows when loading from such a constant.

Differential Revision: http://reviews.llvm.org/D18367

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@267223 91177308-0d34-0410-b5e6-96231b3b80d8

2016-04-22 21:18:02 +00:00

..

2002-04-14-UnexpectedUnsignedType.ll

Convert more tests to avoid llvm-as.

2009-09-11 18:36:27 +00:00

2002-04-16-StackFrameSizeAlignment.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2003-05-27-phifcmpd.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2003-05-27-useboolinotherbb.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2003-05-27-usefsubasbool.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2003-05-28-ManyArgs.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2003-05-30-BadFoldGEP.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2003-05-30-BadPreselectPhi.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2003-07-06-BadIntCmp.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2003-07-07-BadLongConst.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2003-07-08-BadCastToBool.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2003-07-29-BadConstSbyte.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2004-05-09-LiveVarPartialRegister.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2005-01-18-SetUO-InfLoop.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2005-04-09-GlobalInPHI.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

2005-10-18-ZeroSizeStackObject.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2005-10-21-longlonggtu.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2005-12-01-Crash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2005-12-12-ExpandSextInreg.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2006-01-12-BadSetCCFold.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2006-01-18-InvalidBranchOpcodeAssert.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2006-02-12-InsertLibcall.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2006-03-01-dagcombineinfloop.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2006-04-26-SetCCAnd.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2006-04-28-Sign-extend-bool.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2006-05-06-GEP-Cast-Sink-Crash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2006-06-12-LowerSwitchCrash.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2006-06-13-ComputeMaskedBitsCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2006-06-28-SimplifySetCCCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2006-07-03-schedulers.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2006-08-30-CoalescerCrash.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2006-09-02-LocalAllocCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

2006-09-06-SwitchLowering.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2006-10-27-CondFolding.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2006-10-29-Crash.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2006-11-20-DAGCombineCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2007-01-15-LoadSelectCycle.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2007-02-25-invoke.ll

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

2007-04-08-MultipleFrameIndices.ll

Re-commit: Demote EmitRawText call in AsmPrinter::EmitInlineAsm() and remove hasRawTextSupport() call

2014-02-13 14:44:26 +00:00

2007-04-13-SwitchLowerBadPhi.ll

don't have i386-specific tests in CodeGen/Generic, PR6601.

2010-03-14 18:51:18 +00:00

2007-04-17-lsr-crash.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2007-04-27-InlineAsm-X-Dest.ll

Re-commit: Demote EmitRawText call in AsmPrinter::EmitInlineAsm() and remove hasRawTextSupport() call

2014-02-13 14:44:26 +00:00

2007-04-27-LargeMemObject.ll

Re-commit: Demote EmitRawText call in AsmPrinter::EmitInlineAsm() and remove hasRawTextSupport() call

2014-02-13 14:44:26 +00:00

2007-04-30-LandingPadBranchFolding.ll

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

2007-05-03-EHTypeInfo.ll

CodeGen: @llvm.eh.typeid.for replaced @llvm.eh.typeid.for.i32

2015-03-16 21:36:38 +00:00

2007-05-15-InfiniteRecursion.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2007-12-17-InvokeAsm.ll

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

2007-12-31-UnusedSelector.ll

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

2008-01-25-dag-combine-mul.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2008-01-30-LoadCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2008-02-04-Ctlz.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2008-02-04-ExtractSubvector.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2008-02-20-MatchingMem.ll

Unxfail passing test on Hexagon

2015-03-12 20:38:10 +00:00

2008-02-25-NegateZero.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2008-02-26-NegatableCrash.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2008-08-07-PtrToInt-SmallerInt.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

2009-03-17-LSR-APInt.ll

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

2009-03-29-SoftFloatVectorExtract.ll

Migrate existing backends that care about software floating point

2015-05-12 01:26:05 +00:00

2009-04-10-SinkCrash.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

2009-04-28-i128-cmp-crash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2009-11-16-BadKillsCrash.ll

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

2010-07-27-DAGCombineCrash.ll

Fix a crash in the dag combiner caused by ConstantFoldBIT_CONVERTofBUILD_VECTOR calling itself

2010-07-27 18:02:18 +00:00

2010-11-04-BigByval.ll

PR11004: Inline memcpy to avoid generating nested call sequence. Un-XFAIL 2011-06-09-TailCallByVal and 2010-11-04-BigByval

2011-09-26 06:13:20 +00:00

2010-ZeroSizedArg.ll

Remove arm_apcscc from the test files. It is the default and doing this

2010-06-17 15:18:27 +00:00

2011-01-06-BigNumberCrash.ll

Add a testcase for PR8582, which mysteriously fixed itself, in case the problem

2011-01-06 23:04:29 +00:00

2011-07-07-ScheduleDAGCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2012-06-08-APIntCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2013-03-20-APFloatCrash.ll

Add a test case for PR15318 fixed in r177472

2013-03-20 06:18:06 +00:00

2014-02-05-OpaqueConstants.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

add-with-overflow-24.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

add-with-overflow-128.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

add-with-overflow.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

addr-label.ll

Fix PR6673: updating the callback should not clear the map.

2010-03-22 23:15:57 +00:00

annotate.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

APIntLoadStore.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

APIntParam.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

APIntSextParam.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

APIntZextParam.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

asm-large-immediate.ll

Re-commit: Demote EmitRawText call in AsmPrinter::EmitInlineAsm() and remove hasRawTextSupport() call

2014-02-13 14:44:26 +00:00

assume.ll

Add @llvm.assume, lowering, and some basic properties

2014-07-25 21:13:35 +00:00

badarg6.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

badCallArgLRLLVM.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

badFoldGEP.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

BasicInstrs.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

bool-to-double.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

builtin-expect.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

call2-ret0.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

call-ret0.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

call-ret42.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

call-void.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

cast-fp.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

ConstantExprLowering.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

constindices.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

crash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

dag-combine-crash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

dbg_value.ll

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

div-neg-power-2.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

donothing.ll

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

dont-remove-empty-preheader.ll

Add missing test for the "Don't delete empty preheaders" added in r265397

2016-04-05 14:21:32 +00:00

edge-bundles-blockIDs.ll

Don't run RAFast in the optimizing regalloc pipeline.

2012-06-08 23:15:12 +00:00

empty-insertvalue.ll

Fix crash with an insertvalue that produces an empty object.

2014-09-20 00:10:47 +00:00

empty-load-store.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

empty-phi.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

exception-handling.ll

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

externally_available.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

fastcall.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

fneg-fabs.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

ForceStackAlign.ll

Revert "Change memcpy/memset/memmove to have dest and source alignments."

2015-11-19 05:56:52 +00:00

fp_to_int.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

fp-to-int-invalid.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

fpowi-promote.ll

make target independent.

2010-02-09 06:36:30 +00:00

fwdtwice.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

global-ret0.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

hello.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

i128-addsub.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

i128-arith.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

icmp-illegal.ll

Fix icmp lowering

2015-05-20 17:21:09 +00:00

inline-asm-mem-clobber.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

inline-asm-special-strings.ll

Re-commit: Demote EmitRawText call in AsmPrinter::EmitInlineAsm() and remove hasRawTextSupport() call

2014-02-13 14:44:26 +00:00

intrinsics.ll

Declare sin & cos as readonly so they match the code in SelectionDAGBuild

2009-11-03 02:19:31 +00:00

invalid-memcpy.ll

Revert "Change memcpy/memset/memmove to have dest and source alignments."

2015-11-19 05:56:52 +00:00

isunord.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

lit.local.cfg

Make the default triple optional by allowing an empty string

2015-09-16 05:34:32 +00:00

llvm-ct-intrinsics.ll

Manually upgrade the test suite to specify the flag to cttz and ctlz.

2011-12-12 11:59:10 +00:00

MachineBranchProb.ll

[Codegen] Decrease minimum jump table density.

2016-03-29 00:23:41 +00:00

multiple-return-values-cross-block-with-invoke.ll

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

negintconst.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

nested-select.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

no-target.ll

Fix pr18235.

2013-12-13 16:05:32 +00:00

overflow.ll

add a general coverage test for overflow intrinsics.

2010-12-19 20:01:13 +00:00

overloaded-intrinsic-name.ll

[gc.statepoint] Change gc.statepoint intrinsic's return type to token type instead of i32 type

2015-12-26 07:54:32 +00:00

PBQP.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

pr2625.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

pr3288.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

pr12507.ll

Don't try to zExt just to check if an integer constant is zero, it might

2012-04-10 00:16:22 +00:00

print-add.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

print-after.ll

CommandLine: Exit successfully for -version and -help

2014-02-28 19:08:01 +00:00

print-arith-fp.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

print-arith-int.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

print-int.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

print-machineinstrs.ll

Rename argument strings of codegen passes to avoid collisions with command line

2014-12-13 04:52:04 +00:00

print-mul-exp.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

print-mul.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

print-shift.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

ptr-annotate.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

ret0.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

ret42.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

run-pass.ll

llc: Add a 'run-pass' option.

2015-07-06 17:44:26 +00:00

select-cc.ll

XFAIL some of the generic CodeGen tests for Hexagon.

2013-03-25 21:04:16 +00:00

select.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

shift-int64.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

stacksave-restore.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

stop-after.ll

Introduce llvm.load.relative intrinsic.

2016-04-22 21:18:02 +00:00

storetrunc-fp.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

switch-lower-feature.ll

merge two tests, make target independent.

2010-02-09 06:19:20 +00:00

switch-lower.ll

Fix PR5421 by APInt'izing switch lowering.

2009-11-07 07:50:34 +00:00

trap.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

undef-phi.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

v-split.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

vector-casts.ll

whitespace tidyup. NFC.

2015-07-03 08:02:12 +00:00

vector-constantexpr.ll

Eliminate more uses of llvm-as and llvm-dis.

2009-09-09 00:09:15 +00:00

vector-identity-shuffle.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

vector-redux.ll

Detecte vector reduction operations just before instruction selection.

2016-02-24 23:40:36 +00:00

vector.ll

Fix assert in X86 backend.

2015-10-09 20:10:14 +00:00

zero-sized-array.ll

Make codegen able to handle values of empty types. This is one way

2011-05-13 15:18:06 +00:00