| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-10-11 | intrinsics.fmuladdf{16,32,64,128}: expose llvm.fmuladd.* semantics | Jed Brown | -0/+18 | |
| Add intrinsics `fmuladd{f16,f32,f64,f128}`. This computes `(a * b) + c`, to be fused if the code generator determines that (i) the target instruction set has support for a fused operation, and (ii) that the fused operation is more efficient than the equivalent, separate pair of `mul` and `add` instructions. https://llvm.org/docs/LangRef.html#llvm-fmuladd-intrinsic MIRI support is included for f32 and f64. The codegen_cranelift uses the `fma` function from libc, which is a correct implementation, but without the desired performance semantic. I think this requires an update to cranelift to expose a suitable instruction in its IR. I have not tested with codegen_gcc, but it should behave the same way (using `fma` from libc). | ||||
| 2024-07-04 | Add casting tests for `f16` and `f128` | Trevor Gross | -0/+66 | |
| 2024-07-04 | Refactor float casting tests | Trevor Gross | -186/+390 | |
| This is an attempt to remove the magic from a lot of the numbers tested, which should make things easier when it is time to add `f16` and `f128`. A nice side effect is that these tests now cover all int <-> float conversions with the same amount of tests. Co-authored-by: Ralf Jung <post@ralfj.de> | ||||
| 2024-06-14 | Add `f16` and `f128` support to Miri | Trevor Gross | -98/+51 | |
| 2024-05-12 | merge float tests into one | Ralf Jung | -0/+67 | |
| 2024-01-19 | Stabilize `round_ties_even` | Jules Bertholet | -1/+0 | |
| 2024-01-06 | these should be exact | Ralf Jung | -8/+8 | |
| 2024-01-06 | merge intrinsics-math into float tests | Ralf Jung | -2/+161 | |
| 2023-09-29 | add tests for '%' sign on floats | Ralf Jung | -0/+10 | |
| 2023-03-11 | Implement intrinsics for round_ties_even | Ben Kimock | -0/+30 | |
| 2022-09-27 | Stabilize bench_black_box | Urgau | -1/+1 | |
| 2022-09-21 | Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573' | Oli Scherer | -0/+555 | |
| git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573 | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |