Code

Miri engine cleanup#53671

Code

Merged

bors merged 21 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:miri-refactorRalfJung/rust:miri-refactorCopy head branch name to clipboardAug 29, 2018

+1,595-1,405

Commits

Commits on Aug 27, 2018

• Miri Memory Work

  Show description for c141ccf
  RalfJung

  committed
  c141ccf

  Copy full SHA for c141ccf

• without all those copies of constants, we can finally make eval_operand take &self

  RalfJung

  committed
  2592b20

  Copy full SHA for 2592b20

• allow Machine to hook into foreign statics; remove unused HasMemory trait

  RalfJung

  committed
  286fc5c

  Copy full SHA for 286fc5c

• simplify const_to_allocation_provider because it is used for statics only

  RalfJung

  committed
  66d64ba

  Copy full SHA for 66d64ba

• Clean up function calling

  Show description for aa645f3
  RalfJung

  committed
  aa645f3

  Copy full SHA for aa645f3

• terminator/drop.rs is just one fn... merge it together with the other terminator stuff

  RalfJung

  committed
  a5baea6

  Copy full SHA for a5baea6

• switch validation to use operand, not mplace

  Show description for 035c69f
  RalfJung

  committed
  035c69f

  Copy full SHA for 035c69f

• move const_eval out of rustc_mir::interpret

  Show description for ef96a60
  RalfJung

  committed
  ef96a60

  Copy full SHA for ef96a60

• get rid of FinishStatic hack from stack clenaup; const_eval can do that itself

  RalfJung

  committed
  9cfc9f0

  Copy full SHA for 9cfc9f0

• dedicated handling for binops on bool and char (UB if they are not valid)

  RalfJung

  committed
  548b373

  Copy full SHA for 548b373

• validate enum discriminant whenever it is read

  RalfJung

  committed
  89cfd08

  Copy full SHA for 89cfd08

• fix handling of unsized types in validation; validate str to be UTF-8

  RalfJung

  committed
  c898e19

  Copy full SHA for c898e19

• expand comment on how statics work

  RalfJung

  committed
  07bdd48

  Copy full SHA for 07bdd48

• fix len() on non-array but array-layout types (e.g. SIMD)

  RalfJung

  committed
  c38cc89

  Copy full SHA for c38cc89

• get rid of *most* of the fn call hack by honoring mir.spread_arg

  RalfJung

  committed
  5b737db

  Copy full SHA for 5b737db

• use associated const for machine controlling mutable statics

  Show description for 6c78fa8
  RalfJung

  committed
  6c78fa8

  Copy full SHA for 6c78fa8

Commits on Aug 28, 2018

• address nits

  RalfJung

  committed
  f96208c

  Copy full SHA for f96208c

• fix unsized extern types

  RalfJung

  committed
  066d2ee

  Copy full SHA for 066d2ee

• restructure unary_op to also dispatch on type first; fix promotion with unary '-' overflowing

  RalfJung

  committed
  e6a5a94

  Copy full SHA for e6a5a94

• fix const_prop detecting unary neg underflows

  RalfJung

  committed
  506dd70

  Copy full SHA for 506dd70

• first test const-ness, then hook fn call

  RalfJung

  committed
  c9b5fac

  Copy full SHA for c9b5fac