Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Miri engine refactoring #55915

Merged
merged 34 commits into from
Nov 25, 2018
Merged

Miri engine refactoring #55915

merged 34 commits into from
Nov 25, 2018

Commits on Nov 24, 2018

  1. Move some methods from Memory to Allocation

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    98cd2ad View commit details
    Browse the repository at this point in the history

  2. Preliminary code adjustment to let the compiler complain about missin… 

    …g methods
    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    d40a771 View commit details
    Browse the repository at this point in the history

  3. Move relocation methods from Memory to Allocation

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    eb30ce8 View commit details
    Browse the repository at this point in the history

  4. Move undef mask methods from Memory to Allocation

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    d98c46c View commit details
    Browse the repository at this point in the history

  5. Move alignment and bounds check from Memory to Allocation

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    7c9d786 View commit details
    Browse the repository at this point in the history

  6. Adjust generics to Allocation parameters

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    c392fbb View commit details
    Browse the repository at this point in the history

  7. Access self instead of alloc

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    04210f3 View commit details
    Browse the repository at this point in the history

  8. Fiddle a HasDataLayout through the allocation methods

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    ad11856 View commit details
    Browse the repository at this point in the history

  9. Move some byte and scalar accessors from Memory to Allocation

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    9ecde57 View commit details
    Browse the repository at this point in the history

  10. Adjust rustc_mir::interpret to changes in Allocation/Memory methods

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    07e7804 View commit details
    Browse the repository at this point in the history

  11. Remove unnecessary Result (function always returned Ok)

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    3a0e825 View commit details
    Browse the repository at this point in the history

  12. Make zst accesses in allocations take the regular path. 

    Speeding up zst accesses should be done on a higher level.
    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    a835555 View commit details
    Browse the repository at this point in the history

  13. Make a method that doesn't need Self a free function instead

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    df1ed0c View commit details
    Browse the repository at this point in the history

  14. Add regression test for integral pointers in zst str slice fat pointers

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    20dee47 View commit details
    Browse the repository at this point in the history

  15. Reorder methods in allocation.rs

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    cc2f46e View commit details
    Browse the repository at this point in the history

  16. Properly test for int pointers in fat pointers to str slices of zero … 

    …chars
    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    ebf0336 View commit details
    Browse the repository at this point in the history

  17. Reintroduce zst-slice reading read_bytes method on Memory

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    ef33295 View commit details
    Browse the repository at this point in the history

  18. Remove stderr file, because the test passes now

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    87bd5d1 View commit details
    Browse the repository at this point in the history

  19. Update miri submodule

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    65b702c View commit details
    Browse the repository at this point in the history

  20. Clean up array/slice of primitive validation

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    b820cc7 View commit details
    Browse the repository at this point in the history

  21. Rebase fallout

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    d3139b9 View commit details
    Browse the repository at this point in the history

  22. Explain early abort legality

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    1c08ced View commit details
    Browse the repository at this point in the history

  23. Move alignment checks out of Allocation

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    8b04b09 View commit details
    Browse the repository at this point in the history

  24. Explain {read,write}_scalar failure to cope with zsts

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    9d57adf View commit details
    Browse the repository at this point in the history

  25. Use correct alignment for fat pointer extra part

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    927c5aa View commit details
    Browse the repository at this point in the history

  26. Use correct alignment checks for scalars and zsts, too

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    9b8e82a View commit details
    Browse the repository at this point in the history

  27. comment nit 

    Co-Authored-By: oli-obk <github35764891676564198441@oli-obk.de>
    @RalfJung @oli-obk
    RalfJung and oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    10102d1 View commit details
    Browse the repository at this point in the history

  28. Array and slice projections need to update the place alignment

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    a5ef2d1 View commit details
    Browse the repository at this point in the history

  29. tidy

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    cb8fa33 View commit details
    Browse the repository at this point in the history

  30. Document Allocation

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    972d798 View commit details
    Browse the repository at this point in the history

  31. Factor out mplace offsetting into its own method

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    2287219 View commit details
    Browse the repository at this point in the history

  32. Explain why vtable generation needs no alignment checks

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    3220c0c View commit details
    Browse the repository at this point in the history

  33. update miri submodule

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    360f988 View commit details
    Browse the repository at this point in the history

  34. Rebase fallout

    @oli-obk
    oli-obk committed Nov 24, 2018
    Configuration menu
    Copy the full SHA
    b853252 View commit details
    Browse the repository at this point in the history