XRay: Add entry and exit sleds
authorDean Michael Berris <dberris@google.com>
Thu, 14 Jul 2016 04:06:33 +0000 (04:06 +0000)
committerDean Michael Berris <dberris@google.com>
Thu, 14 Jul 2016 04:06:33 +0000 (04:06 +0000)
commit52735fc435b1c8ea926c2ac3ba31ab6335976838
treec8d0501df98358b32e6a048c31ae066992ab8a25
parented4d5ea82af5a8c1fac741371b0c1f466d888f84
XRay: Add entry and exit sleds

Summary:
In this patch we implement the following parts of XRay:

- Supporting a function attribute named 'function-instrument' which currently only supports 'xray-always'. We should be able to use this attribute for other instrumentation approaches.
- Supporting a function attribute named 'xray-instruction-threshold' used to determine whether a function is instrumented with a minimum number of instructions (IR instruction counts).
- X86-specific nop sleds as described in the white paper.
- A machine function pass that adds the different instrumentation marker instructions at a very late stage.
- A way of identifying which return opcode is considered "normal" for each architecture.

There are some caveats here:

1) We don't handle PATCHABLE_RET in platforms other than x86_64 yet -- this means if IR used PATCHABLE_RET directly instead of a normal ret, instruction lowering for that platform might do the wrong thing. We think this should be handled at instruction selection time to by default be unpacked for platforms where XRay is not availble yet.

2) The generated section for X86 is different from what is described from the white paper for the sole reason that LLVM allows us to do this neatly. We're taking the opportunity to deviate from the white paper from this perspective to allow us to get richer information from the runtime library.

Reviewers: sanjoy, eugenis, kcc, pcc, echristo, rnk

Subscribers: niravd, majnemer, atrick, rnk, emaste, bmakam, mcrosier, mehdi_amini, llvm-commits

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

llvm-svn: 275367
18 files changed:
llvm/include/llvm/CodeGen/Passes.h
llvm/include/llvm/InitializePasses.h
llvm/include/llvm/Target/Target.td
llvm/include/llvm/Target/TargetInstrInfo.h
llvm/include/llvm/Target/TargetOpcodes.def
llvm/lib/CodeGen/CMakeLists.txt
llvm/lib/CodeGen/CodeGen.cpp
llvm/lib/CodeGen/TargetPassConfig.cpp
llvm/lib/CodeGen/XRayInstrumentation.cpp [new file with mode: 0644]
llvm/lib/Target/X86/X86AsmPrinter.cpp
llvm/lib/Target/X86/X86AsmPrinter.h
llvm/lib/Target/X86/X86FrameLowering.cpp
llvm/lib/Target/X86/X86InstrInfo.cpp
llvm/lib/Target/X86/X86MCInstLower.cpp
llvm/test/CodeGen/X86/xray-attribute-instrumentation.ll [new file with mode: 0644]
llvm/test/CodeGen/X86/xray-selective-instrumentation-miss.ll [new file with mode: 0644]
llvm/test/CodeGen/X86/xray-selective-instrumentation.ll [new file with mode: 0644]
llvm/utils/TableGen/InstrInfoEmitter.cpp