swiftlang / swift

The Swift Programming Language
https://swift.org
Apache License 2.0
67.38k stars 10.34k forks source link

[SR-6342] Make PredMemOpts dataflow less conservative #48892

Open gottesmm opened 6 years ago

gottesmm commented 6 years ago
Previous ID SR-6342
Radar None
Original Reporter @gottesmm
Type Improvement
Additional Detail from JIRA | | | |------------------|-----------------| |Votes | 0 | |Component/s | Compiler | |Labels | Improvement | |Assignee | None | |Priority | Medium | md5: a01aeadd662881d4736dfebb589184ae

Issue Description:

Today, PredMemOpts is /really/, /really/ conservative from a dataflow perspective. Specifically, we should be able to support multiple different available values at merge points via the usage of the SSAUpdater. I have already basically implemented the necessary changes to support this.

gottesmm commented 6 years ago

@swift-ci sync