| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-01-23 | Further Implement `is_val_statically_known` | Nicholas Thompson | -3/+1 | |
| 2024-01-19 | Add new intrinsic `is_constant` and optimize `pow` | Catherine Flores | -0/+50 | |
| Fix overflow check Make MIRI choose the path randomly and rename the intrinsic Add back test Add miri test and make it operate on `ptr` Define `llvm.is.constant` for primitives Update MIRI comment and fix test in stage2 Add const eval test Clarify that both branches must have the same side effects guaranteed non guarantee use immediate type instead Co-Authored-By: Ralf Jung <post@ralfj.de> | ||||
