4 Commits

Author	SHA1	Message	Date
Erik Eckstein	eea471fe99	add the ComputeEffects pass ... The ComputeEffects pass derives escape information for function arguments and adds those effects in the function. This needs a lot of changes in check-lines in the tests, because the effects are printed in SIL	2022-04-22 09:50:07 +02:00
Saleem Abdulrasool	218ef587e6	Revert "Merge pull request #42242 from eeckstein/escapeinfo" ... This reverts commit c05e064cd8, reversing changes made to c1534d5af9. This caused a regression on Windows.	2022-04-21 20:33:37 -07:00
Erik Eckstein	700412b39e	add the ComputeEffects pass ... The ComputeEffects pass derives escape information for function arguments and adds those effects in the function. This needs a lot of changes in check-lines in the tests, because the effects are printed in SIL	2022-04-21 08:45:08 +02:00
Erik Eckstein	0a71d0fbea	SimplifyCFG: allow jump-threading for switch_enum_data_addr instructions. ... If the branch-block injects a certain enum case and the destination switches on that enum, it's worth jump threading. E.g. inject_enum_addr %enum : $*Optional<T>, #Optional.some ... // no memory writes here br DestBB DestBB: ... // no memory writes here switch_enum_addr %enum : $*Optional<T>, case #Optional.some ... This enables removing all code with optionals in a loop, which iterates over an array of address-only elements, e.g. func test<T>(_ items: [T]) { for i in items { print(i) } }	2020-09-30 16:44:58 +02:00