Add new intrinsic `is_constant` and optimize `pow` - #114390

Closed

Centri3 wants to merge 11 commits into

rust-lang:masterfrom

Centri3:llvm-is-constant

Commits on Aug 20, 2023

Add new intrinsic `is_constant` and optimize `pow`
Centri3
committed
abeda62
Fix overflow check
Centri3
committed
4aa0608
Make MIRI choose the path randomly and rename the intrinsic
Centri3
committed
2605ea7
Add back test
Centri3
committed
f569cea
Add miri test and make it operate on `ptr`
Centri3
committed
1b75669
Define `llvm.is.constant` for primitives
Centri3
committed
79016f8
Update MIRI comment and fix test in stage2
Centri3
committed
4f31013
Add const eval test
Centri3
committed
cf9406f
Clarify that both branches must have the same side effects
Centri3
committed
be35381

Commits on Sep 5, 2023

guaranteed non guarantee

oli-obk
and
RalfJung
authored
c1adc30
use immediate type instead
Centri3
committed
87b5cea