diff options
| author | Ralf Jung <post@ralfj.de> | 2018-08-23 19:04:33 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2018-08-27 18:12:49 +0200 |
| commit | c141ccf158d8c660ef20a51104b701b4eb37822b (patch) | |
| tree | 1e27be9f8ec89be350ca2423a7c3e8a5762e1400 /src/test/incremental/thinlto | |
| parent | b638d8c75f4e38c75c5caa52b10b18a350431687 (diff) | |
| download | rust-c141ccf158d8c660ef20a51104b701b4eb37822b.tar.gz rust-c141ccf158d8c660ef20a51104b701b4eb37822b.zip | |
Miri Memory Work
* 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.
Diffstat (limited to 'src/test/incremental/thinlto')
0 files changed, 0 insertions, 0 deletions