3 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
Erik Eckstein	e14c1d1f62	SIL, Optimizer: update and handle borrowed-from instructions ... Compute, update and handle borrowed-from instruction in various utilities and passes. Also, used borrowed-from to simplify `gatherBorrowIntroducers` and `gatherEnclosingValues`. Replace those utilities by `Value.getBorrowIntroducers` and `Value.getEnclosingValues`, which return a lazily computed Sequence of borrowed/enclosing values.	2024-04-10 13:38:10 +02:00
Erik Eckstein	94b6e511ba	Optimizer: add simplification for switch_enum ... Replace ``` %1 = enum $E, #someCase, %payload switch_enum %1, case #someCase: bb1, ... bb1(%payloadArgument): ``` -> ``` br bb1(%payload) bb1(%payloadArgument): ```	2023-12-15 17:11:49 +01:00