From ca7ecf3dfac3efd68ece30bd6d81e746fa5f4d96 Mon Sep 17 00:00:00 2001 From: Tom Stellard Date: Fri, 22 Aug 2014 18:49:31 +0000 Subject: [PATCH] R600/SI: Wrap local memory pointer in AssertZExt on SI These pointers are really just offsets and they will always be less than 16-bits. Using AssertZExt allows us to use computeKnownBits to prove that these values are positive. We will use this information in a later commit. llvm-svn: 216277 --- llvm/lib/Target/R600/SIISelLowering.cpp | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/llvm/lib/Target/R600/SIISelLowering.cpp b/llvm/lib/Target/R600/SIISelLowering.cpp index ec259f11feb4..67f566f019d2 100644 --- a/llvm/lib/Target/R600/SIISelLowering.cpp +++ b/llvm/lib/Target/R600/SIISelLowering.cpp @@ -504,6 +504,18 @@ SDValue SITargetLowering::LowerFormalArguments( SDValue Arg = LowerParameter(DAG, VT, MemVT, DL, DAG.getRoot(), 36 + VA.getLocMemOffset(), Ins[i].Flags.isSExt()); + + const PointerType *ParamTy = + dyn_cast(FType->getParamType(Ins[i].OrigArgIndex)); + if (Subtarget->getGeneration() == AMDGPUSubtarget::SOUTHERN_ISLANDS && + ParamTy && ParamTy->getAddressSpace() == AMDGPUAS::LOCAL_ADDRESS) { + // On SI local pointers are just offsets into LDS, so they are always + // less than 16-bits. On CI and newer they could potentially be + // real pointers, so we can't guarantee their size. + Arg = DAG.getNode(ISD::AssertZext, DL, Arg.getValueType(), Arg, + DAG.getValueType(MVT::i16)); + } + InVals.push_back(Arg); continue; }