Ralf Jung
0b6b7dad8f
fix more indentation
2019-05-27 15:35:48 +02:00
Ralf Jung
a358590679
fix indentation
2019-05-27 15:05:55 +02:00
Ralf Jung
7f3a298f6d
improve macOS-compatibility by being more awful
2019-05-27 15:02:17 +02:00
Ralf Jung
cf96396fcc
make miri script smarter: auto-determine MIRI_SYSROOT, handle MIRI_TEST_TARGET
2019-05-27 14:41:44 +02:00
Ralf Jung
eb85ced8c7
improve backtraces
2019-05-27 13:08:47 +02:00
Ralf Jung
ab1f60c910
comments
2019-05-27 13:04:18 +02:00
Ralf Jung
c2791fc56a
add 'miri' script to help build, test and run miri
2019-05-27 12:51:59 +02:00
Oliver Schneider
27fe263669
Move back to a normal folder structure
2018-05-09 14:37:00 +02:00
Oliver Schneider
ce7605caaa
Fix some bad conversions on 32 bit emulation
2018-05-09 11:52:41 +02:00
Oliver Schneider
e0e1bd7ff7
Pointers must be valid, even pointers to zsts
2018-05-07 18:03:28 +02:00
Oliver Schneider
6653bb38d5
Implement missing intrinsic
2018-05-07 18:02:57 +02:00
Oliver Schneider
0a88698daf
Hide some warnings/Fix build
2018-05-07 10:49:54 +02:00
Oliver Schneider
3ffc237772
Merge pull request #373 from bjorn3/alloc_fix
...
Alloc api fix and tmp disable validation_op because of ICE
2018-05-07 10:48:43 +02:00
Oliver Schneider
7c45bfca75
Merge branch 'rustup' into nightly-fix
2018-05-07 10:47:58 +02:00
Oliver Schneider
0eb3c18565
Use a deterministic method for executing the start lang item
2018-05-07 10:46:32 +02:00
Oliver Schneider
860e2b802f
Dedup tag reading
2018-05-07 10:44:18 +02:00
Oliver Schneider
42ab1351f4
Merge branch 'rustup' into alloc_fix
2018-05-07 10:42:15 +02:00
bjorn3
6bc35f77ce
Fix allocator api and temporarily disable validation_op
2018-05-07 10:38:13 +02:00
Oliver Schneider
b0d3daed40
Rustup
2018-05-07 10:18:45 +02:00
Alexander Regueiro
3d8c7a8dba
Fixed build for latest nightly
2018-05-03 23:29:13 +01:00
Alexander Regueiro
915695371f
Minor fix to get build working
2018-05-03 21:58:53 +01:00
Oliver Schneider
76573bac16
Merge pull request #370 from alexreg/nightly-fix
...
Fixed build for latest rust master
2018-05-01 22:13:52 +02:00
Alexander Regueiro
3dba298f14
Fixed build for latest nightly
2018-05-01 19:39:59 +01:00
bjorn3
ba1c88a3c1
Rustup to rustc 1.27.0-nightly ( 79252ff4e 2018-04-29)
2018-05-01 11:04:01 +02:00
Oliver Schneider
f48fed70d4
Rustup
2018-04-17 14:26:17 +02:00
Oliver Schneider
3f1b2bdd68
Mirror function rename in rustc
2018-04-13 16:25:26 +02:00
Oliver Schneider
95a8771bf1
Fixup various things needed to get miri working on rustc
2018-04-13 16:04:57 +02:00
bjorn3
9d186d914e
Update Cargo.lock and some improvements
2018-04-13 16:04:57 +02:00
bjorn3
7bd20f1b12
Some cleanups
2018-04-13 16:04:57 +02:00
bjorn3
73658c40bb
Remove unsafe code
2018-04-13 16:04:57 +02:00
bjorn3
e09a996b2a
Fix some more tests with some unsafe code
2018-04-13 16:04:57 +02:00
bjorn3
a6cdd8a81b
Fix it
2018-04-13 16:04:57 +02:00
bjorn3
f55d07745f
Fix init_static
2018-04-13 16:04:57 +02:00
bjorn3
878d66692c
Maybe prevent marking statics as immutable
2018-04-13 16:04:57 +02:00
bjorn3
680bcf86f0
Hack: copy init_static from rustc CompileTimeEvaluator to try to fix uninitialized static error
2018-04-13 16:04:57 +02:00
bjorn3
6a85104945
Use elem align as src align in copy intrinsic
2018-04-13 16:04:57 +02:00
bjorn3
4ecbcc5577
Dont claim to have marked static initialized
2018-04-13 16:04:57 +02:00
bjorn3
d4f30aa9c1
Fix alignment issue
2018-04-13 16:04:58 +02:00
Oliver Schneider
cd89e56f15
Get the tests one step further
2018-04-13 16:04:57 +02:00
bjorn3
a3a01ba5b7
Add stack guard shim
2018-04-13 16:04:57 +02:00
bjorn3
753da676ba
Rustup
2018-04-13 16:04:57 +02:00
David Renshaw
d289c0f464
partially deal with rust/46479
2018-01-15 09:47:17 -05:00
David Renshaw
33af3208fd
update for rust/47205
2018-01-14 22:31:59 -05:00
David Renshaw
cabdc5597c
update log deps
2018-01-06 10:21:24 -05:00
David Renshaw
03aa8765b1
pass typecheck
2018-01-02 17:43:03 -05:00
Ariel Ben-Yehuda
a23e587dc3
stop using Instance::def_ty
...
that function has been removed
2017-12-16 21:52:39 -06:00
Oliver Schneider
2671cf34a5
Update to some cleanups in rustc
2017-12-15 10:14:02 +01:00
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
ab0a805440
Use correct alignment
2017-11-27 14:32:09 +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
25e0f5b5db
Rustup
2017-10-16 16:21:49 +02:00
Oliver Schneider
f7f789a547
Use host floats for the intrinsics that we don't have soft float impls for
2017-10-12 11:13:34 +02:00
Oliver Schneider
072c02f9a3
Use numbers instead of indentations
...
Noone can differentiate between 8 and 9 spaces if they aren't aligned
2017-10-06 17:14:12 +02: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
709ab245df
Merge branch 'master' into windows
2017-09-16 15:06:26 +02:00
Oliver Schneider
cf92528426
Add windows support
2017-09-16 14:02:59 +02:00
Ralf Jung
5a5aa49db7
get rid of the --miri_host_target hack
2017-09-16 13:29:38 +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
8cbfbf77f8
Remove #[linkage(foo)] statics from core miri
2017-09-15 13:03:07 +02:00
Ralf Jung
a66f622a98
rustup
2017-09-14 09:55:17 +02:00
Oliver Schneider
bc2f9259e6
rustup
2017-09-09 11:18:02 +02:00
Oliver Schneider
cf25ef9d9d
Implement align_offset intrinsic and thus enabling from_utf8
2017-09-01 12:26:51 +02:00
Oliver Schneider
446ed26412
Add at least the program name argument in order to get rustc tests a little further
2017-08-29 12:26:20 +02:00
Oliver Schneider
88fc45b37c
Get some more rustc tests working
2017-08-29 11:58:22 +02:00
Oliver Schneider
f817f1c660
Get rid of env var race condition once and for all
2017-08-28 17:32:21 +02:00
Oliver Schneider
dd5b0100f3
Merge remote-tracking branch 'origin/master' into memory
2017-08-28 16:13:09 +02:00
Oliver Schneider
7355a1ea28
Remove some unused extern crate
2017-08-28 14:08:31 +02:00
Oliver Schneider
1fce886ac3
Make some things public that are required by priroda
2017-08-28 14:08:10 +02:00
Ralf Jung
b1ca65447a
refactor memory write API to match read API
2017-08-25 19:08:04 +02:00
Ralf Jung
8539728607
memory: make sure we check non-NULL/undef even fore 0-sized accesses
2017-08-25 14:41:59 +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
Ralf Jung
ac49e7c650
only collect backtrace when RUST_BACKTRACE is set; resolve symbols lazily when printing
2017-08-04 10:55:35 -07: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
d05784f23c
Address comments
2017-08-01 11:11:57 +02:00
Oliver Schneider
54ecdf16b3
Remove leftover unused file
2017-08-01 09:56:21 +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
f16b9e280b
Move all intrinsics out of interpret and fail CTFE on intrinsic calls
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
Oliver Schneider
4a4640a331
Move more non-CTFE operations to the Machine
2017-08-01 09:56:21 +02:00
Oliver Schneider
dc6e877ead
Split "new" miri crate into modules
2017-08-01 09:56:21 +02:00
Oliver Schneider
36502a32b0
Implement the first machine function
2017-08-01 09:56:21 +02:00
Oliver Schneider
11e30a65e6
Split up miri into the librustc_mir and bin parts
2017-08-01 09:56:21 +02:00
