about summary refs log tree commit diff
path: root/src/librustc_mir/interpret/step.rs
AgeCommit message (Expand)AuthorLines
2020-07-28Replace all uses of `log::log_enabled` with `Debug` printersOliver Scherer-1/+1
2020-07-26Miri: replace canonical_alloc_id mechanism by extern_static_alloc_id which is...Ralf Jung-2/+2
2020-06-19Rollup merge of #72497 - RalfJung:tag-term, r=oli-obkRalf Jung-2/+2
2020-06-12make miri InterpCx TyCtxtAt a TyCtxt, and separately remember the root span o...Ralf Jung-2/+0
2020-06-01Auto merge of #71192 - oli-obk:eager_alloc_id_canonicalization, r=wesleywiserbors-0/+6
2020-05-30tag/niche terminology cleanupRalf Jung-2/+2
2020-05-30Make TLS accesses explicit in MIROliver Scherer-0/+6
2020-05-25Miri: refactor read_discriminant and make it return ScalarRalf Jung-2/+1
2020-05-24Miri casts: do not blindly rely on dest typeRalf Jung-2/+3
2020-04-23Miri Frame: use mir::Location to represent position in functionRalf Jung-9/+7
2020-04-15Add function eval_maybe_thread_local_static_const that allows handling thread...Vytautas Astrauskas-4/+4
2020-04-15Make the necessary changes to support concurrency in Miri.Vytautas Astrauskas-4/+4
2020-04-05set span more accurately during const_propRalf Jung-4/+2
2020-04-05Miri terminator handling: only do progress sanity check for 'Call' terminatorRalf Jung-5/+0
2020-04-02nix rustc_target::abi::* reexport in ty::layoutMazdak Farrokhzad-1/+1
2020-03-31Use Place directly, it's Copy even more use casesSantiago Pastorino-14/+14
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-7/+7
2020-03-28use more specialized Scalar::from_ constructors where appropriateRalf Jung-5/+3
2020-03-26Rename asm! to llvm_asm!Amanieu d'Antras-1/+1
2020-03-25miri: avoid a bunch of casts by offering usized-based field indexingRalf Jung-4/+1
2020-03-25use checked casts and arithmetic in Miri engineRalf Jung-1/+4
2020-03-12codegen/mir: support polymorphic `InstanceDef`sDavid Wood-1/+1
2020-02-28miri engine: turn some debug_assert into assertRalf Jung-1/+1
2020-01-30Change opt-level from 2 back to 3Gregor Peach-0/+3
2019-12-22Format the worldMark Rousskov-41/+22
2019-12-18Add Rvalue::AddressOf to MIRMatthew Jasper-1/+1
2019-12-08fix miri step debug printingRalf Jung-1/+3
2019-12-06Rename to `then_some` and `then`varkor-3/+3
2019-12-06Use `to_option` in various placesvarkor-3/+3
2019-11-11avoid the loop in unwinding stack poppingRalf Jung-1/+10
2019-11-11Add hooks for Miri panic unwindingAaron Hill-0/+1
2019-09-27Move Ref-from-arg checking from `step.rs` to `const_prop.rs`Wesley Wiser-19/+2
2019-09-27Respond to code review feedback and fix tidyWesley Wiser-1/+1
2019-09-27[const-prop] Replace `Ref` handling with use of `InterpCx`Wesley Wiser-2/+19
2019-09-27[const-prop] Replace `Use` handling with use of `InterpCx`Wesley Wiser-1/+1
2019-09-11Make Place Boxed on Statement to reduce size from 64 bytes to 32 bytesSantiago Pastorino-1/+1
2019-08-19rustc_mir: make subst_from_frame_and_normalize_erasing_regions infallible.Eduard-Mihai Burtescu-1/+1
2019-08-19start cleaning up subst messRalf Jung-1/+1
2019-08-17make both unary_op and binary_op fully typed, including a return typeRalf Jung-1/+2
2019-08-14Rollup merge of #63075 - RalfJung:deref-checks, r=oli-obkMazdak Farrokhzad-2/+6
2019-08-02dedup free-form Unsupported errors; add macros for free-form UB and Unsupport...Ralf Jung-1/+1
2019-07-30renaming throw_err_* to throw_*Saleem Jaffer-1/+1
2019-07-30renaming err to err_unsupSaleem Jaffer-1/+1
2019-07-30adding throw_ and err_ macros for InterpErrorSaleem Jaffer-1/+1
2019-07-29adding a err macro for each of the InterpError variantsSaleem Jaffer-2/+2
2019-07-29fixing fallout due to InterpError refactorSaleem Jaffer-2/+2
2019-07-28'Ref' can now be sure it gets a 'Pointer'Ralf Jung-2/+6
2019-07-06Add check_mplace_ptr convenience method; provide ptr-normalization methods fo...Ralf Jung-6/+7
2019-06-27rename InterpretCx -> InterpCxRalf Jung-3/+3
2019-06-12rustc: replace `TyCtxt<'a, 'gcx, 'tcx>` with `TyCtxt<'tcx, 'gcx, 'tcx>`.Eduard-Mihai Burtescu-1/+1