Add #pragma clang fp
authorAdam Nemet <anemet@apple.com>
Tue, 4 Apr 2017 21:18:36 +0000 (21:18 +0000)
committerAdam Nemet <anemet@apple.com>
Tue, 4 Apr 2017 21:18:36 +0000 (21:18 +0000)
commit60d3264d5fbe08fa93601ca40489d7c328941d0e
treef28ce77a814d59110c11f828ba70adbb60026172
parent370d0877f6271a3cb88a6d07dade3438ccd9bbae
Add #pragma clang fp

This adds the new pragma and the first variant, contract(on/off/fast).

The pragma has the same block scope rules as STDC FP_CONTRACT, i.e. it can be
placed at the beginning of a compound statement or at file scope.

Similarly to STDC FP_CONTRACT there is no need to use attributes.  First an
annotate token is inserted with the parsed details of the pragma.  Then the
annotate token is parsed in the proper contexts and the Sema is updated with
the corresponding FPOptions using the shared ActOn function with STDC
FP_CONTRACT.

After this the FPOptions from the Sema is propagated into the AST expression
nodes.  There is no change here.

I was going to add a 'default' option besides 'on/off/fast' similar to STDC
FP_CONTRACT but then decided against it. I think that we'd have to make option
uppercase then to avoid using 'default' the keyword.  Also because of the
scoped activation of pragma I am not sure there is really a need a for this.

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

llvm-svn: 299470
13 files changed:
clang/docs/LanguageExtensions.rst
clang/include/clang/Basic/DiagnosticParseKinds.td
clang/include/clang/Basic/TokenKinds.def
clang/include/clang/Parse/Parser.h
clang/include/clang/Sema/Sema.h
clang/lib/Parse/ParsePragma.cpp
clang/lib/Parse/ParseStmt.cpp
clang/lib/Parse/Parser.cpp
clang/lib/Sema/SemaAttr.cpp
clang/test/CodeGen/fp-contract-fast-pragma.cpp [new file with mode: 0644]
clang/test/CodeGen/fp-contract-on-pragma.cpp [new file with mode: 0644]
clang/test/Parser/cxx11-stmt-attributes.cpp
clang/test/Parser/pragma-fp.cpp [new file with mode: 0644]