ddcc added a comment. - This patch introduces a virtual overloaded `llvm::APFloat getSymVal()` for returning the value of known floating-point constants. In the long term, both `getSymVal()` functions should probably be refactored to return something like a `llvm::Con - There are also long-term issues with the flexibility of the `SymExpr` class. Currently, this patch adds two `SymFloatExpr` and `FloatSymExpr` subclasses, but this isn't expressive enough for certain types of symbolic queries. For example, the current implementation checks whether a floating-point value is `NaN` by comparing whether `V == V`, which should only be false for `NaN`. It would be better to add support for special queries for whether a value is NaN, positive infinity, negative infinity, etc.
https://reviews.llvm.org/D28954 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
