-
Notifications
You must be signed in to change notification settings - Fork 12.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Miri engine cleanup #53671
Miri engine cleanup #53671
Commits on Aug 27, 2018
-
* Unify the two maps in memory to store the allocation and its kind together. * Share the handling of statics between CTFE and miri: The miri engine always uses "lazy" `AllocType::Static` when encountering a static. Acessing that static invokes CTFE (no matter the machine). The machine only has any influence when writing to a static, which CTFE outright rejects (but miri makes a copy-on-write). * Add an `AllocId` to by-ref consts so miri can use them as operands without making copies. * Move responsibilities around for the `eval_fn_call` machine hook: The hook just has to find the MIR (or entirely take care of everything); pushing the new stack frame is taken care of by the miri engine. * Expose the intrinsics and lang items implemented by CTFE so miri does not have to reimplement them.
Configuration menu - View commit details
-
Copy full SHA for c141ccf - Browse repository at this point
Copy the full SHA c141ccfView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2592b20 - Browse repository at this point
Copy the full SHA 2592b20View commit details -
Configuration menu - View commit details
-
Copy full SHA for 286fc5c - Browse repository at this point
Copy the full SHA 286fc5cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 66d64ba - Browse repository at this point
Copy the full SHA 66d64baView commit details -
Still not as clean as I'd like it, but better
Configuration menu - View commit details
-
Copy full SHA for aa645f3 - Browse repository at this point
Copy the full SHA aa645f3View commit details -
terminator/drop.rs is just one fn... merge it together with the other…
… terminator stuff
Configuration menu - View commit details
-
Copy full SHA for a5baea6 - Browse repository at this point
Copy the full SHA a5baea6View commit details -
switch validation to use operand, not mplace
this means we can get rid of the public allocate_op, and make OpTy only constructible in librustc_mir
Configuration menu - View commit details
-
Copy full SHA for 035c69f - Browse repository at this point
Copy the full SHA 035c69fView commit details -
move const_eval out of rustc_mir::interpret
to make sure that it does not access private implementation details
Configuration menu - View commit details
-
Copy full SHA for ef96a60 - Browse repository at this point
Copy the full SHA ef96a60View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9cfc9f0 - Browse repository at this point
Copy the full SHA 9cfc9f0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 548b373 - Browse repository at this point
Copy the full SHA 548b373View commit details -
Configuration menu - View commit details
-
Copy full SHA for 89cfd08 - Browse repository at this point
Copy the full SHA 89cfd08View commit details -
Configuration menu - View commit details
-
Copy full SHA for c898e19 - Browse repository at this point
Copy the full SHA c898e19View commit details -
Configuration menu - View commit details
-
Copy full SHA for 07bdd48 - Browse repository at this point
Copy the full SHA 07bdd48View commit details -
Configuration menu - View commit details
-
Copy full SHA for c38cc89 - Browse repository at this point
Copy the full SHA c38cc89View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5b737db - Browse repository at this point
Copy the full SHA 5b737dbView commit details -
use associated const for machine controlling mutable statics
So get rid of the IsStatic trait again
Configuration menu - View commit details
-
Copy full SHA for 6c78fa8 - Browse repository at this point
Copy the full SHA 6c78fa8View commit details
Commits on Aug 28, 2018
-
Configuration menu - View commit details
-
Copy full SHA for f96208c - Browse repository at this point
Copy the full SHA f96208cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 066d2ee - Browse repository at this point
Copy the full SHA 066d2eeView commit details -
restructure unary_op to also dispatch on type first; fix promotion wi…
…th unary '-' overflowing
Configuration menu - View commit details
-
Copy full SHA for e6a5a94 - Browse repository at this point
Copy the full SHA e6a5a94View commit details -
Configuration menu - View commit details
-
Copy full SHA for 506dd70 - Browse repository at this point
Copy the full SHA 506dd70View commit details -
Configuration menu - View commit details
-
Copy full SHA for c9b5fac - Browse repository at this point
Copy the full SHA c9b5facView commit details