about summary refs log tree commit diff
path: root/src/librustc_mir/dataflow/impls
AgeCommit message (Expand)AuthorLines
2020-08-30mv compiler to compiler/mark-1867/+0
2020-08-18Moved coverage counter injection from BasicBlock to Statement.Rich Kadel-0/+3
2020-08-09rustc_mir: use IndexMap in BorrowSetJosh Stone-7/+7
2020-06-30Handle inactive enum variants in `MaybeUninitializedPlaces`Dylan MacKenzie-23/+48
2020-06-26Handle stores to projections correctly in liveness analysisDylan MacKenzie-2/+25
2020-06-21Make is_freeze and is_copy_modulo_regions take TyCtxtAtRalf Jung-1/+1
2020-06-16rename location field of Drop terminators to placeRalf Jung-2/+2
2020-06-08Revert #71956Dylan MacKenzie-8/+234
2020-06-07rename FalseEdges -> FalseEdgeRalf Jung-1/+1
2020-05-30Make TLS accesses explicit in MIROliver Scherer-0/+1
2020-05-19Document assumptions made in generator transform for analysesDylan MacKenzie-0/+6
2020-05-19Remove `MaybeRequiresStorage`Dylan MacKenzie-234/+2
2020-05-19Add `MaybeInitializedLocals` dataflow analysisDylan MacKenzie-0/+117
2020-05-18Add asm! to MIRAmanieu d'Antras-3/+31
2020-05-08Rollup merge of #71993 - ecstatic-morse:cleanup-old-liveness, r=jonas-schievinkDylan DPC-0/+7
2020-05-07Incorporate old module docs into `MaybeLiveLocals` docsDylan MacKenzie-0/+7
2020-05-04Export dataflow impls by nameDylan MacKenzie-4/+4
2020-05-03Live variable analysisDylan MacKenzie-0/+139
2020-05-03Support backward dataflow analysesDylan MacKenzie-2/+2
2020-04-22Use `Body` everywhereDylan MacKenzie-2/+2
2020-04-09Make `MaybeStorageLive` correct for all kinds of MIR bodiesDylan MacKenzie-5/+17
2020-04-02nix rustc_target::abi::* reexport in ty::layoutMazdak Farrokhzad-1/+1
2020-03-31Use Place directly on Operand::place and friends, it's CopySantiago Pastorino-10/+10
2020-03-31Use Place directly, it's Copy even more use casesSantiago Pastorino-9/+9
2020-03-31Use Place directly, it's CopySantiago Pastorino-6/+6
2020-03-30Use if let instead of match when only matching a single variant (clippy::sing...Matthias Krüger-12/+9
2020-03-30rustc -> rustc_middle part 3 (rustfmt)Mazdak Farrokhzad-2/+2
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-11/+11
2020-03-29Use `&` to do deref coercion for `ReadOnlyBodyAndCache`Dylan MacKenzie-2/+2
2020-03-29Make `Visitor::visit_body` take a simple `Body`Dylan MacKenzie-1/+1
2020-03-27Auto merge of #68404 - Amanieu:llvm-asm, r=estebankbors-2/+2
2020-03-26Update imports from `dataflow::generic` to `dataflow`Dylan MacKenzie-7/+6
2020-03-26Rename asm! to llvm_asm!Amanieu d'Antras-2/+2
2020-03-06Model generator resumption in dataflowJonas Schievink-2/+16
2020-03-01Auto merge of #69295 - ecstatic-morse:unified-dataflow-generators, r=tmandrybors-88/+105
2020-02-29use .iter() instead of .into_iter() on references.Matthias Krüger-1/+1
2020-02-27Rename `RequiresStorage` to `MaybeRequiresStorage`Dylan MacKenzie-7/+7
2020-02-27Port `RequiresStorage` to new dataflow frameworkDylan MacKenzie-51/+70
2020-02-27Port `MaybeStorageLive` to new dataflow frameworkDylan MacKenzie-33/+31
2020-02-27Auto merge of #68528 - ecstatic-morse:maybe-init-variants, r=oli-obkbors-2/+35
2020-02-19Handle resume args in `RequiresStorage` analysisJonas Schievink-11/+46
2020-02-19Use match ergonomics to simplify matchJonas Schievink-5/+5
2020-02-19Match MIR statements exhaustivelyJonas Schievink-1/+8
2020-02-17Fix typo in commentDylan MacKenzie-1/+1
2020-02-17Use doc comment for explanation of `shared_borrow_allows_mutation`Dylan MacKenzie-9/+9
2020-02-13Kill move paths of dead variantsDylan MacKenzie-2/+35
2020-02-13Ignore mut borrow from drop terminator in const-evalDylan MacKenzie-12/+33
2020-02-13Rename `MaybeBorrowedLocals` constructorsDylan MacKenzie-2/+5
2020-02-12Use `MaybeBorrowedLocals` for generator analysesDylan MacKenzie-26/+20
2020-02-12Remove outdated `IndirectlyMutableLocals`Dylan MacKenzie-138/+0