[llvm] [llubi] Initial support for floating-point numbers (PR #188453)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Tue Apr 28 06:39:03 PDT 2026


================
@@ -83,6 +83,107 @@ class InstExecutor : public InstVisitor<InstExecutor, void>,
     CurrentFrame->ValueMap.insert_or_assign(&I, std::move(V));
   }
 
+  APFloat handleDenormal(APFloat Val, DenormalMode::DenormalModeKind Mode,
+                         bool NonDet = false) {
----------------
nikic wrote:

```suggestion
                         bool IsInput = false) {
```
To keep the implication "output -> nondet" within this function.

https://github.com/llvm/llvm-project/pull/188453


More information about the llvm-commits mailing list