[PATCH] D72738: [BranchAlign] Add master --x86-branches-within-32B-boundaries flag

[Philip Reames via Phabricator via llvm-commits]

reames created this revision.
reames added reviewers: skan, annita.zhang, jyknight, craig.topper, fedor.sergeev, andrew.w.kaylor, MaskRay, chandlerc, LuoYuanke, tstellar.
Herald added subscribers: bollu, hiraditya, mcrosier.
Herald added a project: LLVM.

This flag was originally part of D70157 <https://reviews.llvm.org/D70157>, but was removed as we carved away pieces of the review.  Since we have the nop support checked in, and it appears mature(*), I think it's time to add the master flag.  For now, it will default to nop padding, but once the prefix padding support lands, we'll update the defaults.

- I can now confirm that downstream testing of the changes which have landed to date - nop padding and compiler support for suppressions - is passing all of the functional testing we've thrown at it.  There might still be something lurking, but we've gotten enough coverage to be confident of the basic approach.

Note that the new flag can be used either when assembling an .s file, or when using the integrated assembler directly from the compiler.  The later will use all of the suppression mechanism and should always generate correct code.  We don't yet have assembly syntax for the suppressions, so passing this directly to the assembler w/a raw .s file may result in broken code.  Use at your own risk.

Also note that this isn't the wiring for the clang option.  I think the most recent review for that is D72227 <https://reviews.llvm.org/D72227>, but I've lost track, so that might be off.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D72738

Files:
  llvm/lib/Target/X86/MCTargetDesc/X86AsmBackend.cpp
  llvm/test/MC/X86/align-branch-64-1a.s


Index: llvm/test/MC/X86/align-branch-64-1a.s
===================================================================
--- llvm/test/MC/X86/align-branch-64-1a.s
+++ llvm/test/MC/X86/align-branch-64-1a.s
@@ -2,6 +2,10 @@
 # RUN: llvm-mc -filetype=obj -triple x86_64-unknown-unknown --x86-align-branch-boundary=32 --x86-align-branch=fused+jcc+jmp %p/Inputs/align-branch-64-1.s | llvm-objdump -d  - > %t1
 # RUN: FileCheck --input-file=%t1 %s
 
+# Check that -x86-branches-within-32B-boundaries matches the above command line
+# RUN: llvm-mc -filetype=obj -triple x86_64-unknown-unknown --x86-branches-within-32B-boundaries %p/Inputs/align-branch-64-1.s | llvm-objdump -d  - > %t1
+# RUN: FileCheck --input-file=%t1 %s
+
 # Check no branches is aligned with option --x86-align-branch-boundary=0
 # RUN: llvm-mc -filetype=obj -triple x86_64-unknown-unknown --x86-align-branch-boundary=0 --x86-align-branch=fused+jcc+jmp %p/Inputs/align-branch-64-1.s | llvm-objdump -d  - > %t2
 # RUN: llvm-mc -filetype=obj -triple x86_64-unknown-unknown %p/Inputs/align-branch-64-1.s | llvm-objdump -d  - > %t3
Index: llvm/lib/Target/X86/MCTargetDesc/X86AsmBackend.cpp
===================================================================
--- llvm/lib/Target/X86/MCTargetDesc/X86AsmBackend.cpp
+++ llvm/lib/Target/X86/MCTargetDesc/X86AsmBackend.cpp
@@ -94,6 +94,14 @@
                    "indirect indicates indirect jumps."),
     cl::location(X86AlignBranchKindLoc));
 
+cl::opt<bool> X86AlignBranchWithin32BBoundaries(
+    "x86-branches-within-32B-boundaries", cl::init(false),
+    cl::desc(
+        "Align selected instructions to mitigate negative performance impact "
+        "of Intel's micro code update for errata skx102.  May break "
+        "assumptions about labels corresponding to particular instructions, "
+        "and should be used with caution."));
+
 class X86ELFObjectWriter : public MCELFObjectTargetWriter {
 public:
   X86ELFObjectWriter(bool is64Bit, uint8_t OSABI, uint16_t EMachine,
@@ -119,8 +127,21 @@
   X86AsmBackend(const Target &T, const MCSubtargetInfo &STI)
       : MCAsmBackend(support::little), STI(STI),
         MCII(T.createMCInstrInfo()) {
-    AlignBoundary = assumeAligned(X86AlignBranchBoundary);
-    AlignBranchType = X86AlignBranchKindLoc;
+    if (X86AlignBranchWithin32BBoundaries) {
+      // At the moment, this defaults to aligning fused branches, unconditional
+      // jumps, and (unfused) conditional jumps with nops.  Both the
+      // instructions aligned and the alignment method (nop vs prefix) may
+      // change in the future.
+      AlignBoundary = assumeAligned(32);;
+      AlignBranchType.addKind(X86::AlignBranchFused);
+      AlignBranchType.addKind(X86::AlignBranchJcc);
+      AlignBranchType.addKind(X86::AlignBranchJmp);
+    }
+    // Allow overriding defaults set by master flag
+    if (X86AlignBranchBoundary.getNumOccurrences())
+      AlignBoundary = assumeAligned(X86AlignBranchBoundary);
+    if (X86AlignBranch.getNumOccurrences())
+      AlignBranchType = X86AlignBranchKindLoc;
   }
 
   bool allowAutoPadding() const override;


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D72738.238108.patch
Type: text/x-patch
Size: 3093 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200114/e17617d5/attachment.bin>