Anthony Latsis
17fc00f8a7
[test] IRGen: Adjust FileCheck patterns for new nuw attribute in upstream LLVM
...
This attribute was introduced in
7eca38ce76d5d1915f4ab7e665964062c0b37697 (llvm-project).
Match it using a wildcard regex, since it is not relevant to these
tests.
This is intended to reduce future conflicts with rebranch.
2025-05-04 03:28:56 +01:00
Arnold Schwaighofer
fdb050d2cf
IRGen: Fix some test cases for llvm rebranch
2024-05-01 09:30:15 -07:00
Slava Pestov
770e6f98e3
AST: Correct '(each T).A' output for archetypes
...
isParameterPack() is always false for an archetype; we must test for a
PackArchetypeType here instead.
2024-01-02 15:41:13 -05:00
Holly Borla
7b586d20cc
[Type Resolution] Only allow each applied directly to a type parameter pack.
2023-07-20 15:29:53 -07:00
Arnold Schwaighofer
379cff4200
Fix final set of tests not moved to opaque pointers
2023-07-05 05:22:49 -07:00
Arnold Schwaighofer
c1a93e0bde
Move tests over to use the %use_no_opaque_pointers option
2023-06-14 10:49:48 -07:00
Nate Chandler
c5699c9eb7
[IRGen] Enabled pack metadata stack promo.
...
Set the flag and updated the tests.
2023-06-05 08:11:28 -07:00
Nate Chandler
0b5a233d73
[GenPack] Always heapify metadata packs.
...
Until the optimization to leave packs on-stack is in place. Even then,
we'll want to keep this as a fallback.
rdar://110123679
2023-06-03 07:30:09 -07:00
Slava Pestov
df5d531dc6
ASTPrinter: Fix printing of pack requirements
...
Also remove the flag for printing 'each' and make it always on.
2023-04-19 13:04:51 -04:00
Holly Borla
e48a9b5aeb
[NFC] Remove the VariadicGenerics flag from tests that don't use generic types
...
with parameter packs.
2023-04-15 17:48:08 -07:00
Holly Borla
234b5dc660
[SE-0393] Require the repeat keyword for generic requirement expansions.
2023-04-12 22:04:01 -07:00
Slava Pestov
37ceeb3981
IRGen: Cast fixed-size metadata and witness table packs to the correct pointer type
2023-03-04 10:42:42 -05:00
Sophia Poirier
70cffb06f3
[Variadic Generics] type parameter pack syntax change: T... -> each T
2023-03-02 14:42:28 -08:00
Nate Chandler
befd0bc17e
[GenPack] Emit all element signature requirements.
...
Enumerate the requirements of opened element signature and emit metadata
and witness tables for each *Pack requirement.
2023-02-14 20:54:05 -08:00
Nate Chandler
5cb91af1c0
[IRGen] Forwarded wtable packs when possible.
...
Previously wtable packs were never forwarded because pack types
consisting of a single element which was itself a pack archetype were
never canonicalized into that.
In the forwarding scenario, gepped and loaded from wtable when lowering
open_pack_element.
2023-02-10 18:13:21 -08:00
Nate Chandler
975111064b
[Test] Loosened FileCheck lines for 32bit.
...
rdar://105226018
2023-02-09 10:26:45 -08:00
Nate Chandler
210ef1f75a
[IRGen] Emit witness tables for packs.
...
This mostly mirrors what's already implemented for metadata pack emission.
2023-02-07 10:30:08 -08:00
