[PowerPC] Extend .reloc directive on PowerPC

[stefanp]

Summary

A linker optimization is available on PowerPC for GOT indirect PCRelative loads.

When the compiler generates a GOT indirect load it must generate two loads. One
that loads the address of the element from the GOT and a second to load the
actual element based on the address just loaded from the GOT. However, the
linker can optimize these two loads into one load if it knows that it is safe
to do so. The compiler can tell the linker that the optimization is safe
by using the R_PPC64_PCREL_OPT relocation. The relocation can be used as follows

  pld 3, vec@got@pcrel(0), 1
.Lpcrel1:
    ... More instructions possible here ...
.reloc .Lpcrel1-8,R_PPC64_PCREL_OPT,.-(.Lpcrel1-8)
  lwa 3, 4(3)

The first load to get the address from the GOT has a label immediately following
it (in this case Lpcrel1) and then the second load has the .reloc directive that
actually attaches the relocation to the first load using the Lpcrel1-8. The end
result is that the first load from the GOT has a relocation on it that specifies
the offset in the text section to the second load so that the linker can perform
the optimization.
There is another possible form for this setup as follows:

  pld 3, vec@got@pcrel(0), 1
.Lpcrel1=.-8
      ... More instructions possible here ...
.reloc .Lpcrel1,R_PPC64_PCREL_OPT,.-.Lpcrel1
  lwa 3, 4(3)

In the second form the label is variable and contains the .-8.
This patch expands the .reloc directive to support the second form from above. The first form was added in D83751.

[amyk]

llvm/lib/MC/MCExpr.cpp

325

I noticed for other PPC VariantKinds, we don't put the ppc part in the string. Is there a reason why we call it ppclinkeropt instead of just linkeropt? Is it since linkeropt might sound too generic?

llvm/lib/Target/PowerPC/MCTargetDesc/PPCELFStreamer.cpp

174

Maybe early exit/break here instead then return false at the end, like how it is in the MCExpr::Binary?

llvm/test/MC/PowerPC/future-reloc-with-expr.s

7

s/paremter/parameter

[NeHuang]

llvm/lib/Target/PowerPC/MCTargetDesc/PPCAsmBackend.cpp

51

nit: Can we move this to line 36 as we already have a case return Value.

165

Why do we need to add case FK_NONE?

[stefanp]

Address review comments.

llvm/lib/MC/MCExpr.cpp

325

This variant kind is a little bit different from the others. Other variant kinds use the string when generating assembly output files. For example when we use VK_PPC_GOT_PCREL we actually output symbol@got@pcrel into the assembly file. This string has to match what gcc does when it emits the symbol and relocation in the output. In the case of VK_PPC_LINKER_OPT we won't be doing that. The string "ppclinkeropt" should never get printed to the assembly file so it doesn't really matter what we name it as long as it is consistent in LLVM. I used the "ppc" prefix for it because the strings needs to be unique (see getVariantKindForName) and as a result I figured it would be less likely to conflict with a future string.

[anil9]

llvm/lib/Target/PowerPC/AsmParser/PPCAsmParser.cpp

1829

nit : change number to constant ?

1854

nit > 80 char

llvm/lib/Target/PowerPC/MCTargetDesc/PPCELFStreamer.cpp

126

Indentation.

148

nit > 80 char.

155

Indentation.

162

will this assertion be reached given the break just before it ?

llvm/lib/Target/PowerPC/MCTargetDesc/PPCFixupKinds.h

46

nit , fullstop.

[stefanp]

llvm/lib/Target/PowerPC/MCTargetDesc/PPCELFStreamer.cpp

126

It seems that clang-format thinks this is fine.
I checked what we did in other places in llvm/lib/Target/PowerPC/ and we seem to use both formats. Unless we can find a really compelling reason to change this I'm going to leave it as-is.

155

Again, I think this is fine since clang-format thinks it is fine.

162

The break is only triggered if the if statement is true. If !getOffsetFromBinaryExpr(BinExpr, ComputedOffset, &DF) is false we don't break.

[stefanp]

Address review comments.

[stefanp]

Added more comments and broke up confusing if statements.

[lei]

llvm/lib/Target/PowerPC/MCTargetDesc/PPCELFStreamer.cpp

144

nit: .relc -> .reloc

llvm/test/MC/PowerPC/future-reloc-with-expr.s

3

Should we use --mcpu=power10 since that's available?
Maybe the name of this file should also be updated? pcRel-reloc-with-expr.s?

3

do we need to add tests for BE?

[stefanp]

Address Review Comments

[nemanjai]

llvm/lib/MC/MCExpr.cpp

325

It seems to me that <<Invalid>> may be the right thing to do to clearly signal that this thing isn't supposed to be emitted. Is there something else (other than getVariantKindForName) that needs this to have some value such as the one you chose?

441

Since this isn't supposed to be printed and the choice of the string is somewhat arbitrary, do we even want to add it here? It seems that VK_Invalid may actually be the right thing to do here.

llvm/lib/Target/PowerPC/AsmParser/PPCAsmParser.cpp

1813

I think an example of what this actually looks like here would be useful. It may be obvious in this review as it is in the test case below, but it won't be obvious looking at the code in the future.

llvm/lib/Target/PowerPC/MCTargetDesc/PPCELFStreamer.cpp

150

Is this really the condition under which we want to defer to the base class? In the parsing function, we handle a situation where the Offset expression is a binary expression and there is no relocation expression. So is it now possible to end up deferring to the base class with the equivalent of .reloc .Label1-8,SOME_RELOCATION_AGAINST_LAB_MINUS8?

I guess what I am getting at is that we should be checking for
Offset.getKind() == MCExpr::Binary

An assert is fine as well along the lines of:

assert((Expr || Offset.getKind() != MCExpr::Binary) &&
       "Expecting a relocation value for .reloc directives with a binary expression");

153

// Get the MCFixupKind that corresponds to Name.

162

Please replace uses of parent and parent class with base class.

173

I think Anil's question makes sense. Is it possible for getOffsetFromBinaryExpr() to return true and not set DF?

llvm/test/MC/PowerPC/future-reloc-with-expr.s

3

1. Please add at least some testing where the instructions in between include prefixed instr alignment nops. Presumably you can do this by aligning the function to 64 bytes and then have 8 prefixed instructions and one non-prefixed (or use .space).
2. Please add a test case where the pld itself is being realigned
3. Please add a test case where the realigned pld has a label (both on the same line and on the line above)

108

What is this nop? Is it to align the paddi below? If so, it seems to me that it is in the wrong place.

200

I don't see the difference between this and the corresponding "non-variable symbol" test case. Can you point out to me what the difference is? Similarly with other variable symbol test cases below.

[sfertile]

llvm/include/llvm/MC/MCExpr.h

305

I think the name should include PCREL since this Expr is for representing the PCREL_OPT relocation.

The other comment show you how to produce the variant kind. What about // .reloc expr, R_PPC64_PCREL_OPT, expr for the comment?

llvm/lib/MC/MCExpr.cpp

325

Is the reason the string needs to be unique because its used in a sting switch in getVariantKindForName? If so mapping it to VK_Invalid in both here and there like Nemanja suggests seems like the right thing to do.

llvm/lib/Target/PowerPC/AsmParser/PPCAsmParser.cpp

1811

Was the problem that the existing functionality can only parse a constant or symbol reference for the offset? If so why extend the functionality in the PPCASMParser as opposed to AsmParser::parseDirectiveReloc? I'm not super familiar with the .reloc directive but gas documents accepting symbol + offset for the first expression. https://sourceware.org/binutils/docs/as/Reloc.html#Reloc

[stefanp]

llvm/include/llvm/MC/MCExpr.h

305

I agree that the name with PCREL will work better.
I'm going to use VK_PPC_PCREL_OPT.

llvm/lib/MC/MCExpr.cpp

325

No, there is nowhere else that I can think of that would require this name.
I agree that <<Invalid>> is a better choice.

441

Agreed. I'm going to remove this completely. It is not required and if that string ever gets passed it will drop through to VK_Invalid anyway.

llvm/lib/Target/PowerPC/AsmParser/PPCAsmParser.cpp

1811

This is a very good point: this is just an extension of existing functionality. I wanted to make it PPC specific because I believed that the community would more easily accept this code as PPC specific. I have nothing against making this target independent.
I would also like to hear form some of the other reviewers on this as to whether or not they believe that making this target independent would make more sense.

llvm/lib/Target/PowerPC/MCTargetDesc/PPCELFStreamer.cpp

150

So, I ended up doing something different.
It seems that the base class assumes:

if (Expr == nullptr)
    Expr = MCSymbolRefExpr::create(getContext().createTempSymbol(),
                                   getContext());

The use the current position to fill in the symbol. So, I will do the same thing.
I will access the base class only as a fall-through.

173

Ok, I see what was meant by that comment. Sorry, I misunderstood at first.
The issue is that DF is set in another function and even though it is correct that right now it is impossible to return true without setting DF I am adding the assert as a way to make sure that possible future changes to getOffsetFromBinaryExpr keep that.

llvm/test/MC/PowerPC/future-reloc-with-expr.s

108

That nop is an alignment nop and is not intentional from the testing perspective but it does appear to be in the correct place.

0000000000000070 <PrefixInsnBetween>:
      70: 00 00 10 04 00 00 60 e4      	pld 3, 0(0), 1
		0000000000000070:  R_PPC64_GOT_PCREL34	vec
		0000000000000070:  R_PPC64_PCREL_OPT	*ABS*+0x28
      78: 2a 00 63 38  	addi 3, 3, 42
      7c: 00 00 00 60  	nop
      80: 00 00 00 06 2a 00 63 38      	paddi 3, 3, 42, 0
      88: 2a 00 63 38  	addi 3, 3, 42
      8c: 00 00 00 06 2a 00 63 38      	paddi 3, 3, 42, 0
      94: 2a 00 63 38  	addi 3, 3, 42
      98: 06 00 63 e8  	lwa 3, 4(3)
      9c: 20 00 80 4e  	blr

We cannot start a prefixed instruction at 0x7c so we add the nop.
We only use .p2align4 and so functions are only aligned to 16 bytes.

Having said all that, I can make it intentional! As you mention above a test with prefixed instructions and a nop is useful.

200

That's because I forgot to change these ones to look like the test just above. I'll fix that.

[stefanp]

Fixed a number of issues pointed out by the reviewers.

[stefanp]

llvm/lib/Target/PowerPC/AsmParser/PPCAsmParser.cpp

1811

After further consideration, I think we should probably leave things separate for now. No other targets have needed these features yet and it would probably be better to implement them on PowerPC first and test them that way. After some of the bugs have been worked out we can propose to make a wider change that will work on all targets with ELF and have a second patch for that.

[sfertile]

llvm/lib/MC/MCExpr.cpp

325

nit: Should be on one line.

llvm/lib/Target/PowerPC/AsmParser/PPCAsmParser.cpp

1814

Do we want the example to show up in the doxygen?

1819

A couple nits in regards to this comment:

The .reloc directive is consumed by the assembler to emit a relocation. It is clearer to separate the explanation of the directive, and then explain the relocations significance to the linker.

We use 'position' to refer to the expression which defines the relocations r_offset field, then use 'offset' to refer to the expression which defines the relocations r_addend field, which I find confusing.

Taking both those into account and stealing from the ABI description of the relocation:

///   pld 3, vec@got@pcrel(0), 1
/// .Lpcrel1:
///   .reloc .Lpcrel1-8,R_PPC64_PCREL_OPT,.-(.Lpcrel1-8)
///   lwa 3, 4(3)

/// The .reloc directive instructs the assembler to emit a relocation of type R_PPC64_RCREL_OPT, referencing 
/// offset `.Lpcrel1-8` (the pc-relative load from the got) with addend `.-(.Lpcrel1-8)` (the offset from 
/// got access instruction to the associated load/store instruction).
/// The relocation specifies that the instructions at r_offset (pld) and r_offset + r_addend (lwa) 
/// may be optimized by the linker (ie the compiler guarantees that register lifetimes are such 
/// that the optimization is safe).

1849

Don't we need further checking on the BinaryExpr to make sure its a symbol+offset expression? I'm guessing we are relying on getOffsetFromBinaryExpr to catch the error right now, but a diagnostic should be emitted while parsing since we have OffsetLoc.

llvm/lib/Target/PowerPC/MCTargetDesc/PPCAsmBackend.cpp

72

Shouldn't this be zero? The relocation is a hint to the linker that the 2 instructions it references are optimizable and doesn't represent any relocatable bits.

105

Shouldn't this fixup be the same as fixup_ppc_nofixups?

118

ditto.

llvm/lib/Target/PowerPC/MCTargetDesc/PPCELFStreamer.cpp

111

Drop At this point.

115

Comment is redundant, its obvious from the code that LHS is a SymbolRefExpr and RHS is a ConstantExpr.

117

Why a static_cast instead of a 'cast'?

140

Again why the static cast?

llvm/lib/Target/PowerPC/MCTargetDesc/PPCFixupKinds.h

46

/// Not a true fixup, but ties a pc-relative got access to an associated  memory operation
/// to indicate to the linker that the sequence is safe to optimize.

[stefanp]

Added a couple of checks when reading the .reloc directive.
Fixed a number of comments.
Fixed the specifications for fixup_ppc_linker_opt.

[stefanp]

llvm/lib/Target/PowerPC/AsmParser/PPCAsmParser.cpp

1814

Yes, we can add it to Doxygen.
I'm not sure how exactly it would look in this case (or if it would be formatted correctly) but it would be nice to have the full text. I assume that the \\\ will add anything after it to Doxygen.

1819

I agree your description is much clearer.

1849

Yes, we are relying on getOffsetFromBinaryExpr to catch the error.
However, I'll add another check in here.

llvm/lib/Target/PowerPC/MCTargetDesc/PPCAsmBackend.cpp

72

Yes, you are right that this should be like fixup_ppc_nofixups. Initially I had considered this to be potentially "changing" all of the bits of the instruction it is optimizing but that doesn't really make a ton of sense. I'll change it.

[nemanjai]

My remaining comments are minor and can be addressed on the commit. AFAICT, Sean's comments have been addressed as well so I think this is good to go. @sfertile if you have any objections, feel free to override my approval, otherwise this is good to go.

llvm/lib/Target/PowerPC/MCTargetDesc/PPCELFStreamer.cpp

108

Please favour reference-to-pointer rather than pointer-to-pointer as I believe the former is the convention.

180

I think you'll need (void)HaveOffset; to silence warnings on no asserts builds.

209

Is this comment actually true? It seems that if the expression is not a binary expression, we assert.

220

Similar to above wrt. unused variable without asserts.

[nemanjai]

llvm/lib/Target/PowerPC/MCTargetDesc/PPCAsmBackend.cpp

118

This is going to need MCFixupKindInfo::FKF_IsPCRel or else it needs to be moved to the non-PC-Rel section of the switch in getRelocType().

[stefanp]

Fixed warnings for no asserts builds.
Fixed text of comment that was out of date.
Moved fixup_ppc_linker_opt to the non-PCRel section of getRelocType.

[stefanp]

llvm/lib/Target/PowerPC/MCTargetDesc/PPCAsmBackend.cpp

118

I think I'm going to end up moving this to the non PC-Rel section.

llvm/lib/Target/PowerPC/MCTargetDesc/PPCELFStreamer.cpp

209

You are right. That comment is out of date. We do assert now.

[stefanp]

Fixed a couple of spacing nits.

[MaskRay]

llvm/test/MC/PowerPC/pcrel-reloc-with-expr.s

1 ↗

(On Diff #277520)

How about ppc64-reloc-directive-pcrel.s

There is a ppc64-reloc-directive.s

[MaskRay]

llvm/include/llvm/MC/MCExpr.h

305

I am not sure VK_PPC_PCREL_OPT is needed.

ELFPPCAsmBackend::getFixupKind will return FirstLiteralRelocationKind + R_PPC64_PCREL_OPT

llvm/lib/Target/PowerPC/AsmParser/PPCAsmParser.cpp

1665

We should just reuse the generic .reloc parsing code and enhance it with .reloc . - 4, ... instead of adding a ppc64 specific clone.

[MaskRay]

I added .reloc support to many targets (x86,arm,aarch64,risc-v,powerpc{32,64}). Requested changes as I think we should improve the generic parsing code, instead of adding a ppc64 specific clone. And this patch seems to be unnecessarily more complex than it can be.

[MaskRay]

In D79625#2148175, @MaskRay wrote:

I added .reloc support to many targets (x86,arm,aarch64,risc-v,powerpc{32,64}). Requested changes as I think we should improve the generic parsing code, instead of adding a ppc64 specific clone. And this patch seems to be unnecessarily more complex than it can be.

I'll try fixing the generic parseDirectiveReloc tomorrow. parseDirectiveReloc and emitRelocDirective actually require some interface cleanup.

edit: D83751

[stefanp]

Moved the rest of the work to the target indep side after the patch D83751.

The patch still adds support for R_PPC64_PCREL_OPT and adds support for variable labels:

  pld 3, vec@got@pcrel(0), 1
.Lpcrel1=.-8       // Variable labels.
      ... More instructions possible here ...
.reloc .Lpcrel1,R_PPC64_PCREL_OPT,.-.Lpcrel1
  lwa 3, 4(3)

[stefanp]

Forgot to rename the testcase in the previous update of the patch.
Renamed it now.

[MaskRay]

llvm/lib/MC/MCObjectStreamer.cpp

671 ↗

(On Diff #278556)

The verification part does not have a close relation with the rest of PPC specific handling. I think we should move this part to a separate patch.

IIUC, without the verification part, the functionality still exists. It is just that we can miss some erroneous cases.

llvm/lib/Target/PowerPC/MCTargetDesc/PPCELFObjectWriter.cpp

393

Can we just use FirstLiteralRelocationKind+R_PPC64_PCREL_OPT and not define fixup_ppc_linker_opt?

[nemanjai]

Also, can you run clang-format so all the notifications go away and make this easier to review?

[stefanp]

Removed the fixup name.
@MaskRay Let me know if this is what you were looking for.

llvm/lib/MC/MCObjectStreamer.cpp

671 ↗

(On Diff #278556)

I'm not sure what you mean in this case.

I do need to have a separate case for the Symbol.isVariable() situation. Otherwise I get a "Cannot get offset for a common/variable symbol" error.
Do you mean I should remove checking like this:

if(!SymbolExpr->evaluateAsRelocatable(OffsetVal, nullptr, nullptr))
return std::make_pair(false,
    std::string("symbol in .reloc offset is not "
          "relocatable"));

llvm/lib/Target/PowerPC/MCTargetDesc/PPCELFObjectWriter.cpp

393

Ok, I'll get rid of that the fixup name.
I'll update the patch and you can see if that is what you are looking for.

I do have a question related to this though... In the future I will want to generate fixups of this type. Usually I would do that like this:

MCFixup::create(Offset, Expr, (MCFixupKind)PPC::fixup_ppc_linker_opt, Loc);

If I completely remove this naming would I be doing this instead?

MCFixup::create(Offset, Expr, FirstLiteralRelocationKind, Loc);

Is that the right way to do it?

[stefanp]

llvm/lib/Target/PowerPC/MCTargetDesc/PPCELFObjectWriter.cpp

393

Sorry!
I think I just figured out what you meant...
Let me update the patch again.

[stefanp]

Updated patch to correctly remove new fixup.
In order to create the fixup I can use:

MCFixup::create(Offset, Expr, FirstLiteralRelocationKind + R_PPC64_PCREL_OPT, Loc);

[MaskRay]

Looks great!

llvm/test/MC/PowerPC/ppc64-reloc-directive-pcrel.s

1 ↗

(On Diff #279325)

-unknown-unknown can be removed. powerpc64le works

llvm/include/llvm/BinaryFormat/ELFRelocs/PowerPC64.def

 #undef R_PPC64_TLSLD
 #undef R_PPC64_ADDR16_HIGH
 #undef R_PPC64_ADDR16_HIGHA
 #undef R_PPC64_TPREL16_HIGH
 #undef R_PPC64_TPREL16_HIGHA
 #undef R_PPC64_DTPREL16_HIGH
 #undef R_PPC64_DTPREL16_HIGHA
 #undef R_PPC64_REL24_NOTOC
+#undef R_PPC64_PCREL_OPT
 #undef R_PPC64_PCREL34
 #undef R_PPC64_GOT_PCREL34
 #undef R_PPC64_IRELATIVE
 #undef R_PPC64_REL16
 #undef R_PPC64_REL16_LO
 #undef R_PPC64_REL16_HI
 #undef R_PPC64_REL16_HA
 

 ELF_RELOC(R_PPC64_TLSLD,                108)
 ELF_RELOC(R_PPC64_ADDR16_HIGH,          110)
 ELF_RELOC(R_PPC64_ADDR16_HIGHA,         111)
 ELF_RELOC(R_PPC64_TPREL16_HIGH,         112)
 ELF_RELOC(R_PPC64_TPREL16_HIGHA,        113)
 ELF_RELOC(R_PPC64_DTPREL16_HIGH,        114)
 ELF_RELOC(R_PPC64_DTPREL16_HIGHA,       115)
 ELF_RELOC(R_PPC64_REL24_NOTOC,          116)
+ELF_RELOC(R_PPC64_PCREL_OPT,            123)
 ELF_RELOC(R_PPC64_PCREL34,              132)
 ELF_RELOC(R_PPC64_GOT_PCREL34,          133)
 ELF_RELOC(R_PPC64_IRELATIVE,            248)
 ELF_RELOC(R_PPC64_REL16,                249)
 ELF_RELOC(R_PPC64_REL16_LO,             250)
 ELF_RELOC(R_PPC64_REL16_HI,             251)
 ELF_RELOC(R_PPC64_REL16_HA,             252)

llvm/include/llvm/MC/MCExpr.h

enum VariantKind : uint16_t {
     VK_PPC_GOT_TLSLD,       // symbol@got@tlsld
     VK_PPC_GOT_TLSLD_LO,    // symbol@got@tlsld@l
     VK_PPC_GOT_TLSLD_HI,    // symbol@got@tlsld@h
     VK_PPC_GOT_TLSLD_HA,    // symbol@got@tlsld@ha
     VK_PPC_GOT_PCREL,       // symbol@got@pcrel
     VK_PPC_TLSLD,           // symbol@tlsld
     VK_PPC_LOCAL,           // symbol@local
     VK_PPC_NOTOC,           // symbol@notoc
+    VK_PPC_LINKER_OPT,      // Not actually emitted as symbol@ppclinkeropt
 
     VK_COFF_IMGREL32, // symbol@imgrel (image-relative)
 
     VK_Hexagon_LO16,
     VK_Hexagon_HI16,
     VK_Hexagon_GPREL,
     VK_Hexagon_GD_GOT,
     VK_Hexagon_LD_GOT,

llvm/lib/MC/MCExpr.cpp

StringRef MCSymbolRefExpr::getVariantKindName(VariantKind Kind) {
   case VK_PPC_GOT_TLSLD_LO: return "got@tlsld@l";
   case VK_PPC_GOT_TLSLD_HI: return "got@tlsld@h";
   case VK_PPC_GOT_TLSLD_HA: return "got@tlsld@ha";
   case VK_PPC_GOT_PCREL:
     return "got@pcrel";
   case VK_PPC_TLSLD: return "tlsld";
   case VK_PPC_LOCAL: return "local";
   case VK_PPC_NOTOC: return "notoc";
+  case VK_PPC_LINKER_OPT: return "ppclinkeropt";
   case VK_COFF_IMGREL32: return "IMGREL";
   case VK_Hexagon_LO16: return "LO16";
   case VK_Hexagon_HI16: return "HI16";
   case VK_Hexagon_GPREL: return "GPREL";
   case VK_Hexagon_GD_GOT: return "GDGOT";
   case VK_Hexagon_LD_GOT: return "LDGOT";
   case VK_Hexagon_GD_PLT: return "GDPLT";
   case VK_Hexagon_LD_PLT: return "LDPLT";
return StringSwitch<VariantKind>(Name.lower())
     .Case("got@tlsgd@h", VK_PPC_GOT_TLSGD_HI)
     .Case("got@tlsgd@ha", VK_PPC_GOT_TLSGD_HA)
     .Case("got@tlsld", VK_PPC_GOT_TLSLD)
     .Case("got@tlsld@l", VK_PPC_GOT_TLSLD_LO)
     .Case("got@tlsld@h", VK_PPC_GOT_TLSLD_HI)
     .Case("got@tlsld@ha", VK_PPC_GOT_TLSLD_HA)
     .Case("got@pcrel", VK_PPC_GOT_PCREL)
     .Case("notoc", VK_PPC_NOTOC)
+    .Case("ppclinkeropt", VK_PPC_LINKER_OPT)
     .Case("gdgot", VK_Hexagon_GD_GOT)
     .Case("gdplt", VK_Hexagon_GD_PLT)
     .Case("iegot", VK_Hexagon_IE_GOT)
     .Case("ie", VK_Hexagon_IE)
     .Case("ldgot", VK_Hexagon_LD_GOT)
     .Case("ldplt", VK_Hexagon_LD_PLT)
     .Case("none", VK_ARM_NONE)
     .Case("got_prel", VK_ARM_GOT_PREL)

llvm/lib/Target/PowerPC/AsmParser/PPCAsmParser.cpp

class PPCAsmParser : public MCTargetAsmParser {
   bool ParseOperand(OperandVector &Operands);
 
   bool ParseDirectiveWord(unsigned Size, AsmToken ID);
   bool ParseDirectiveTC(unsigned Size, AsmToken ID);
   bool ParseDirectiveMachine(SMLoc L);
   bool ParseDarwinDirectiveMachine(SMLoc L);
   bool ParseDirectiveAbiVersion(SMLoc L);
   bool ParseDirectiveLocalEntry(SMLoc L);
+  bool ParseDirectiveReloc(SMLoc L);
 
   bool MatchAndEmitInstruction(SMLoc IDLoc, unsigned &Opcode,
                                OperandVector &Operands, MCStreamer &Out,
                                uint64_t &ErrorInfo,
                                bool MatchingInlineAsm) override;
 
   void ProcessInstruction(MCInst &Inst, const OperandVector &Ops);
 
bool PPCAsmParser::ParseDirective(AsmToken DirectiveID) {
   else if (IDVal == ".tc")
     ParseDirectiveTC(isPPC64() ? 8 : 4, DirectiveID);
   else if (IDVal == ".machine")
     ParseDirectiveMachine(DirectiveID.getLoc());
   else if (IDVal == ".abiversion")
     ParseDirectiveAbiVersion(DirectiveID.getLoc());
   else if (IDVal == ".localentry")
     ParseDirectiveLocalEntry(DirectiveID.getLoc());
+  else if (IDVal == ".reloc")
+    ParseDirectiveReloc(DirectiveID.getLoc());
   else
     return true;
   return false;
 }
 
 /// ParseDirectiveWord
 ///  ::= .word [ expression (, expression)* ]
 bool PPCAsmParser::ParseDirectiveWord(unsigned Size, AsmToken ID) {
bool PPCAsmParser::ParseDirectiveLocalEntry(SMLoc L) {
   PPCTargetStreamer *TStreamer = static_cast<PPCTargetStreamer *>(
       getParser().getStreamer().getTargetStreamer());
   if (TStreamer != nullptr)
     TStreamer->emitLocalEntry(Sym, Expr);
 
   return false;
 }
 
+/// ParseDirectiveReloc
+/// Very similar to the one in AsmParser::parseDirectiveReloc except that we
+/// want to be able to parse MCExpr::Binary too.
+/// Format: .reloc expression , identifier [ , expression ]
+bool PPCAsmParser::ParseDirectiveReloc(SMLoc DirectiveLoc) {
+  const MCExpr *Offset;
+  const MCExpr *Expr = nullptr;
+  int64_t OffsetValue;
+  SMLoc OffsetLoc = getLexer().getTok().getLoc();
 
+  if (getParser().parseExpression(Offset))
+    return true;
+
+  if ((Offset->evaluateAsAbsolute(OffsetValue,
+                                  getStreamer().getAssemblerPtr()) &&
+       check(OffsetValue < 0, OffsetLoc, "expression is negative")) ||
+      (check(Offset->getKind() != llvm::MCExpr::Constant &&
+             Offset->getKind() != llvm::MCExpr::SymbolRef &&
+             Offset->getKind() != llvm::MCExpr::Binary,
+             OffsetLoc, "expected non-negative number, label or a binary "
+                        "expression")) ||
+      (parseToken(AsmToken::Comma, "expected comma") ||
+       check(getTok().isNot(AsmToken::Identifier), "expected relocation name")))
+    return true;
+
+  SMLoc NameLoc = getLexer().getTok().getLoc();
+  StringRef Name = getLexer().getTok().getIdentifier();
+  getParser().Lex();
+
+  if (getLexer().is(AsmToken::Comma)) {
+    getParser().Lex();
+    SMLoc ExprLoc = getLexer().getLoc();
+    if (getParser().parseExpression(Expr))
+      return true;
+
+    MCValue Value;
+    if (!Expr->evaluateAsRelocatable(Value, nullptr, nullptr))
+      return Error(ExprLoc, "expression must be relocatable");
+  }
+
+  if (parseToken(AsmToken::EndOfStatement,
+                 "unexpected token in .reloc directive"))
+      return true;
+
+  if (getStreamer().emitRelocDirective(*Offset, Name, Expr, DirectiveLoc, getSTI()))
+    return Error(NameLoc, "unknown relocation name");
+
+  return false;
+}
 
 /// Force static initialization.
 extern "C" LLVM_EXTERNAL_VISIBILITY void LLVMInitializePowerPCAsmParser() {
   RegisterMCAsmParser<PPCAsmParser> A(getThePPC32Target());
   RegisterMCAsmParser<PPCAsmParser> B(getThePPC64Target());
   RegisterMCAsmParser<PPCAsmParser> C(getThePPC64LETarget());
 }
 

llvm/lib/Target/PowerPC/MCTargetDesc/PPCAsmBackend.cpp

static uint64_t adjustFixupValue(unsigned Kind, uint64_t Value) {
   switch (Kind) {
   default:
     llvm_unreachable("Unknown fixup kind!");
   case FK_Data_1:
   case FK_Data_2:
   case FK_Data_4:
   case FK_Data_8:
   case PPC::fixup_ppc_nofixup:
+  case PPC::fixup_ppc_linker_opt:
     return Value;
   case PPC::fixup_ppc_brcond14:
   case PPC::fixup_ppc_brcond14abs:
     return Value & 0xfffc;
   case PPC::fixup_ppc_br24:
   case PPC::fixup_ppc_br24abs:
   case PPC::fixup_ppc_br24_notoc:
     return Value & 0x3fffffc;
   case PPC::fixup_ppc_half16:
     return Value & 0xffff;
   case PPC::fixup_ppc_half16ds:
     return Value & 0xfffc;
   case PPC::fixup_ppc_pcrel34:
     return Value & 0x3ffffffff;
   }
 }
 
 static unsigned getFixupKindNumBytes(unsigned Kind) {
   switch (Kind) {
   default:
     llvm_unreachable("Unknown fixup kind!");
   case FK_Data_1:
     return 1;
   case FK_Data_2:
   case PPC::fixup_ppc_half16:
   case PPC::fixup_ppc_half16ds:
     return 2;
   case FK_Data_4:
   case PPC::fixup_ppc_brcond14:
   case PPC::fixup_ppc_brcond14abs:
   case PPC::fixup_ppc_br24:
   case PPC::fixup_ppc_br24abs:
   case PPC::fixup_ppc_br24_notoc:
     return 4;
   case PPC::fixup_ppc_pcrel34:
+  case PPC::fixup_ppc_linker_opt:
   case FK_Data_8:
     return 8;
   case PPC::fixup_ppc_nofixup:
     return 0;
   }
 }
 
 namespace {
const static MCFixupKindInfo InfosBE[PPC::NumTargetFixupKinds] = {
       { "fixup_ppc_br24",        6,      24,   MCFixupKindInfo::FKF_IsPCRel },
       { "fixup_ppc_br24_notoc",  6,      24,   MCFixupKindInfo::FKF_IsPCRel },
       { "fixup_ppc_brcond14",    16,     14,   MCFixupKindInfo::FKF_IsPCRel },
       { "fixup_ppc_br24abs",     6,      24,   0 },
       { "fixup_ppc_brcond14abs", 16,     14,   0 },
       { "fixup_ppc_half16",       0,     16,   0 },
       { "fixup_ppc_half16ds",     0,     14,   0 },
       { "fixup_ppc_pcrel34",     0,      34,   MCFixupKindInfo::FKF_IsPCRel },
+      { "fixup_ppc_linker_opt",  0,      64,   MCFixupKindInfo::FKF_IsPCRel },
       { "fixup_ppc_nofixup",      0,      0,   0 }
     };
     const static MCFixupKindInfo InfosLE[PPC::NumTargetFixupKinds] = {
       // name                    offset  bits  flags
       { "fixup_ppc_br24",        2,      24,   MCFixupKindInfo::FKF_IsPCRel },
       { "fixup_ppc_br24_notoc",  2,      24,   MCFixupKindInfo::FKF_IsPCRel },
       { "fixup_ppc_brcond14",    2,      14,   MCFixupKindInfo::FKF_IsPCRel },
       { "fixup_ppc_br24abs",     2,      24,   0 },
       { "fixup_ppc_brcond14abs", 2,      14,   0 },
       { "fixup_ppc_half16",      0,      16,   0 },
       { "fixup_ppc_half16ds",    2,      14,   0 },
       { "fixup_ppc_pcrel34",     0,      34,   MCFixupKindInfo::FKF_IsPCRel },
+      { "fixup_ppc_linker_opt",  0,      64,   MCFixupKindInfo::FKF_IsPCRel },
       { "fixup_ppc_nofixup",     0,       0,   0 }
     };
 
     // Fixup kinds from .reloc directive are like R_PPC_NONE/R_PPC64_NONE. They
     // do not require any extra processing.
     if (Kind >= FirstLiteralRelocationKind)
       return MCAsmBackend::getFixupKindInfo(FK_NONE);
 
public:
   }
 
   bool shouldForceRelocation(const MCAssembler &Asm, const MCFixup &Fixup,
                              const MCValue &Target) override {
     MCFixupKind Kind = Fixup.getKind();
     switch ((unsigned)Kind) {
     default:
       return Kind >= FirstLiteralRelocationKind;
+    case PPC::fixup_ppc_linker_opt:
+      return true;
     case PPC::fixup_ppc_br24:
     case PPC::fixup_ppc_br24abs:
     case PPC::fixup_ppc_br24_notoc:
       // If the target symbol has a local entry point we must not attempt
       // to resolve the fixup directly.  Emit a relocation and leave
       // resolution of the final target address to the linker.
       if (const MCSymbolRefExpr *A = Target.getSymA()) {
         if (const auto *S = dyn_cast<MCSymbolELF>(&A->getSymbol())) {

llvm/lib/Target/PowerPC/MCTargetDesc/PPCELFObjectWriter.cpp

case PPC::fixup_ppc_br24_notoc:
       case MCSymbolRefExpr::VK_PPC_LOCAL:
         Type = ELF::R_PPC_LOCAL24PC;
         break;
       case MCSymbolRefExpr::VK_PPC_NOTOC:
         Type = ELF::R_PPC64_REL24_NOTOC;
         break;
       }
       break;
+    case PPC::fixup_ppc_linker_opt:
+      Type = ELF::R_PPC64_PCREL_OPT;
+      break;
     case PPC::fixup_ppc_brcond14:
     case PPC::fixup_ppc_brcond14abs:
       Type = ELF::R_PPC_REL14;
       break;
     case PPC::fixup_ppc_half16:
       switch (Modifier) {
       default: llvm_unreachable("Unsupported Modifier");
       case MCSymbolRefExpr::VK_None:
case PPC::fixup_ppc_half16ds:
         Type = ELF::R_PPC64_GOT_DTPREL16_DS;
         break;
       case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_LO:
         Type = ELF::R_PPC64_GOT_DTPREL16_LO_DS;
         break;
       }
       break;
     case PPC::fixup_ppc_nofixup:
       switch (Modifier) {
       default: llvm_unreachable("Unsupported Modifier");
       case MCSymbolRefExpr::VK_PPC_TLSGD:
         if (is64Bit())
           Type = ELF::R_PPC64_TLSGD;
         else
           Type = ELF::R_PPC_TLSGD;
         break;
       case MCSymbolRefExpr::VK_PPC_TLSLD:

llvm/lib/Target/PowerPC/MCTargetDesc/PPCELFStreamer.h

public:
   PPCELFStreamer(MCContext &Context, std::unique_ptr<MCAsmBackend> MAB,
                  std::unique_ptr<MCObjectWriter> OW,
                  std::unique_ptr<MCCodeEmitter> Emitter);
 
   void emitInstruction(const MCInst &Inst, const MCSubtargetInfo &STI) override;
 
   // EmitLabel updates LastLabel and LastLabelLoc when a new label is emitted.
   void emitLabel(MCSymbol *Symbol, SMLoc Loc = SMLoc()) override;
+
+  // Emit a .reloc label.
+  bool emitRelocDirective(const MCExpr &Offset, StringRef Name,
+                          const MCExpr *Expr, SMLoc Loc,
+                          const MCSubtargetInfo &STI) override;
 };
 
 MCELFStreamer *createPPCELFStreamer(MCContext &Context,
                                     std::unique_ptr<MCAsmBackend> MAB,
                                     std::unique_ptr<MCObjectWriter> OW,
                                     std::unique_ptr<MCCodeEmitter> Emitter);
 } // end namespace llvm
 
 #endif // LLVM_LIB_TARGET_PPC_MCELFSTREAMER_PPCELFSTREAMER_H

llvm/lib/Target/PowerPC/MCTargetDesc/PPCELFStreamer.cpp

 // guarantee that the 8 byte instructions do not cross that boundary.
 //
 //===----------------------------------------------------------------------===//
 
 
 #include "PPCELFStreamer.h"
 #include "PPCInstrInfo.h"
 #include "PPCMCCodeEmitter.h"
+#include "PPCFixupKinds.h"
 #include "llvm/BinaryFormat/ELF.h"
 #include "llvm/MC/MCAsmBackend.h"
 #include "llvm/MC/MCAssembler.h"
 #include "llvm/MC/MCCodeEmitter.h"
 #include "llvm/MC/MCContext.h"
 #include "llvm/MC/MCInst.h"
 #include "llvm/MC/MCInstrDesc.h"
 #include "llvm/MC/MCObjectWriter.h"

 }
 
 void PPCELFStreamer::emitLabel(MCSymbol *Symbol, SMLoc Loc) {
   LastLabel = Symbol;
   LastLabelLoc = Loc;
   MCELFStreamer::emitLabel(Symbol);
 }
 
+
+static bool getOffsetFromBinaryExpr(const MCBinaryExpr& BinExpr,
+                                    uint64_t &Offset,
+                                    MCDataFragment** DF) {
+  const MCExpr *LHS = BinExpr.getLHS();
+  const MCExpr *RHS = BinExpr.getRHS();
+  if (LHS->getKind() != MCExpr::SymbolRef ||
+      RHS->getKind() != MCExpr::Constant)
+    return false;
+
+  // If we have reached this far the LHS is a symbol and the RHS is a
+  // constant.
+  const MCSymbolRefExpr *Symbol = static_cast<const MCSymbolRefExpr*>(LHS);
+  const MCConstantExpr *ConstVal = static_cast<const MCConstantExpr*>(RHS);
+
+  // Get the Data Fragment.
+  // If there is no data fragment for this symbol just return false.
+  MCFragment *Fragment = Symbol->getSymbol().getFragment();
+  if (!Fragment || Fragment->getKind() != MCFragment::FT_Data)
+    return false;
+
+  Offset = Symbol->getSymbol().getOffset();
+  switch(BinExpr.getOpcode()) {
+  default:
+    // Other opcodes are not supported.
+    return false;
+  case MCBinaryExpr::Add:
+    Offset += ConstVal->getValue();
+    break;
+  case MCBinaryExpr::Sub:
+    Offset -= ConstVal->getValue();
+    break;
+  }
+
+  *DF = static_cast<MCDataFragment*>(Fragment);
+  return true;
+}
+
+bool PPCELFStreamer::emitRelocDirective(const MCExpr &Offset, StringRef Name,
+                                        const MCExpr *Expr, SMLoc Loc,
+                                        const MCSubtargetInfo &STI) {
+  // If there is no MCExpr let the parent class handle it.
+  if (!Expr)
+    return MCELFStreamer::emitRelocDirective(Offset, Name, Expr, Loc, STI);
+
+  Optional<MCFixupKind> MaybeKind = getAssembler().getBackend().getFixupKind(Name);
+  if (!MaybeKind.hasValue())
+    return true;
+
+  MCFixupKind Kind = *MaybeKind;
+
+  switch(Offset.getKind()) {
+  case MCExpr::Binary: {
+    const MCBinaryExpr &BinExpr = cast<const MCBinaryExpr>(Offset);
+    uint64_t ComputedOffset;
+    MCDataFragment *DF = nullptr;
+    if (!getOffsetFromBinaryExpr(BinExpr, ComputedOffset, &DF))
+      break;
+
+    assert(DF && "Expected a valid data fragment.");
+
+    DF->getFixups().push_back(MCFixup::create(ComputedOffset,
+                                              Expr, Kind, Loc));
+    return false;
+  }
+  case MCExpr::SymbolRef: {
+    const MCSymbolRefExpr &SRE = cast<MCSymbolRefExpr>(Offset);
+    const MCSymbol &Symbol = SRE.getSymbol();
+    if (!Symbol.isDefined())
+      break;
+
+    if (!Symbol.isVariable())
+      break;
+
+    const MCExpr *SymbolExpr = Symbol.getVariableValue();
+    if (SymbolExpr->getKind() != MCExpr::Binary)
+      break;
+
+    const MCBinaryExpr &BinExpr = cast<const MCBinaryExpr>(*SymbolExpr);
+    uint64_t ComputedOffset;
+    MCDataFragment *DF = nullptr;
+    if (!getOffsetFromBinaryExpr(BinExpr, ComputedOffset, &DF))
+      break;
+    assert(DF && "Expected a valid data fragment.");
+    DF->getFixups().push_back(MCFixup::create(ComputedOffset, Expr, Kind, Loc));
+    return false;
+  }
+  default:
+    // Fall through to the parent class.
+    break;
+  }
+  // If the directive cannot be handled here pass it on to the parent class.
+  return MCELFStreamer::emitRelocDirective(Offset, Name, Expr, Loc, STI);
+}
+
 MCELFStreamer *llvm::createPPCELFStreamer(
     MCContext &Context, std::unique_ptr<MCAsmBackend> MAB,
     std::unique_ptr<MCObjectWriter> OW,
     std::unique_ptr<MCCodeEmitter> Emitter) {
   return new PPCELFStreamer(Context, std::move(MAB), std::move(OW),
                             std::move(Emitter));
 }

llvm/lib/Target/PowerPC/MCTargetDesc/PPCFixupKinds.h

enum Fixups {
 
   /// A 14-bit fixup corresponding to lo16(_foo) with implied 2 zero bits for
   /// instrs like 'std'.
   fixup_ppc_half16ds,
 
   // A 34-bit fixup corresponding to PC-relative paddi.
   fixup_ppc_pcrel34,
 
+  // A linker opt fixup
+  fixup_ppc_linker_opt,
+
   /// Not a true fixup, but ties a symbol to a call to __tls_get_addr for the
   /// TLS general and local dynamic models, or inserts the thread-pointer
   /// register number.
   fixup_ppc_nofixup,
 
   // Marker
   LastTargetFixupKind,
   NumTargetFixupKinds = LastTargetFixupKind - FirstTargetFixupKind
 };
 }
 }
 
 #endif

llvm/test/MC/PowerPC/future-reloc-with-expr.s

+# RUN: llvm-mc -triple=powerpc64le-unknown-unknown -filetype=obj %s | \
+# RUN: llvm-objdump -dr --mcpu=future - | FileCheck %s
+
+
+##
+# This section of tests contains the MCBinaryExpr as the first parameter of the
+# .reloc relocation.
+##
+  .text
+  .abiversion 2
+  .globl  Minimal
+  .p2align  4
+  .type Minimal,@function
+Minimal:
+.LMinimal$local:
+# %bb.0:                                # %entry
+  pld 3, vec@got@pcrel(0), 1
+.Lpcrel1:
+  .reloc .Lpcrel1-8,R_PPC64_PCREL_OPT,.-(.Lpcrel1-8)
+  lwa 3, 4(3)
+  blr
+  .long 0
+  .quad 0
+# CHECK-LABEL:   Minimal
+# CHECK:         pld 3, 0(0), 1
+# CHECK-NEXT:    R_PPC64_GOT_PCREL34  vec
+# CHECK-NEXT:    R_PPC64_PCREL_OPT  *ABS*+0x8
+# CHECK-NEXT:    lwa 3, 4(3)
+# CHECK-NEXT:    blr
+
+  .globl  SingleInsnBetween
+  .p2align  4
+  .type SingleInsnBetween,@function
+SingleInsnBetween:
+.LSingleInsnBetween$local:
+# %bb.0:                                # %entry
+  pld 3, vec@got@pcrel(0), 1
+.Lpcrel2:
+        addi 3, 3, 42
+  .reloc .Lpcrel2-8,R_PPC64_PCREL_OPT,.-(.Lpcrel2-8)
+  lwa 3, 4(3)
+  blr
+  .long 0
+  .quad 0
+# CHECK_LABEL:   SingleInsnBetween
+# CHECK:         pld 3, 0(0), 1
+# CHECK-NEXT:    R_PPC64_GOT_PCREL34  vec
+# CHECK-NEXT:    R_PPC64_PCREL_OPT  *ABS*+0xc
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    lwa 3, 4(3)
+# CHECK-NEXT:    blr
+
+
+  .globl  MultiInsnBetween                    # -- Begin function
+  .p2align  4
+  .type MultiInsnBetween,@function
+MultiInsnBetween:
+.LMultiInsnBetween$local:
+# %bb.0:                                # %entry
+  pld 3, vec@got@pcrel(0), 1
+.Lpcrel3:
+        addi 3, 3, 42
+        addi 3, 3, 42
+        addi 3, 3, 42
+        addi 3, 3, 42
+        addi 3, 3, 42
+  .reloc .Lpcrel3-8,R_PPC64_PCREL_OPT,.-(.Lpcrel3-8)
+  lwa 3, 4(3)
+  blr
+  .long 0
+  .quad 0
+# CHECK_LABEL:   MultiInsnBetween
+# CHECK:         pld 3, 0(0), 1
+# CHECK-NEXT:    R_PPC64_GOT_PCREL34  vec
+# CHECK-NEXT:    R_PPC64_PCREL_OPT  *ABS*+0x1c
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    lwa 3, 4(3)
+# CHECK-NEXT:    blr
+
+  .globl  PrefixInsnBetween                    # -- Begin function
+  .p2align  4
+  .type PrefixInsnBetween,@function
+PrefixInsnBetween:
+.LPrefixInsnBetween$local:
+# %bb.0:                                # %entry
+  pld 3, vec@got@pcrel(0), 1
+.Lpcrel4:
+        addi 3, 3, 42
+        paddi 3, 3, 42, 0
+        addi 3, 3, 42
+        paddi 3, 3, 42, 0
+        addi 3, 3, 42
+  .reloc .Lpcrel4-8,R_PPC64_PCREL_OPT,.-(.Lpcrel4-8)
+  lwa 3, 4(3)
+  blr
+  .long 0
+  .quad 0
+# CHECK_LABEL:   PrefixInsnBetween
+# CHECK:         pld 3, 0(0), 1
+# CHECK-NEXT:    R_PPC64_GOT_PCREL34  vec
+# CHECK-NEXT:    R_PPC64_PCREL_OPT  *ABS*+0x28
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    nop
+# CHECK-NEXT:    paddi 3, 3, 42, 0
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    paddi 3, 3, 42, 0
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    lwa 3, 4(3)
+# CHECK-NEXT:    blr
+
+
+  .globl  SpaceBetween                    # -- Begin function
+  .p2align  4
+  .type SpaceBetween,@function
+SpaceBetween:
+.LSpaceBetween$local:
+# %bb.0:                                # %entry
+  pld 3, vec@got@pcrel(0), 1
+.Lpcrel5:
+        addi 3, 3, 42
+        paddi 3, 3, 42, 0
+        addi 3, 3, 42
+        .space 40, 0
+        paddi 3, 3, 42, 0
+        addi 3, 3, 42
+  .reloc .Lpcrel5-8,R_PPC64_PCREL_OPT,.-(.Lpcrel5-8)
+  lwa 3, 4(3)
+  blr
+  .long 0
+  .quad 0
+# CHECK_LABEL:   SpaceBetween
+# CHECK:         pld 3, 0(0), 1
+# CHECK-NEXT:    R_PPC64_GOT_PCREL34  vec
+# CHECK-NEXT:    R_PPC64_PCREL_OPT  *ABS*+0x50
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    nop
+# CHECK-NEXT:    paddi 3, 3, 42, 0
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK:         paddi 3, 3, 42, 0
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    lwa 3, 4(3)
+# CHECK-NEXT:    blr
+
+
+  .globl  Plus
+  .p2align  4
+  .type Plus,@function
+Plus:
+.LPlus$local:
+# %bb.0:                                # %entry
+.Lpcrel6:
+        addi 3, 3, 42
+        addi 3, 3, 42
+  pld 3, vec@got@pcrel(0), 1
+  .reloc .Lpcrel6+8,R_PPC64_PCREL_OPT,.-(.Lpcrel6+8)
+  lwa 3, 4(3)
+  blr
+  .long 0
+  .quad 0
+# CHECK-LABEL:   Plus
+# CHECK:         pld 3, 0(0), 1
+# CHECK-NEXT:    R_PPC64_PCREL_OPT  *ABS*+0x8
+# CHECK-NEXT:    R_PPC64_GOT_PCREL34  vec
+# CHECK-NEXT:    lwa 3, 4(3)
+# CHECK-NEXT:    blr
+
+##
+# This section of tests contains the variable MCSymbol as part of the
+# MCSymbolRefExpr for the first parameter of the .reloc relocation.
+##
+  .globl  VarLabelMinimal                    # -- Begin function
+  .p2align  4
+  .type VarLabelMinimal,@function
+VarLabelMinimal:
+.LVarLabelMinimal$local:
+# %bb.0:                                # %entry
+  pld 3, vec@got@pcrel(0), 1
+.Lpcrel101=.-8
+  .reloc .Lpcrel101,R_PPC64_PCREL_OPT,.-.Lpcrel101
+  lwa 3, 4(3)
+  blr
+  .long 0
+  .quad 0
+# CHECK-LABEL:   VarLabelMinimal
+# CHECK:         pld 3, 0(0), 1
+# CHECK-NEXT:    R_PPC64_GOT_PCREL34  vec
+# CHECK-NEXT:    R_PPC64_PCREL_OPT  *ABS*+0x8
+# CHECK-NEXT:    lwa 3, 4(3)
+# CHECK-NEXT:    blr
+
+
+  .globl  VarLabelSingleInsnBetween
+  .p2align  4
+  .type VarLabelSingleInsnBetween,@function
+VarLabelSingleInsnBetween:
+.LVarLabelSingleInsnBetween$local:
+# %bb.0:                                # %entry
+  pld 3, vec@got@pcrel(0), 1
+.Lpcrel102:
+        addi 3, 3, 42
+  .reloc .Lpcrel102-8,R_PPC64_PCREL_OPT,.-(.Lpcrel102-8)
+  lwa 3, 4(3)
+  blr
+  .long 0
+  .quad 0
+# CHECK_LABEL:   VarLabelSingleInsnBetween
+# CHECK:         pld 3, 0(0), 1
+# CHECK-NEXT:    R_PPC64_GOT_PCREL34  vec
+# CHECK-NEXT:    R_PPC64_PCREL_OPT  *ABS*+0xc
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    lwa 3, 4(3)
+# CHECK-NEXT:    blr
+
+  .globl  VarLabelMultiInsnBetween                    # -- Begin function
+  .p2align  4
+  .type VarLabelMultiInsnBetween,@function
+VarLabelMultiInsnBetween:
+.LVarLabelMultiInsnBetween$local:
+# %bb.0:                                # %entry
+  pld 3, vec@got@pcrel(0), 1
+.Lpcrel103:
+        addi 3, 3, 42
+        addi 3, 3, 42
+        addi 3, 3, 42
+        addi 3, 3, 42
+        addi 3, 3, 42
+  .reloc .Lpcrel103-8,R_PPC64_PCREL_OPT,.-(.Lpcrel103-8)
+  lwa 3, 4(3)
+  blr
+  .long 0
+  .quad 0
+# CHECK_LABEL:   VarLabelMultiInsnBetween
+# CHECK:         pld 3, 0(0), 1
+# CHECK-NEXT:    R_PPC64_GOT_PCREL34  vec
+# CHECK-NEXT:    R_PPC64_PCREL_OPT  *ABS*+0x1c
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    lwa 3, 4(3)
+# CHECK-NEXT:    blr
+
+
+  .globl  VarLabelPrefixInsnBetween                    # -- Begin function
+  .p2align  4
+  .type VarLabelPrefixInsnBetween,@function
+VarLabelPrefixInsnBetween:
+.LVarLabelPrefixInsnBetween$local:
+# %bb.0:                                # %entry
+  pld 3, vec@got@pcrel(0), 1
+.Lpcrel104:
+        addi 3, 3, 42
+        paddi 3, 3, 42, 0
+        addi 3, 3, 42
+        paddi 3, 3, 42, 0
+        addi 3, 3, 42
+  .reloc .Lpcrel104-8,R_PPC64_PCREL_OPT,.-(.Lpcrel104-8)
+  lwa 3, 4(3)
+  blr
+  .long 0
+  .quad 0
+# CHECK_LABEL:   VarLabelPrefixInsnBetween
+# CHECK:         pld 3, 0(0), 1
+# CHECK-NEXT:    R_PPC64_GOT_PCREL34  vec
+# CHECK-NEXT:    R_PPC64_PCREL_OPT  *ABS*+0x24
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    paddi 3, 3, 42, 0
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    paddi 3, 3, 42, 0
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    lwa 3, 4(3)
+# CHECK-NEXT:    blr
+
+
+  .globl  VarLabelSpaceBetween                    # -- Begin function
+  .p2align  4
+  .type VarLabelSpaceBetween,@function
+VarLabelSpaceBetween:
+.LVarLabelSpaceBetween$local:
+# %bb.0:                                # %entry
+  pld 3, vec@got@pcrel(0), 1
+.Lpcrel105:
+        addi 3, 3, 42
+        paddi 3, 3, 42, 0
+        addi 3, 3, 42
+        .space 40, 0
+        paddi 3, 3, 42, 0
+        addi 3, 3, 42
+  .reloc .Lpcrel105-8,R_PPC64_PCREL_OPT,.-(.Lpcrel105-8)
+  lwa 3, 4(3)
+  blr
+  .long 0
+  .quad 0
+# CHECK_LABEL:   VarLabelSpaceBetween
+# CHECK:         pld 3, 0(0), 1
+# CHECK-NEXT:    R_PPC64_GOT_PCREL34  vec
+# CHECK-NEXT:    R_PPC64_PCREL_OPT  *ABS*+0x4c
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    paddi 3, 3, 42, 0
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK:         paddi 3, 3, 42, 0
+# CHECK-NEXT:    addi 3, 3, 42
+# CHECK-NEXT:    lwa 3, 4(3)
+# CHECK-NEXT:    blr
+
+
+  .globl  VarLabelPlus
+  .p2align  4
+  .type VarLabelPlus,@function
+VarLabelPlus:
+.LVarLabelPlus$local:
+# %bb.0:                                # %entry
+.Lpcrel106:
+        addi 3, 3, 42
+        addi 3, 3, 42
+  pld 3, vec@got@pcrel(0), 1
+  .reloc .Lpcrel106+8,R_PPC64_PCREL_OPT,.-(.Lpcrel106+8)
+  lwa 3, 4(3)
+  blr
+  .long 0
+  .quad 0
+# CHECK-LABEL:   VarLabelPlus
+# CHECK:         pld 3, 0(0), 1
+# CHECK-NEXT:    R_PPC64_PCREL_OPT  *ABS*+0x8
+# CHECK-NEXT:    R_PPC64_GOT_PCREL34  vec
+# CHECK-NEXT:    lwa 3, 4(3)
+# CHECK-NEXT:    blr
+
+
+
+