7 Commits

Author	SHA1	Message	Date
Erik Eckstein	27dc031d1e	IRGen: better code generation for the _assumeNonNegative intrinsic ... So far we only supported this for `load` and `call` arguments. Now we use `llvm.assume` for other kind of argument values. This helps optimizing bounds checking for `Span`.	2025-07-22 12:42:54 +02:00
Meghana Gupta	44e05fa858	[NFC] Update tests and diagnostics	2025-06-07 12:49:01 -07:00
Andrew Trick	64a48d08e1	Update tests for strict @lifetime type checking	2025-03-19 11:59:04 -07:00
Meghana Gupta	26277c8363	Add support for bounds check optimization of Span and InlineArray	2025-02-28 17:11:52 -08:00
Doug Gregor	3c8ef82963	Enable usable of Span by default ... Usage of Span was temporarily behind an experimental feature flag. Now that SE-0447 has been accepted, remove the experimental feature flag and allow Span usage everywhere. Implements rdar://144819992.	2025-02-14 10:45:47 -08:00
Meghana Gupta	0a860a1215	[Test] Enable test for all platforms and update check lines	2025-02-10 12:37:11 -08:00
Meghana Gupta	3da2b90242	Add some span unit tests for bounds check optimizations	2025-02-07 02:01:36 -08:00