rust/compiler/rustc_data_structures/src/graph, branch 1.72.1 https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.72.1 2023-05-24T16:18:21+00:00 Auto merge of #111673 - cjgillot:dominator-preprocess, r=cjgillot,tmiasko 2023-05-24T16:18:21+00:00 bors bors@rust-lang.org 2023-05-24T16:18:21+00:00 urn:sha1:97d328012b9ed9b7d481c40e84aa1f2c65b33ec8 Preprocess and cache dominator tree Preprocessing dominators has a very strong effect for https://github.com/rust-lang/rust/pull/111344. That pass checks that assignments dominate their uses repeatedly. Using the unprocessed dominator tree caused a quadratic runtime (number of bbs x depth of the dominator tree). This PR also caches the dominator tree and the pre-processed dominators in the MIR cfg cache. Rebase of https://github.com/rust-lang/rust/pull/107157 cc `@tmiasko` Revert spurious changes. 2023-05-18T14:36:13+00:00 Camille GILLOT gillot.camille@gmail.com 2023-05-18T14:36:13+00:00 urn:sha1:7c8f29f02c279acfa7b0c353e2187ad268e25de8 Merge DominatorTree and Dominators. 2023-05-17T10:37:29+00:00 Camille GILLOT gillot.camille@gmail.com 2023-05-17T10:37:29+00:00 urn:sha1:fa8598cb5066b3463d53682170cc695af2c1b380 Typo. 2023-05-17T10:29:12+00:00 Camille GILLOT gillot.camille@gmail.com 2023-05-17T10:29:12+00:00 urn:sha1:4bbdb64016a0a7e1713d7c35b40ed931a47e4d8c Remove outdated comment. 2023-05-17T10:26:04+00:00 Camille GILLOT gillot.camille@gmail.com 2023-05-17T10:26:04+00:00 urn:sha1:ae318e34449c0b8d92f4067d68fda604bac5da82 Preprocess dominator tree to answer queries in O(1) 2023-05-17T09:36:12+00:00 Tomasz Miąsko tomasz.miasko@gmail.com 2023-01-21T00:00:00+00:00 urn:sha1:aa1267f630e01d19dcd9247ffb3a795aba0df461 Process current bucket instead of parent's bucket when starting loop for dominators. 2023-05-15T16:16:34+00:00 Camille GILLOT gillot.camille@gmail.com 2023-05-15T13:09:21+00:00 urn:sha1:84339a6f0577b2bd9526383d2a6e3bda7b59c920 Start node has no immediate dominator 2023-05-14T14:09:58+00:00 Tomasz Miąsko tomasz.miasko@gmail.com 2023-05-14T00:00:00+00:00 urn:sha1:f16d2b1629d62db306bd9d03676524dc848c94b4 Change the immediate_dominator return type to Option, and use None to indicate that node has no immediate dominator. Also fix the issue where the start node would be returned as its own immediate dominator. Split `{Idx, IndexVec, IndexSlice}` into their own modules 2023-04-24T13:53:35+00:00 Maybe Waffle waffle.lapkin@gmail.com 2023-04-19T10:57:17+00:00 urn:sha1:e496fbec922b22d9b506ba55386c482b4bf06378 Fix some clippy::complexity 2023-04-09T21:22:14+00:00 Nilstrieb 48135649+Nilstrieb@users.noreply.github.com 2023-04-09T21:07:18+00:00 urn:sha1:81c320ea7786a2b5a07a165aedacb438ae14fd74