summary refs log tree commit diff
path: root/src/librustc_mir/transform
AgeCommit message (Collapse)AuthorLines
2016-09-24librustc_mir: Propagate constants during copy propagation.Patrick Walton-59/+213
This optimization kicks in a lot when bootstrapping the compiler.
2016-09-21Auto merge of #36551 - eddyb:meta-games, r=nikomatsakisbors-1/+2
Refactor away RBML from rustc_metadata. RBML and `ty{en,de}code` have had their long-overdue purge. Summary of changes: * Metadata is now a tree encoded in post-order and with relative backward references pointing to children nodes. With auto-deriving and type safety, this makes maintenance and adding new information to metadata painless and bug-free by default. It's also more compact and cache-friendly (cache misses should be proportional to the depth of the node being accessed, not the number of siblings as in EBML/RBML). * Metadata sizes have been reduced, for `libcore` it went down 16% (`8.38MB` -> `7.05MB`) and for `libstd` 14% (`3.53MB` -> `3.03MB`), while encoding more or less the same information * Specialization is used in the bundled `libserialize` (crates.io `rustc_serialize` remains unaffected) to customize the encoding (and more importantly, decoding) of various types, most notably those interned in the `TyCtxt`. Some of this abuses a soundness hole pending a fix (cc @aturon), but when that fix arrives, we'll move to macros 1.1 `#[derive]` and custom `TyCtxt`-aware serialization traits. * Enumerating children of modules from other crates is now orthogonal to describing those items via `Def` - this is a step towards bridging crate-local HIR and cross-crate metadata * `CrateNum` has been moved to `rustc` and both it and `NodeId` are now newtypes instead of `u32` aliases, for specializing their decoding. This is `[syntax-breaking]` (cc @Manishearth ). cc @rust-lang/compiler
2016-09-20rustc_metadata: go only through rustc_serialize in astencode.Eduard Burtescu-1/+2
2016-09-19librustc: Implement def-use chains and trivial copy propagation on MIR.Patrick Walton-3/+186
This only supports trivial cases in which there is exactly one def and one use.
2016-09-19librustc: Add a new nop statement to the MIR.Patrick Walton-1/+3
This is useful when passes want to remove statements without affecting `Location`s.
2016-09-16librustc_mir: Remove `&*x` when `x` has a reference type.Patrick Walton-0/+112
This introduces a new `InstCombine` pass for us to place such peephole optimizations.
2016-09-08Refactor `TyStruct`/`TyEnum`/`TyUnion` into `TyAdt`Vadim Petrochenkov-9/+7
2016-09-06Count and report time taken by MIR passesSimonas Kazlauskas-4/+4
2016-09-04Auto merge of #36203 - petrochenkov:uvsdot, r=nrcbors-7/+7
Replace `_, _` with `..` in patterns This is how https://github.com/rust-lang/rust/issues/33627 looks in action. Looks especially nice in leftmost/rightmost positions `(first, ..)`/`(.., last)`. I haven't touched libsyntax intentionally because the feature is still unstable.
2016-09-04Rollup merge of #36212 - razielgn:updated-e0493-to-new-format, r=jonathandturnerManish Goregaokar-0/+33
Updated e0493 to new format (+ bonus). Part of #35233. Fixes #35999. r? @jonathandturner I'm not satisfied with the bonus part, there has to be an easier way to reach into the `Drop`'s span implementation. I'm all ears. :)
2016-09-04Replace `_, _` with `..`Vadim Petrochenkov-6/+6
2016-09-04Replace `_, _, _` with `..`Vadim Petrochenkov-1/+1
2016-09-03Fix buggy field access translationVadim Petrochenkov-3/+3
2016-09-03Some better support for unions through the compilerVadim Petrochenkov-1/+3
2016-09-02E0493: showing a label where the destructor is defined.Federico Ravasio-0/+29
2016-09-01turn the RFC1592 warnings into hard errorsAriel Ben-Yehuda-4/+0
The warnings have already reached stable The test rfc1592_deprecated is covered by `bad_sized` and `unsized6`. Fixes #33242 Fixes #33243
2016-08-31Updated E0493 to new format.Federico Ravasio-0/+4
2016-08-27Auto merge of #36030 - Manishearth:rollup, r=Manishearthbors-1/+1
Rollup of 7 pull requests - Successful merges: #35124, #35877, #35953, #36002, #36004, #36005, #36014 - Failed merges:
2016-08-26Auto merge of #35542 - scottcarr:visitor_refactor, r=nikomatsakisbors-78/+77
[MIR] track Location in MirVisitor, combine Location All the users of MirVisitor::visit_statement implement their own statement index tracking. This PR move the tracking into MirVisitor itself. Also, there were 2 separate implementations of Location that were identical. This PR eliminates one of them.
2016-08-27rustc: use accessors for Substs::{types,regions}.Eduard Burtescu-1/+1
2016-08-26fix port for visit_statementScott A Carr-3/+14
2016-08-20Rollup merge of #35780 - clementmiao:E0396_new_err_format, r=jonathandturnerJonathan Turner-3/+7
updated E0396 to new error format Updated E0396 to new error format. Part of #35233 Fixes #35779 Thanks again for letting me help! r? @jonathandturner
2016-08-20Rollup merge of #35778 - clementmiao:E0395_new_error_format, r=jonathandturnerJonathan Turner-3/+8
updated E0395 to new error format Updated E0395 to new error format. Part of #35233 Fixes #35693 Thanks again for letting me help! r? @jonathandturner
2016-08-18track Location in visitor, combine LocationScott A Carr-88/+76
2016-08-17updated E0396 to new error formatclementmiao-3/+7
2016-08-17updated E0395 to new error formatclementmiao-3/+8
2016-08-17Updated E0394 to new error messageKnight-1/+4
2016-08-16Auto merge of #35162 - canndrew:bang_type_coerced, r=nikomatsakisbors-28/+18
Implement the `!` type This implements the never type (`!`) and hides it behind the feature gate `#[feature(never_type)]`. With the feature gate off, things should build as normal (although some error messages may be different). With the gate on, `!` is usable as a type and diverging type variables (ie. types that are unconstrained by anything in the code) will default to `!` instead of `()`.
2016-08-14[MIR] Add Storage{Live,Dead} statements to emit llvm.lifetime.{start,end}.Eduard Burtescu-19/+41
2016-08-13Rename empty/bang to neverAndrew Cann-1/+2
Split Ty::is_empty method into is_never and is_uninhabited
2016-08-13Remove obsolete divergence related stuffAndrew Cann-28/+15
Replace FnOutput with Ty Replace FnConverging(ty) with ty Purge FnDiverging, FunctionRetTy::NoReturn and FunctionRetTy::None
2016-08-13Switch on TyEmptyAndrew Cann-3/+5
Parse -> ! as FnConverging(!) Add AdjustEmptyToAny coercion to all ! expressions Some fixes
2016-08-13Auto merge of #35348 - scottcarr:discriminant2, r=nikomatsakisbors-17/+73
[MIR] Add explicit SetDiscriminant StatementKind for deaggregating enums cc #35186 To deaggregate enums, we need to be able to explicitly set the discriminant. This PR implements a new StatementKind that does that. I think some of the places that have `panics!` now could maybe do something smarter.
2016-08-12rustc: rename ProjectionMode and its variant to be more memorable.Eduard Burtescu-4/+4
2016-08-11Auto merge of #35592 - jonathandturner:rollup, r=jonathandturnerbors-3/+6
Rollup of 23 pull requests - Successful merges: #35279, #35331, #35358, #35375, #35445, #35448, #35482, #35486, #35505, #35528, #35530, #35532, #35536, #35537, #35541, #35552, #35554, #35555, #35557, #35562, #35565, #35569, #35576 - Failed merges: #35395, #35415, #35563
2016-08-11add SetDiscriminant StatementKind to enable deaggregation of enumsScott A Carr-17/+73
2016-08-11Rollup merge of #35445 - pcn:update-E0017-to-new-format, r=arielb1Jonathan Turner-3/+6
Update e0017 to new format Updated `span_err!` to use `struct_span_err!` and provide a `span_label` that describes the error in context. Updated the test to look for the `span_label`s that are provided now.
2016-08-11Auto merge of #35403 - scottcarr:lvalue_refactor, r=nikomatsakisbors-28/+26
refactor lvalue_ty to be method of lvalue Currently `Mir` (and `MirContext`) implement a method `lvalue_ty` (and actually many more `foo_ty`). But this should be a method of `Lvalue`. If you have an `lvalue` and you want to get its type, the natural thing to write is: ``` lvalue.ty() ``` Of course it needs context, but still: ``` lvalue.ty(mir, tcx) ``` Makes more sense than ``` mir.lvalue_ty(lvalue, tcx) ``` I actually think we should go a step farther and have traits so we could get the type of some value generically, but that's up for debate. The thing I'm running into a lot in the compiler is I have a value of type `Foo` and I know that there is some related type `Bar` which I can get through some combination of method calls, but it's often not as direct as I would imagine. Unless you already know the code, its not clear why you would look in `Mir` for a method to get the type of an `Lvalue`.
2016-08-09Auto merge of #35166 - nikomatsakis:incr-comp-ice-34991-2, r=mwbors-13/+11
Address ICEs running w/ incremental compilation and building glium Fixes for various ICEs I encountered trying to build glium with incremental compilation enabled. Building glium now works. Of the 4 ICEs, I have test cases for 3 of them -- I didn't isolate a test for the last commit and kind of want to go do other things -- most notably, figuring out why incremental isn't saving much *effort*. But if it seems worthwhile and I can come back and try to narrow down the problem. r? @michaelwoerister Fixes #34991 Fixes #32015
2016-08-08track MIR through the dep-graphNiko Matsakis-13/+11
Per the discussion on #34765, we make one `DepNode::Mir` variant and use it to represent both the MIR tracking map as well as passes that operate on MIR. We also track loads of cached MIR (which naturally comes from metadata). Note that the "HAIR" pass adds a read of TypeckItemBody because it uses a myriad of tables that are not individually tracked.
2016-08-08refactor other type methodsScott A Carr-16/+16
2016-08-07Updated the messages for E0017Peter C. Norton-3/+6
- Fix note message, fix tests.
2016-08-07Update E0010 to use the new formatPeter C. Norton-2/+4
For https://github.com/rust-lang/rust/issues/35194
2016-08-05refactor lvalue_ty to be method of lvalueScott A Carr-12/+10
2016-08-03reduce rightward drift, add precondition commentScott A Carr-15/+20
2016-08-02add hashtag to emphasis its a gh issueScott A Carr-1/+1
2016-08-02fix field type, add testScott A Carr-1/+1
2016-08-02reduce rightward drift, add fixmeScott A Carr-41/+41
2016-08-01deaggregate structs to enable further optimizationScott A Carr-0/+112
2016-06-23Move errors from libsyntax to its own crateJonathan Turner-3/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 09:21:26 +0000