]> granicus.if.org Git - llvm/commit
Enhance synchscope representation
authorKonstantin Zhuravlyov <kzhuravl_dev@outlook.com>
Tue, 11 Jul 2017 22:23:00 +0000 (22:23 +0000)
committerKonstantin Zhuravlyov <kzhuravl_dev@outlook.com>
Tue, 11 Jul 2017 22:23:00 +0000 (22:23 +0000)
commit8f85685860c0f6018a83b804f33e47f8122a9eba
tree70998f02d9f575729c633331fa2b8d3fcfaf3c33
parentfdda7ea9d5f2dea87392cde2577c6ea6fd142433
Enhance synchscope representation

  OpenCL 2.0 introduces the notion of memory scopes in atomic operations to
  global and local memory. These scopes restrict how synchronization is
  achieved, which can result in improved performance.

  This change extends existing notion of synchronization scopes in LLVM to
  support arbitrary scopes expressed as target-specific strings, in addition to
  the already defined scopes (single thread, system).

  The LLVM IR and MIR syntax for expressing synchronization scopes has changed
  to use *syncscope("<scope>")*, where <scope> can be "singlethread" (this
  replaces *singlethread* keyword), or a target-specific name. As before, if
  the scope is not specified, it defaults to CrossThread/System scope.

  Implementation details:
    - Mapping from synchronization scope name/string to synchronization scope id
      is stored in LLVM context;
    - CrossThread/System and SingleThread scopes are pre-defined to efficiently
      check for known scopes without comparing strings;
    - Synchronization scope names are stored in SYNC_SCOPE_NAMES_BLOCK in
      the bitcode.

Differential Revision: https://reviews.llvm.org/D21723

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@307722 91177308-0d34-0410-b5e6-96231b3b80d8
69 files changed:
docs/LangRef.rst
include/llvm/Bitcode/LLVMBitCodes.h
include/llvm/CodeGen/MachineFunction.h
include/llvm/CodeGen/MachineMemOperand.h
include/llvm/CodeGen/SelectionDAG.h
include/llvm/CodeGen/SelectionDAGNodes.h
include/llvm/IR/IRBuilder.h
include/llvm/IR/Instructions.h
include/llvm/IR/LLVMContext.h
lib/AsmParser/LLLexer.cpp
lib/AsmParser/LLParser.cpp
lib/AsmParser/LLParser.h
lib/AsmParser/LLToken.h
lib/Bitcode/Reader/BitcodeReader.cpp
lib/Bitcode/Writer/BitcodeWriter.cpp
lib/CodeGen/AtomicExpandPass.cpp
lib/CodeGen/GlobalISel/IRTranslator.cpp
lib/CodeGen/MIRParser/MILexer.cpp
lib/CodeGen/MIRParser/MILexer.h
lib/CodeGen/MIRParser/MIParser.cpp
lib/CodeGen/MIRPrinter.cpp
lib/CodeGen/MachineFunction.cpp
lib/CodeGen/MachineInstr.cpp
lib/CodeGen/SelectionDAG/SelectionDAG.cpp
lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp
lib/IR/AsmWriter.cpp
lib/IR/Core.cpp
lib/IR/Instruction.cpp
lib/IR/Instructions.cpp
lib/IR/LLVMContext.cpp
lib/IR/LLVMContextImpl.cpp
lib/IR/LLVMContextImpl.h
lib/IR/Verifier.cpp
lib/Target/ARM/ARMISelLowering.cpp
lib/Target/SystemZ/SystemZISelLowering.cpp
lib/Target/X86/X86ISelLowering.cpp
lib/Transforms/IPO/GlobalOpt.cpp
lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp
lib/Transforms/Instrumentation/ThreadSanitizer.cpp
lib/Transforms/Scalar/GVN.cpp
lib/Transforms/Scalar/JumpThreading.cpp
lib/Transforms/Scalar/SROA.cpp
lib/Transforms/Utils/FunctionComparator.cpp
test/Assembler/atomic.ll
test/Bitcode/atomic-no-syncscope.ll [new file with mode: 0644]
test/Bitcode/atomic-no-syncscope.ll.bc [new file with mode: 0644]
test/Bitcode/atomic.ll
test/Bitcode/compatibility-3.6.ll
test/Bitcode/compatibility-3.7.ll
test/Bitcode/compatibility-3.8.ll
test/Bitcode/compatibility-3.9.ll
test/Bitcode/compatibility-4.0.ll
test/Bitcode/compatibility.ll
test/Bitcode/memInstructions.3.2.ll
test/CodeGen/AArch64/GlobalISel/arm64-irtranslator.ll
test/CodeGen/AArch64/fence-singlethread.ll
test/CodeGen/AMDGPU/syncscopes.ll [new file with mode: 0644]
test/CodeGen/ARM/fence-singlethread.ll
test/CodeGen/MIR/AArch64/atomic-memoperands.mir
test/CodeGen/MIR/AMDGPU/syncscopes.mir [new file with mode: 0644]
test/CodeGen/PowerPC/atomics-regression.ll
test/Instrumentation/ThreadSanitizer/atomic.ll
test/Linker/Inputs/syncscope-1.ll [new file with mode: 0644]
test/Linker/Inputs/syncscope-2.ll [new file with mode: 0644]
test/Linker/syncscopes.ll [new file with mode: 0644]
test/Transforms/GVN/PRE/atomic.ll
test/Transforms/InstCombine/consecutive-fences.ll
test/Transforms/Sink/fence.ll
unittests/Analysis/AliasAnalysisTest.cpp