git.lizzy.rs Git - rust.git/history - compiler/rustc_mir_transform/src/dataflow_const

]> git.lizzy.rs Git - rust.git/history - compiler/rustc_mir_transform/src/dataflow_const_prop.rs

[rust.git] / compiler / rustc_mir_transform / src / dataflow_const_prop.rs

2022-11-12	Jannis Christopher...	Disable limits if mir-opt-level >= 4	blob \| commitdiff \| raw
2022-11-12	Jannis Christopher...	Expand upon comment regarding self-assignment	blob \| commitdiff \| raw \| diff to current
2022-11-12	Jannis Christopher...	Require -Zmir-opt-level >= 3 for now	blob \| commitdiff \| raw \| diff to current
2022-11-12	Jannis Christopher...	Add comment for guessed constants	blob \| commitdiff \| raw \| diff to current
2022-11-10	Jannis Christopher...	Simplify creation of map	blob \| commitdiff \| raw \| diff to current
2022-11-09	Jannis Christopher...	Fix struct field tracking and add tests for it	blob \| commitdiff \| raw \| diff to current
2022-11-09	Jannis Christopher...	Completely remove tracking of references for now	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Limit number of basic blocks and tracked places to...	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Use new cast methods	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Limit number of tracked places, and some other perf...	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Move HasTop and HasBottom into lattice.rs	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Small documentation changes	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Use ParamEnv consistently	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Prevent propagation of overflow if overflow occured	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Fix unimplemented binary_ptr_op	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Improve documentation, plus some small changes	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Make overflow handling more precise	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Make overflow flag propagation conditional	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Fix rebased CastKind	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Use the same is_enabled as the current const prop	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Prevent registration inside references if target is...	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Remove `Unknown` state in favor of `Value(Top)`	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Track Scalar instead of ScalarInt for const prop	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Add tracking of unreachability	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Ignore terminators explicitly	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Flood with bottom instead of top for unreachable branches	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Move handling of references and simplify flooding	blob \| commitdiff \| raw \| diff to current
2022-11-07	Jannis Christopher...	Add initial version of value analysis and dataflow...	blob \| commitdiff \| raw \| diff to current

Empowering everyone to build reliable and efficient software.

RSS Atom