]> granicus.if.org Git - clang/commit
Some improvements to the handling of C11 atomic types:
authorDavid Chisnall <csdavec@swan.ac.uk>
Mon, 16 Jan 2012 17:27:18 +0000 (17:27 +0000)
committerDavid Chisnall <csdavec@swan.ac.uk>
Mon, 16 Jan 2012 17:27:18 +0000 (17:27 +0000)
commit7a7ee3033e44b45630981355460ef89efa0bdcc4
tree2d566bcdd0dc4e2f73b95747eac6a198b1dfc619
parent52e4c60e31fee851e2988f7909aebf488e57fc12
Some improvements to the handling of C11 atomic types:

- Add atomic-to/from-nonatomic cast types
- Emit atomic operations for arithmetic on atomic types
- Emit non-atomic stores for initialisation of atomic types, but atomic stores and loads for every other store / load
- Add a __atomic_init() intrinsic which does a non-atomic store to an _Atomic() type.  This is needed for the corresponding C11 stdatomic.h function.
- Enables the relevant __has_feature() checks.  The feature isn't 100% complete yet, but it's done enough that we want people testing it.

Still to do:

- Make the arithmetic operations on atomic types (e.g. Atomic(int) foo = 1; foo++;) use the correct LLVM intrinsic if one exists, not a loop with a cmpxchg.
- Add a signal fence builtin
- Properly set the fenv state in atomic operations on floating point values
- Correctly handle things like _Atomic(_Complex double) which are too large for an atomic cmpxchg on some platforms (this requires working out what 'correctly' means in this context)
- Fix the many remaining corner cases

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@148242 91177308-0d34-0410-b5e6-96231b3b80d8
23 files changed:
include/clang/AST/Expr.h
include/clang/AST/OperationKinds.h
include/clang/Basic/Builtins.def
lib/AST/Expr.cpp
lib/AST/ExprConstant.cpp
lib/AST/StmtPrinter.cpp
lib/CodeGen/CGDecl.cpp
lib/CodeGen/CGExpr.cpp
lib/CodeGen/CGExprAgg.cpp
lib/CodeGen/CGExprComplex.cpp
lib/CodeGen/CGExprConstant.cpp
lib/CodeGen/CGExprScalar.cpp
lib/CodeGen/CodeGenFunction.h
lib/Frontend/InitPreprocessor.cpp
lib/Lex/PPMacroExpansion.cpp
lib/Sema/SemaCast.cpp
lib/Sema/SemaChecking.cpp
lib/Sema/SemaExpr.cpp
lib/StaticAnalyzer/Core/ExprEngineC.cpp
test/CodeGen/atomic_init.c [new file with mode: 0644]
test/CodeGen/atomic_ops.c [new file with mode: 0644]
test/Lexer/has_feature_c1x.c
test/Lexer/has_feature_cxx0x.cpp