5 Commits

Author	SHA1	Message	Date
许杰友 Jieyou Xu (Joe)	6e48b96692	[AUTO_GENERATED] Migrate compiletest to use ui_test-style //@ directives	2024-02-22 16:04:04 +00:00
Oli Scherer	f35a2bd401	Support safe intrinsics with fallback bodies ... Turn `is_val_statically_known` into such an intrinsic to demonstrate. It is perfectly safe to call after all.	2024-02-12 17:55:36 +00:00
Alex Huang	a97ff2a750	Add additional test cases for is_val_statically_known	2024-01-30 14:37:59 -05:00
Nicholas Thompson	971e37ff7e	Further Implement is_val_statically_known	2024-01-23 12:02:31 -05:00
Catherine Flores	5a4561749a	Add new intrinsic is_constant and optimize pow ... 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>	2024-01-19 13:46:27 -05:00