Code

Miri engine refactoring#55915

Code

Merged

bors merged 34 commits intorust-lang:masterrust-lang/rust:masterfrom oli-obk:miri_engine_refactoringoli-obk/rust:miri_engine_refactoringCopy head branch name to clipboardNov 25, 2018

Commits

Commits on Nov 24, 2018

• Move some methods from Memory to Allocation

  oli-obk

  committed
  98cd2ad

  Copy full SHA for 98cd2ad

• Preliminary code adjustment to let the compiler complain about missing methods

  oli-obk

  committed
  d40a771

  Copy full SHA for d40a771

• Move relocation methods from Memory to Allocation

  oli-obk

  committed
  eb30ce8

  Copy full SHA for eb30ce8

• Move undef mask methods from Memory to Allocation

  oli-obk

  committed
  d98c46c

  Copy full SHA for d98c46c

• Move alignment and bounds check from Memory to Allocation

  oli-obk

  committed
  7c9d786

  Copy full SHA for 7c9d786

• Adjust generics to Allocation parameters

  oli-obk

  committed
  c392fbb

  Copy full SHA for c392fbb

• Access self instead of alloc

  oli-obk

  committed
  04210f3

  Copy full SHA for 04210f3

• Fiddle a HasDataLayout through the allocation methods

  oli-obk

  committed
  ad11856

  Copy full SHA for ad11856

• Move some byte and scalar accessors from Memory to Allocation

  oli-obk

  committed
  9ecde57

  Copy full SHA for 9ecde57

• Adjust rustc_mir::interpret to changes in Allocation/Memory methods

  oli-obk

  committed
  07e7804

  Copy full SHA for 07e7804

• Remove unnecessary Result (function always returned Ok)

  oli-obk

  committed
  3a0e825

  Copy full SHA for 3a0e825

• Make zst accesses in allocations take the regular path.

  Show description for a835555
  oli-obk

  committed
  a835555

  Copy full SHA for a835555

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

  oli-obk

  committed
  df1ed0c

  Copy full SHA for df1ed0c

• Add regression test for integral pointers in zst str slice fat pointers

  oli-obk

  committed
  20dee47

  Copy full SHA for 20dee47

• Reorder methods in allocation.rs

  oli-obk

  committed
  cc2f46e

  Copy full SHA for cc2f46e

• Properly test for int pointers in fat pointers to str slices of zero chars

  oli-obk

  committed
  ebf0336

  Copy full SHA for ebf0336

• Reintroduce zst-slice reading read_bytes method on Memory

  oli-obk

  committed
  ef33295

  Copy full SHA for ef33295

• Remove stderr file, because the test passes now

  oli-obk

  committed
  87bd5d1

  Copy full SHA for 87bd5d1

• Update miri submodule

  oli-obk

  committed
  65b702c

  Copy full SHA for 65b702c

• Clean up array/slice of primitive validation

  oli-obk

  committed
  b820cc7

  Copy full SHA for b820cc7

• Rebase fallout

  oli-obk

  committed
  d3139b9

  Copy full SHA for d3139b9

• Explain early abort legality

  oli-obk

  committed
  1c08ced

  Copy full SHA for 1c08ced

• Move alignment checks out of Allocation

  oli-obk

  committed
  8b04b09

  Copy full SHA for 8b04b09

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

  oli-obk

  committed
  9d57adf

  Copy full SHA for 9d57adf

• Use correct alignment for fat pointer extra part

  oli-obk

  committed
  927c5aa

  Copy full SHA for 927c5aa

• Use correct alignment checks for scalars and zsts, too

  oli-obk

  committed
  9b8e82a

  Copy full SHA for 9b8e82a

• comment nit

  Show description for 10102d1
  

  RalfJung

  and

  oli-obk

  committed
  10102d1

  Copy full SHA for 10102d1

• Array and slice projections need to update the place alignment

  oli-obk

  committed
  a5ef2d1

  Copy full SHA for a5ef2d1

• tidy

  oli-obk

  committed
  cb8fa33

  Copy full SHA for cb8fa33

• Document Allocation

  oli-obk

  committed
  972d798

  Copy full SHA for 972d798

• Factor out mplace offsetting into its own method

  oli-obk

  committed
  2287219

  Copy full SHA for 2287219

• Explain why vtable generation needs no alignment checks

  oli-obk

  committed
  3220c0c

  Copy full SHA for 3220c0c

• update miri submodule

  oli-obk

  committed
  360f988

  Copy full SHA for 360f988

• Rebase fallout

  oli-obk

  committed
  b853252

  Copy full SHA for b853252