summary refs log tree commit diff
path: root/src/librustc_mir/interpret/machine.rs
AgeCommit message (Expand)AuthorLines
2019-10-27Implementation of const caller_location.Adam Perry-0/+2
2019-09-28Allow reading non-mutable statics in const propWesley Wiser-4/+3
2019-09-27Introduce a `ConstPropMachine`Wesley Wiser-0/+18
2019-08-17make both unary_op and binary_op fully typed, including a return typeRalf Jung-2/+2
2019-08-05Auto merge of #63079 - RalfJung:ctfe-no-align, r=oli-obkbors-0/+3
2019-08-02CTFE: simplify Value type by not checking for alignmentRalf Jung-0/+3
2019-08-02improve error when CTFE does ptr-int-cast; update testsRalf Jung-5/+1
2019-08-02operator: implement binary_op strictly by first checking the type, then dispa...Ralf Jung-3/+2
2019-07-31code review fixesSaleem Jaffer-4/+4
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-29code review fixesSaleem Jaffer-3/+3
2019-07-29adding a err macro for each of the InterpError variantsSaleem Jaffer-1/+1
2019-07-29fixing fallout due to InterpError refactorSaleem Jaffer-4/+4
2019-07-28replace match by ok()Ralf Jung-8/+2
2019-07-28miri: add get and get_mut to AllocMap; use that in get_size_and_align and avo...Ralf Jung-0/+16
2019-07-06Rollup merge of #62264 - RalfJung:inline-forcing, r=zackmdavisMazdak Farrokhzad-12/+14
2019-07-06Rollup merge of #62245 - RalfJung:miri-extra-fn, r=eddyb,zackmdavisMazdak Farrokhzad-0/+15
2019-07-04use get_size_and_align to test if an allocation is liveRalf Jung-1/+1
2019-07-04more inliningRalf Jung-6/+8
2019-07-04add machine hook to handle calls to 'extra' function valuesRalf Jung-0/+10
2019-07-04Add basic support for "other" kinds of values for function pointers, determin...Ralf Jung-0/+5
2019-07-04Go back to just passing MemoryExtra to the machine-level allocation hooksRalf Jung-2/+2
2019-07-04Machine: make self-like parameters come firstRalf Jung-6/+6
2019-07-04Fix merge conflictsChristian Poveda-10/+10
2019-06-29Remove default bound for Machine::MemoryExtraChristian Poveda-1/+1
2019-06-27rename InterpretCx -> InterpCxRalf Jung-10/+10
2019-06-20Updated tag methods for consistencyChristian Poveda-2/+2
2019-06-20Replace MemoryExtra by Memory in intptrcast methodsChristian Poveda-7/+6
2019-06-16Add special behaviour when int is zeroChristian Poveda-2/+6
2019-06-16Add force_bits and force_ptr methodsChristian Poveda-1/+16
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-1/+1
2019-06-12Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-3/+1
2019-06-12rustc: replace `TyCtxt<'a, 'gcx, 'tcx>` with `TyCtxt<'tcx, 'gcx, 'tcx>`.Eduard-Mihai Burtescu-11/+11
2019-06-08rename EvalResult -> InterpResult and EvalError -> InterpErrorInfoRalf Jung-10/+10
2019-06-02fix commentsRalf Jung-1/+2
2019-06-02no longer assume that there is a default tag: give the machine the chance to ...Ralf Jung-31/+33
2019-05-28Changes the type `mir::Mir` into `mir::Body`Claude-Alban RANÉLY-VERGÉ-DÉPRÉ-1/+1
2019-04-16Miri: refactor new allocation taggingRalf Jung-20/+20
2019-03-26renames EvalContext to InterpretCx.kenta7777-12/+12
2019-02-13make bin_op and unary_op APIs consistently work on ImmTyRalf Jung-6/+4
2019-02-10rustc: doc commentsAlexander Regueiro-12/+12
2019-01-02Add missing 'static bound for the Machine traitMatthew Jasper-1/+1
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-23Rollup merge of #56981 - RalfJung:miri-infallible-alloc, r=oli-obkkennytm-1/+1
2018-12-19miri: allocation is infallibleRalf Jung-1/+1
2018-12-18treat ref-to-raw cast like a reborrow: do a special kind of retagRalf Jung-11/+1
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-1/+1
2018-12-03Retag needs to know whether this is a 2-phase-reborrowRalf Jung-0/+1