OSDN Git Service

[clang] Add storage for APValue in ConstantExpr
authorGauthier Harnisch <tyker1@outlook.com>
Sat, 15 Jun 2019 10:24:47 +0000 (10:24 +0000)
committerGauthier Harnisch <tyker1@outlook.com>
Sat, 15 Jun 2019 10:24:47 +0000 (10:24 +0000)
commit9e1cb6616dbcabac9d826a295a18fb82aa23e712
tree651ae58008a91e6c90ecbfd9c5076872abca2f45
parentdc69eb3bf3d11f065a9f4963f87a1120231c6533
[clang] Add storage for APValue in ConstantExpr

Summary:
When using ConstantExpr we often need the result of the expression to be kept in the AST. Currently this is done on a by the node that needs the result and has been done multiple times for enumerator, for constexpr variables... . This patch adds to ConstantExpr the ability to store the result of evaluating the expression. no functional changes expected.

Changes:
 - Add trailling object to ConstantExpr that can hold an APValue or an uint64_t. the uint64_t is here because most ConstantExpr yield integral values so there is an optimized layout for integral values.
 - Add basic* serialization support for the trailing result.
 - Move conversion functions from an enum to a fltSemantics from clang::FloatingLiteral to llvm::APFloatBase. this change is to make it usable for serializing APValues.
 - Add basic* Import support for the trailing result.
 - ConstantExpr created in CheckConvertedConstantExpression now stores the result in the ConstantExpr Node.
 - Adapt AST dump to print the result when present.

basic* : None, Indeterminate, Int, Float, FixedPoint, ComplexInt, ComplexFloat,
the result is not yet used anywhere but for -ast-dump.

Reviewers: rsmith, martong, shafik

Reviewed By: rsmith

Subscribers: rnkovacs, hiraditya, dexonsmith, cfe-commits, llvm-commits

Tags: #clang, #llvm

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@363493 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/ADT/APFloat.h
lib/Support/APFloat.cpp