6 Commits

Author	SHA1	Message	Date
Meghana Gupta	5e1f9a37ef	Enable silcombine to propagate concrete type of existentials in ossa	2024-12-23 08:34:13 -08:00
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
Holly Borla	8713d78704	[PrintOptions] Print explicit 'any' in SIL.	2022-08-18 01:15:12 -04:00
Erik Eckstein	39bb14b094	change mangling prefix from $S to $s ... This is the final ABI mangling prefix rdar://problem/38471478	2018-09-19 13:55:11 -07:00
Erik Eckstein	cd3d50a5d9	ABI: Change the mangling prefix from _T0 to $S	2018-01-06 13:55:59 -08:00
Joe Shajrawi	b9c93bde47	Relax the open_existential_addr immutable_access verifier further after sil-combine bail-out	2017-10-17 00:26:06 -07:00