Oliver Schneider
bde093fa14
Move validation from rustc to miri
2017-12-14 11:35:33 +01:00
Oliver Schneider
eccf680b5d
Remove type_size and type_align calls
2017-12-06 15:03:24 +01:00
Oliver Schneider
dd630a2a26
Rename lvalue to place
2017-12-06 08:39:31 +01:00
Oliver Schneider
bf26b96dc7
Update to latest rustc changes
2017-12-05 17:06:03 +01:00
Oliver Schneider
a107f14ed8
Rustup after layout optimizations
2017-11-21 13:32:40 +01:00
Oliver Schneider
6dbfe23c4d
Rustup
2017-11-02 11:15:50 +01:00
Oliver Schneider
52599adf27
Miri core has moved to rustc::mir::interpret
2017-10-06 17:13:59 +02:00
Ralf Jung
a8980fd5e8
use exchange_malloc lang item for Box statements
2017-09-25 15:55:21 +02:00
Oliver Schneider
cf92528426
Add windows support
2017-09-16 14:02:59 +02:00
Ralf Jung
060bb2fa9f
use ui test mode rather than mir-opt
...
These tests are not run per default
2017-09-16 12:36:31 +02:00
Oliver Schneider
bc2f9259e6
rustup
2017-09-09 11:18:02 +02:00
Oliver Schneider
88fc45b37c
Get some more rustc tests working
2017-08-29 11:58:22 +02:00
Ralf Jung
b1ca65447a
refactor memory write API to match read API
2017-08-25 19:08:04 +02:00
Oliver Schneider
9ede346ee2
Refactoring: Couple values and types into an object when passed around together
2017-08-24 14:42:42 +02:00
Ralf Jung
1326aed02c
rustfmt
...
Except for error.rs, the result there looks rather ugly
2017-08-10 08:48:41 -07:00
Oliver Schneider
81f5de7f05
rename memory::Kind to memory::MemoryKind
2017-08-09 14:53:22 +02:00
Oliver Schneider
bba753deac
c_int != usize
2017-08-08 17:09:26 +02:00
Oliver Schneider
8ab1eeef51
Implement packed statics
2017-08-08 17:09:26 +02:00
Oliver Schneider
181851fc6b
Always allocate for globals
...
statics are rare and constants are copied anyway.
Reading from a constant should then yield a `ByVal` again if possible.
2017-08-08 17:09:26 +02:00
Oliver Schneider
29a3c4d28c
Produce backtraces for miri internals
2017-08-02 16:59:01 +02:00
Oliver Schneider
393216d410
Add a better error message than syscall 318 not found
2017-08-01 16:12:29 +02:00
Oliver Schneider
23d351d6d4
Move tls code to its own file
2017-08-01 09:56:21 +02:00
Oliver Schneider
adfea61665
Allow machines to create new memory kinds
2017-08-01 09:56:21 +02:00
Oliver Schneider
e5799a6af3
Reduce the chance of accidentally calling functions in CTFE
...
previously miri had a check for const fn and other cases that
CTFE requires. Instead the function call is completely
processed inside the machine. This allows CTFE to have full
control over what is called and miri to not have useless
CTFE-checks in normal mode.
2017-08-01 09:56:21 +02:00
