6 Commits

Author	SHA1	Message	Date
Erik Eckstein	7cceaff5f3	SIL: don't print operand types in textual SIL ... Type annotations for instruction operands are omitted, e.g. ``` %3 = struct $S(%1, %2) ``` Operand types are redundant anyway and were only used for sanity checking in the SIL parser. But: operand types _are_ printed if the definition of the operand value was not printed yet. This happens: * if the block with the definition appears after the block where the operand's instruction is located * if a block or instruction is printed in isolation, e.g. in a debugger The old behavior can be restored with `-Xllvm -sil-print-types`. This option is added to many existing test files which check for operand types in their check-lines.	2024-11-21 18:49:52 +01:00
Allan Shortlidge	f827e7c6d3	Tests: Remove -disable-availability-checking in variadic generics tests.	2024-10-20 15:37:15 -07:00
Slava Pestov	e9e6a51c82	Unconditionally enable variadic generic types now that SE-0398 has been accepted	2023-05-15 23:32:52 -04:00
Slava Pestov	4318a36be6	Sema: Availability checking for variadic generic types	2023-05-12 22:50:25 -04:00
John McCall	e87fbc8a04	Handle vanishing tuples when emitting a result plan into an initalization ... Fixes rdar://107972801	2023-04-19 15:34:03 -04:00
John McCall	70497970f4	Tests for the vanishing tuples work in this PR. ... Fixes rdar://107459964 and rdar://107478603.	2023-04-03 23:17:57 -04:00