summary refs log tree commit diff
path: root/src/librustc_mir/interpret/step.rs
AgeCommit message (Expand)AuthorLines
2019-03-26renames EvalContext to InterpretCx.kenta7777-3/+3
2019-02-16Remove an intermediate value from discriminant readingOliver Scherer-2/+2
2019-02-13make bin_op and unary_op APIs consistently work on ImmTyRalf Jung-1/+1
2019-02-10rustc: doc commentsAlexander Regueiro-1/+1
2019-01-23Follow naming scheme for "frame" methodsOliver Scherer-2/+2
2019-01-22Bail out on overly generic substitutionsOliver Scherer-2/+2
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-23Rollup merge of #56973 - RalfJung:miri-trace, r=oli-obkkennytm-3/+3
2018-12-19make basic CTFE tracing available on release buildsRalf Jung-3/+3
2018-12-18treat ref-to-raw cast like a reborrow: do a special kind of retagRalf Jung-6/+2
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-3/+3
2018-12-03Retag needs to know whether this is a 2-phase-reborrowRalf Jung-2/+2
2018-11-18Remove mir::StatementKind::EndRegionMatthew Jasper-1/+0
2018-11-07no more action on ref or cast, but add new MIR statement for escaping a ptr t...Ralf Jung-13/+9
2018-11-04rustc_target: pass contexts by reference, not value.Eduard-Mihai Burtescu-3/+3
2018-11-02Rename `Value` to `Immediate` for miriOliver Scherer-6/+6
2018-10-29let create_ref take a mutability, and leave it to step.rs to interpret mir::B...Ralf Jung-2/+10
2018-10-29Emit Retag statements, kill Validate statementsRalf Jung-5/+4
2018-10-18add 'raw reference' to the machine hook, and use that in ptr-to-raw castsRalf Jung-1/+1
2018-10-18provide machine hooks for creating references and accessing memoryRalf Jung-2/+3
2018-10-14Add comment about step being used by prirodabjorn3-0/+2
2018-10-14Make EvalContext::step public againbjorn3-1/+1
2018-09-23Auto merge of #54380 - RalfJung:miri-snapshot, r=eddybbors-40/+2
2018-09-20move CTFE engine snapshot state out of miri engine into CTFE machine instanceRalf Jung-40/+2
2018-09-18Refactor 'ReadForMatch' into 'FakeRead' and add the cause of the fake readRemy Rakic-2/+2
2018-09-14Rollup merge of #54076 - RalfJung:miri-snapshot, r=oli-obkkennytm-1/+4
2018-09-10add the `AscribeUserType` statement kindNiko Matsakis-1/+1
2018-09-09miri loop detector hashing: fix enum hashing to also consider discriminant; d...Ralf Jung-1/+4
2018-09-03Use EvalContext's TyCtx for the purpose of hashing the evaluation contextBruno Dutra-1/+6
2018-09-03Promote EvalSnapshot to newtypeBruno Dutra-1/+1
2018-08-29move some Scalar helpers from miri here, and use them where appropriateRalf Jung-16/+7
2018-08-27fix handling of unsized types in validation; validate str to be UTF-8Ralf Jung-3/+3
2018-08-27validate enum discriminant whenever it is readRalf Jung-3/+3
2018-08-27without all those copies of constants, we can finally make eval_operand take ...Ralf Jung-5/+5
2018-08-27Miri Memory WorkRalf Jung-4/+12
2018-08-25Auto merge of #53609 - bemeurer:tidy-ctfe, r=RalfJungbors-2/+12
2018-08-24support user-given types in adtsNiko Matsakis-1/+1
2018-08-23Reflow and fixup commentsBernardo Meurer-2/+2
2018-08-23Add license header to CTFE/MIRIBernardo Meurer-0/+10
2018-08-22also avoid recomputing the layout for unary and binary ops, where possibleRalf Jung-6/+38
2018-08-22in a Use statement, exploit the fact that type and hence layout are the same ...Ralf Jung-4/+5
2018-08-22Tweak loggingRalf Jung-3/+3
2018-08-22miri/CTFE refactorRalf Jung-89/+48
2018-08-22Move some value-and-memory related things out of eval_contextRalf Jung-3/+197
2018-08-01Reintroduce `Undef` and properly check constant value sizesOliver Schneider-1/+1
2018-07-04Move `Eq + Hash + Clone` bounds to `Machine`Dylan MacKenzie-5/+1
2018-07-04Avoid overflow in step counterDylan MacKenzie-13/+13
2018-07-04Rename `bloom` to `hashes`Dylan MacKenzie-2/+2
2018-07-04Enable loop detector in step loopDylan MacKenzie-8/+25
2018-07-04Revert "Refactor EvalContext stack and heap into inner struct"Dylan MacKenzie-7/+11
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-11 01:17:19 +0000