Code

Miri api refactor#50967

Code

Merged

bors merged 42 commits intorust-lang:masterrust-lang/rust:masterfrom

oli-obk:miri_api_refactoroli-obk/rust:miri_api_refactorCopy head branch name to clipboard

May 25, 2018

Commits

Commits on May 24, 2018

• Add constant for `Size::from_bytes(0)`

  oli-obk

  committed
  9cc5d92

  Copy full SHA for 9cc5d92

• Rename PrimVal to Scalar

  oli-obk

  committed
  1606e13

  Copy full SHA for 1606e13

• Rename ByVal(Pair) to Scalar(Pair)

  oli-obk

  committed
  ef2177c

  Copy full SHA for ef2177c

• Differentiate between interpret::Scalar and layout::Scalar

  oli-obk

  committed
  6436de8

  Copy full SHA for 6436de8

• Eliminate the `Pointer` wrapper type

  oli-obk

  committed
  03a92b6

  Copy full SHA for 03a92b6

• Rename MemoryPointer to Pointer

  oli-obk

  committed
  d732463

  Copy full SHA for d732463

• Remove Pointer::zero in favor of Pointer::from

  oli-obk

  committed
  3bbf2fd

  Copy full SHA for 3bbf2fd

• change `Value::Bytes` to `Value::Bits`

  oli-obk

  committed
  64a75ec

  Copy full SHA for 64a75ec

• Floats are scalars!

  oli-obk

  committed
  bf39c7f

  Copy full SHA for bf39c7f

• Use the target types bitsize instead of the source type's

  oli-obk

  committed
  4ca169c

  Copy full SHA for 4ca169c

• Accidentally used byte-size instead of bit-size

  oli-obk

  committed
  9456ba6

  Copy full SHA for 9456ba6

• Rebase fallout

  oli-obk

  committed
  ea8f544

  Copy full SHA for ea8f544

• Formatting nit

  oli-obk

  committed
  edbdf3d

  Copy full SHA for edbdf3d

• Use the destination type size instead of the source type size

  oli-obk

  committed
  1550fd2

  Copy full SHA for 1550fd2

• primval -> scalar rename

  oli-obk

  committed
  f82256e

  Copy full SHA for f82256e

• Update outdated comment

  oli-obk

  committed
  ff652b8

  Copy full SHA for ff652b8

• Remove an instance of `scalar_size` in a `Debug` impl

  oli-obk

  committed
  0da702a

  Copy full SHA for 0da702a

• Get rid of `scalar_size`

  oli-obk

  committed
  cc60a22

  Copy full SHA for cc60a22

• Replace `ScalarKind` with `Primitive`

  oli-obk

  committed
  c420531

  Copy full SHA for c420531

• Remove the last mention of `Undef`

  oli-obk

  committed
  97da01f

  Copy full SHA for 97da01f

• Better variable naming

  oli-obk

  committed
  98e5129

  Copy full SHA for 98e5129

• Printing values should ignore whether bits are undefined

  oli-obk

  committed
  09a996b

  Copy full SHA for 09a996b

• Printing a fn definition needs to know nothing about its ZST's value

  oli-obk

  committed
  bc3ba91

  Copy full SHA for bc3ba91

• Ensure llvm doesn't trigger an assert for crazy transmutes

  oli-obk

  committed
  ca8c27e

  Copy full SHA for ca8c27e

• Simplify a ScalarPair creation

  oli-obk

  committed
  1a2964a

  Copy full SHA for 1a2964a

• Don't ICE on horrible transmutes in pattern constants

  oli-obk

  committed
  c6d25dc

  Copy full SHA for c6d25dc

• Only defined bits are relevant

  oli-obk

  committed
  50628b7

  Copy full SHA for 50628b7

• Reuse `to_bits` instead of badly reinventing it

  oli-obk

  committed
  cfd5fb5

  Copy full SHA for cfd5fb5

• Properly check defined bits range

  oli-obk

  committed
  879d8f7

  Copy full SHA for 879d8f7

• Remove `ty_to_primitive`

  oli-obk

  committed
  f1ea9ef

  Copy full SHA for f1ea9ef

• Sanity check the `bits` argument to the `from_bits` function

  oli-obk

  committed
  1f9fa53

  Copy full SHA for 1f9fa53

• Wrongly named a closure `clamp` when it was doing truncation

  oli-obk

  committed
  569ae80

  Copy full SHA for 569ae80

• `tcx.lift_to_global` > `tcx.global_tcx().lift`

  oli-obk

  committed
  bdd23bf

  Copy full SHA for bdd23bf

• Add missing newlines

  oli-obk

  committed
  d0610fd

  Copy full SHA for d0610fd

• Remove dead code

  oli-obk

  committed
  6d513f7

  Copy full SHA for 6d513f7

• Prefer `to_value_with_len` over manual expanison of it

  oli-obk

  committed
  80a1488

  Copy full SHA for 80a1488

• Use in-band-lifetimes instead of unused explicit lifetimes

  oli-obk

  committed
  5c8741f

  Copy full SHA for 5c8741f

• Rename `amt` variables to `shift`

  oli-obk

  committed
  85de4ef

  Copy full SHA for 85de4ef

• Revert "Ensure llvm doesn't trigger an assert for crazy transmutes"

  Show description for fb9060a
  oli-obk

  committed
  fb9060a

  Copy full SHA for fb9060a

Commits on May 25, 2018

• Update comment

  oli-obk

  committed
  eceeb63

  Copy full SHA for eceeb63

• Sanity abort `to_bits` if used on zsts

  oli-obk

  committed
  50d3783

  Copy full SHA for 50d3783

• Adjust test for 32 bit targets

  oli-obk

  committed
  5f599bb

  Copy full SHA for 5f599bb