Oliver Schneider
|
55fd060cd8
|
don't use #[miri_run] anymore, but execute the main function
|
2016-06-13 15:33:05 +02:00 |
|
Oliver Schneider
|
fe9b455006
|
comment nit
|
2016-06-13 15:32:08 +02:00 |
|
Oliver Schneider
|
4d090fa693
|
report better errors when using a fn ptr as memory and vice versa
|
2016-06-13 11:39:15 +02:00 |
|
Oliver Schneider
|
3aa585e421
|
Merge remote-tracking branch 'origin/master' into function_pointers2
|
2016-06-13 11:24:01 +02:00 |
|
Scott Olson
|
024b3d2b45
|
Merge remote-tracking branch 'oli/function_pointers2' into fixup-function_pointers2
|
2016-06-11 16:46:01 -06:00 |
|
Scott Olson
|
1c58b7c2ed
|
Add hacky stub version of CheckedBinaryOp.
|
2016-06-11 13:10:42 -06:00 |
|
Scott Olson
|
71188ea2df
|
Remove inception test for now.
|
2016-06-11 13:10:25 -06:00 |
|
Scott Olson
|
947e9a5c31
|
Fix infinite loop when debug trace is disabled.
|
2016-06-11 12:38:50 -06:00 |
|
Scott Olson
|
781c3a6660
|
Update for changes in rustc nightly.
|
2016-06-11 12:38:28 -06:00 |
|
Oliver Schneider
|
384623daa7
|
function pointers
|
2016-06-10 18:06:36 +02:00 |
|
Oliver Schneider
|
67211218f0
|
display the full path to the function if no MIR is found
|
2016-06-10 18:04:12 +02:00 |
|
Oliver Schneider
|
9780729104
|
we already have the constant's type, no need to recompute from the def_id
|
2016-06-10 18:04:12 +02:00 |
|
Oliver Schneider
|
cea2a8ae9e
|
adjust lifetimes and bindings to the GlobalEvalContext -> EvalContext rename
|
2016-06-10 16:56:04 +02:00 |
|
Oliver Schneider
|
9c8f84caf7
|
style nit
|
2016-06-10 16:32:39 +02:00 |
|
Oliver Schneider
|
4fa328ef5f
|
remove unused method
|
2016-06-10 16:20:25 +02:00 |
|
Oliver Schneider
|
6af821f202
|
rename GlobalEvalContext to EvalContext
|
2016-06-10 16:20:17 +02:00 |
|
Oliver Schneider
|
b3c1713b89
|
expose a minimal API and use it in the binary
|
2016-06-10 13:01:51 +02:00 |
|
Oliver Schneider
|
3b804942fd
|
simplify the stepper interface
|
2016-06-10 12:34:15 +02:00 |
|
Oliver Schneider
|
8c3a066d8d
|
get rid of the constants cache in the stepper
this is possible due to the removal of `FnEvalContext`
|
2016-06-09 17:24:42 +02:00 |
|
Oliver Schneider
|
336206cec2
|
the type_size method's substs argument allows computing the locals before pushing the stack frame
|
2016-06-09 17:23:58 +02:00 |
|
Oliver Schneider
|
2dbd82d296
|
inline the call method into interpret_start_points
|
2016-06-09 16:49:40 +02:00 |
|
Oliver Schneider
|
fc935c10f8
|
print errors in one central location
|
2016-06-09 16:13:42 +02:00 |
|
Oliver Schneider
|
ba9e25b2eb
|
No more terminators
|
2016-06-09 16:08:34 +02:00 |
|
Oliver Schneider
|
8fec1a7aa7
|
merge FnEvalContext into GlobalEvalContext
|
2016-06-09 16:01:53 +02:00 |
|
Oliver Schneider
|
05eaa522a5
|
rename static_item to global_item
|
2016-06-09 11:27:12 +02:00 |
|
Oliver Schneider
|
040a501a68
|
make sure globals that yield function pointers aren't treated like functions
|
2016-06-09 11:27:02 +02:00 |
|
Oliver Schneider
|
225a6a272d
|
we already have the constant's type, no need to recompute from the def_id
|
2016-06-09 11:16:09 +02:00 |
|
Oliver Schneider
|
59d858a0b1
|
refactor away the closures and Event enum
|
2016-06-09 10:56:23 +02:00 |
|
Oliver Schneider
|
cbbf58bbaa
|
the statement/terminator has already been computed, don't do it again
|
2016-06-08 12:47:24 +02:00 |
|
Oliver Schneider
|
2178961262
|
improve the docs of ConstantId
|
2016-06-08 12:35:15 +02:00 |
|
Oliver Schneider
|
240f0c0dd6
|
improve fn argument naming
|
2016-06-08 12:30:25 +02:00 |
|
Oliver Schneider
|
3868a62713
|
put ConstantId's common fields into a struct
|
2016-06-08 11:46:37 +02:00 |
|
Oliver Schneider
|
3de30e33f5
|
no more function pointers
|
2016-06-08 11:34:56 +02:00 |
|
Oliver Schneider
|
8b25bc8a9a
|
directly push stackframes for constants when they are encountered
|
2016-06-08 11:11:33 +02:00 |
|
Oliver Schneider
|
6b939bbd79
|
rebase leftovers
|
2016-06-08 11:11:08 +02:00 |
|
Oliver Schneider
|
1f27d3f7b3
|
don't cache the MIR in the Stepper
|
2016-06-08 10:26:48 +02:00 |
|
Oliver Schneider
|
c881cf10d8
|
clippy nits
|
2016-06-08 09:41:28 +02:00 |
|
Oliver Schneider
|
f42be6db54
|
move load_mir to the global eval context
|
2016-06-08 09:41:25 +02:00 |
|
Oliver Schneider
|
4d44a970a3
|
move some methods from FnEvalContext to GlobalEvalContext
|
2016-06-08 09:38:59 +02:00 |
|
Oliver Schneider
|
4c833a54d2
|
globally cache statics and promoteds
|
2016-06-03 17:41:36 +02:00 |
|
Oliver Schneider
|
4743842821
|
move constants stack to stackframe
|
2016-06-03 17:08:51 +02:00 |
|
Oliver Schneider
|
02eed64cc0
|
update documentation
|
2016-06-03 17:04:08 +02:00 |
|
Oliver Schneider
|
346560b318
|
factor out the statement index into the stackframe
|
2016-06-03 16:57:47 +02:00 |
|
Oliver Schneider
|
f995db9ffb
|
store the current block in the frame
|
2016-06-03 16:51:51 +02:00 |
|
Oliver Schneider
|
cc1ca73f57
|
jit interpretation of constants
|
2016-06-03 15:48:56 +02:00 |
|
Oliver Schneider
|
05f829cc9f
|
merge the three stacks in the interpreter
|
2016-06-02 18:21:32 +02:00 |
|
Oliver Schneider
|
38ae3526e5
|
remove a debug message that snuck into the commit
|
2016-06-02 18:03:22 +02:00 |
|
Oliver Schneider
|
6ac64f19af
|
also step through promoteds, constants and statics
|
2016-06-02 17:05:17 +02:00 |
|
Oliver Schneider
|
5211178377
|
note that not all literal items are function pointers
|
2016-06-01 19:20:23 +02:00 |
|
Oliver Schneider
|
0c269a500c
|
rename iterator module to stepper
|
2016-06-01 19:17:18 +02:00 |
|
Oliver Schneider
|
77e1ec2b49
|
style: spaces between functions
|
2016-06-01 19:01:40 +02:00 |
|
Oliver Schneider
|
2405c81c65
|
stepwise interpretation
|
2016-06-01 18:50:20 +02:00 |
|
Oliver Schneider
|
5a8b0ab579
|
don't clone the MIR Rc in every iteration
|
2016-06-01 18:50:20 +02:00 |
|
Oliver Schneider
|
8398781132
|
remove one layer of indirection when interpreting const/static/main functions
|
2016-06-01 18:50:20 +02:00 |
|
Oliver Schneider
|
e73fa7733d
|
can't evaluate failed assertions yet
|
2016-06-01 18:50:20 +02:00 |
|
Oliver Schneider
|
fee3a2c1a7
|
remove intermediate vars
|
2016-06-01 18:42:57 +02:00 |
|
Oliver Schneider
|
af41c54301
|
use format! compile time magics for indentation
|
2016-06-01 18:33:29 +02:00 |
|
Oliver Schneider
|
c62cce3116
|
wraparound when reaching indentation lvl 40
|
2016-06-01 18:18:01 +02:00 |
|
Oliver Schneider
|
b7df4fdc75
|
use a number for the maximum indentation instead of relying on str::len()
|
2016-06-01 17:58:50 +02:00 |
|
Oliver Schneider
|
f9a5416135
|
use MIRI_LOG instead of RUST_LOG, because rustc's output is very verbose
|
2016-06-01 17:32:57 +02:00 |
|
Oliver Schneider
|
f1e4ef6c6f
|
re-introduce the module name to the logs and show vertical bars
|
2016-06-01 11:47:55 +02:00 |
|
Oliver Schneider
|
4f3f2020ed
|
add the log crate + env_logger to be able to choose the log granularity at runtime
|
2016-06-01 11:47:41 +02:00 |
|
Oliver Schneider
|
f910019da1
|
add a note to Memory::new mentioning tcx.data_layout
|
2016-06-01 11:24:23 +02:00 |
|
Oliver Schneider
|
29516c3129
|
improve out of bounds error message
|
2016-06-01 11:22:37 +02:00 |
|
Oliver Schneider
|
12c2e5fab2
|
4byte pointers
|
2016-06-01 11:10:43 +02:00 |
|
Oliver Schneider
|
b78ca5f7e1
|
replace panic!s with Result
|
2016-06-01 11:10:43 +02:00 |
|
Oliver Schneider
|
cecae8050e
|
remove unnecessary printlns for benchmarks
|
2016-05-30 13:40:46 +02:00 |
|
Oliver Schneider
|
c55b3666ea
|
clippy nit
|
2016-05-27 16:12:17 +02:00 |
|
Scott Olson
|
8961063c60
|
Handle some cases of StructWrappedNullablePointer.
... plus a bunch of minor refactorings.
|
2016-05-25 00:39:12 -06:00 |
|
Scott Olson
|
3ba923701f
|
Update for changes in rustc nightly.
|
2016-05-13 22:34:50 -06:00 |
|
Scott Olson
|
f63206ed2f
|
Handle discriminant_value intrinsic.
|
2016-05-09 23:41:57 -06:00 |
|
Scott Olson
|
2d32503409
|
Support C ABI memcmp function.
|
2016-05-09 21:53:20 -06:00 |
|
Scott Olson
|
b9c37124be
|
Handle size_of_val for slice types.
|
2016-05-09 21:01:12 -06:00 |
|
Scott Olson
|
6d9a748858
|
Handle size_of_val for sized types.
|
2016-05-09 20:44:42 -06:00 |
|
Scott Olson
|
382dc0ccb2
|
Update for my github username change.
|
2016-05-09 20:08:37 -06:00 |
|
Scott Olson
|
ddfbb655e1
|
Handle statics.
|
2016-05-09 20:03:13 -06:00 |
|
Scott Olson
|
b859444562
|
Do or do not.
|
2016-05-09 18:52:53 -06:00 |
|
Scott Olson
|
753971a4c5
|
Handle promoted rvalues by recursing with call_nested.
|
2016-05-09 18:21:52 -06:00 |
|
Scott Olson
|
49b6349577
|
Update to a new nightly.
|
2016-05-09 15:32:18 -06:00 |
|
Scott Olson
|
a6b9b165c3
|
Handle CEnum layouts with signed representations.
|
2016-05-08 19:49:07 -06:00 |
|
Scott Olson
|
5f07e2ebd3
|
Merge branch 'new-data-layout'
|
2016-05-08 19:31:28 -06:00 |
|
Scott Olson
|
d288472b29
|
Handle CEnum layouts with unsigned representations.
|
2016-05-08 19:29:07 -06:00 |
|
Scott Olson
|
9e289fa0aa
|
Fully handle RawNullablePointer layout.
|
2016-04-30 01:04:17 -06:00 |
|
Scott Olson
|
30f07f3d7f
|
Re-implement support for downcast lvalues.
|
2016-04-29 23:32:15 -06:00 |
|
Andre Bogus
|
7cb6c0dbfe
|
back out similar_names change
|
2016-04-29 17:47:10 +02:00 |
|
Andre Bogus
|
de64670de0
|
Fixed some clippy warnings
|
2016-04-29 06:01:17 +02:00 |
|
Scott Olson
|
3fd2ee9ddc
|
Remove unused eval_operand_and_layout fn.
|
2016-04-23 20:46:27 -06:00 |
|
Scott Olson
|
500cd25627
|
Add missing boolean binops.
|
2016-04-23 20:13:00 -06:00 |
|
Scott Olson
|
2db3597b56
|
Implement boolean binops.
|
2016-04-23 00:39:38 -06:00 |
|
Scott Olson
|
6f50289d43
|
Fix lvalue projections with fat pointer bases.
|
2016-04-23 00:26:10 -06:00 |
|
Scott Olson
|
4a863c2a6a
|
Replace Repr with the new ty::layout in rustc.
Lvalues still need work (see lvalue_layout).
|
2016-04-23 00:03:59 -06:00 |
|
Oliver Schneider
|
ef5fc75c35
|
various testing improvements
|
2016-04-22 20:09:00 +02:00 |
|
Oliver Schneider
|
211c12a1d0
|
use compiletest_rs
|
2016-04-22 10:34:14 +02:00 |
|
Scott Olson
|
e81d88d236
|
Use 8-byte pointers on 32-bit hosts for now.
This will be target-dependent and host-independent eventually.
|
2016-04-15 03:28:18 -06:00 |
|
Scott Olson
|
84f21584ea
|
Fix drop fill checking on 32-bit hosts.
|
2016-04-15 03:16:35 -06:00 |
|
Scott Olson
|
926bbba459
|
Fix over-long bitshift on 32-bit hosts.
Fixes #4. (Hopefully.)
|
2016-04-14 17:39:06 -06:00 |
|
Pascal Hertleif
|
6abfa56b20
|
Update to Rust Nightly 2016-04-11
|
2016-04-14 00:01:00 +02:00 |
|
Scott Olson
|
a69ad6703f
|
Store AllocIds directly in allocation map.
|
2016-04-09 19:31:53 -06:00 |
|
Scott Olson
|
910ad2a391
|
Implement filling drop.
|
2016-04-07 05:56:07 -06:00 |
|
Scott Olson
|
6be14eab15
|
Handle missing allocations in Memory::dump.
|
2016-04-07 03:07:57 -06:00 |
|
Scott Olson
|
1f6583fe06
|
Implement drop/deallocation for Box.
|
2016-04-07 03:02:02 -06:00 |
|
Scott Olson
|
bef57b291b
|
Simplify intrinsic/c_abi call argument evaluation.
|
2016-04-07 02:02:30 -06:00 |
|
Scott Olson
|
f97eb35222
|
Change debug log format.
|
2016-04-06 19:28:40 -06:00 |
|
Scott Olson
|
6a99779740
|
Rename ty_size -> type_size and ty_to_repr -> type_repr.
|
2016-04-06 19:01:00 -06:00 |
|
Scott Olson
|
c55320a3db
|
Update for changes in rustc master.
|
2016-04-06 19:00:34 -06:00 |
|
Scott Olson
|
f4dce09c97
|
Print sizes in allocation dumps.
|
2016-04-06 17:33:24 -06:00 |
|
Scott Olson
|
f472018fbb
|
Partially implement reallocation (e.g. for growing Vecs).
|
2016-04-06 17:29:56 -06:00 |
|
Scott Olson
|
284404da06
|
Fix undef mask initialization and test undef reads.
|
2016-04-06 04:35:25 -06:00 |
|
Scott Olson
|
dbd8a82643
|
Add a test for overwriting part of a relocation.
|
2016-04-06 04:19:56 -06:00 |
|
Scott Olson
|
c08ddaaa48
|
Implement a naive, slow version of undef mask copying.
|
2016-04-06 04:08:52 -06:00 |
|
Scott Olson
|
8a0aa9291a
|
Switch to bitmask-based undef mask.
|
2016-04-06 03:45:06 -06:00 |
|
Scott Olson
|
bdba4641cc
|
Rearrange code in memory.rs.
|
2016-04-04 20:33:41 -06:00 |
|
Scott Olson
|
682742c223
|
Print terminator kinds (without spans) when debugging.
|
2016-04-04 20:07:22 -06:00 |
|
Scott Olson
|
e72d8f8dc6
|
Update for changes in rustc master.
|
2016-03-31 22:34:07 -06:00 |
|
Scott Olson
|
d25ddb3130
|
Add stack traces to error notes.
|
2016-03-30 22:04:53 -06:00 |
|
Scott Olson
|
17df5cfec3
|
Move substs stack management into main stack managment fns.
|
2016-03-29 22:13:31 -06:00 |
|
Scott Olson
|
6a8bb2c1c0
|
Add initial error reporting via rustc's interface.
|
2016-03-29 19:09:32 -06:00 |
|
Scott Olson
|
e4dcdcab65
|
Remove unnecessary Result return in push_stack_frame.
|
2016-03-29 19:08:45 -06:00 |
|
Scott Olson
|
63fdd46f9a
|
Handle custom discriminant values and detect invalid discriminants.
|
2016-03-28 21:08:16 -06:00 |
|
Scott Olson
|
1861dbc2ab
|
Update for changes in rustc master.
|
2016-03-28 17:43:23 -06:00 |
|
Scott Olson
|
62294d0c42
|
Mark bytes undefined in uninit intrinsic.
|
2016-03-28 16:37:07 -06:00 |
|
Scott Olson
|
56e118f86c
|
Mark partially-overwritten relocations as undefined.
|
2016-03-27 00:29:02 -06:00 |
|
Scott Olson
|
62fab9268e
|
Fix bug where &str's lengths were not copied.
|
2016-03-26 23:57:14 -06:00 |
|
Scott Olson
|
acf2ceb534
|
Check for undefinedness when reading from memory.
|
2016-03-26 23:56:49 -06:00 |
|
Scott Olson
|
68ccf3904e
|
Add method for checking if a range is defined in an allocation.
|
2016-03-26 23:25:35 -06:00 |
|
Scott Olson
|
33e924d383
|
Add undefined byte tracking.
|
2016-03-26 22:25:08 -06:00 |
|
Scott Olson
|
5451b6115b
|
Reorganize memory methods.
|
2016-03-23 21:40:58 -06:00 |
|
Scott Olson
|
87458955dd
|
Refactor memory/allocation handling.
|
2016-03-23 19:44:05 -06:00 |
|
Scott Olson
|
f96c76e878
|
Use Box<[u8]> instead of Vec<u8> for allocations.
|
2016-03-22 00:48:28 -06:00 |
|
Scott Olson
|
e6c58d8277
|
Assert the absence of fat pointers more often.
|
2016-03-21 18:51:08 -06:00 |
|
Scott Olson
|
69c41f5372
|
Write the correct size for PrimVall::IntegerPtr.
|
2016-03-21 05:42:42 -06:00 |
|
Scott Olson
|
600ff26e65
|
Refactor handling of relocations.
|
2016-03-21 05:27:34 -06:00 |
|
Scott Olson
|
59e25cc52c
|
Hide execution traces (they are getting long...)
|
2016-03-21 04:19:27 -06:00 |
|
Scott Olson
|
3fc9b7dd2c
|
Make more MIR match statements exhaustive.
|
2016-03-21 04:01:52 -06:00 |
|
Scott Olson
|
69f41facb9
|
Support intrinsics::overflowing_sub for vec![x; n].
|
2016-03-21 03:42:34 -06:00 |
|
Scott Olson
|
dc5fbf17ca
|
Support [x; N] array repeat rvalues.
|
2016-03-21 03:34:24 -06:00 |
|
Scott Olson
|
6eef7cc01a
|
Make mir::Rvalue handling exhaustive (some still unimplemented).
|
2016-03-21 03:19:48 -06:00 |
|
Scott Olson
|
877d2d900e
|
Abort miri if the Rust code had compilation errors.
|
2016-03-21 02:54:20 -06:00 |
|
Scott Olson
|
207463d9a0
|
Add array indexing for-loop test.
|
2016-03-21 02:37:31 -06:00 |
|
Scott Olson
|
2994732a81
|
Remove debug print.
|
2016-03-21 01:04:50 -06:00 |
|
Scott Olson
|
0de1bbefd5
|
Refactor isize/usize read/writes.
|
2016-03-20 23:24:27 -06:00 |
|
Scott Olson
|
95e225d765
|
Monomorphize lvalue types.
|
2016-03-20 23:11:06 -06:00 |
|
Scott Olson
|
49e8d3ef5e
|
Simplify handling of Result in eval_assignment.
|
2016-03-20 23:09:27 -06:00 |
|
Scott Olson
|
f7d0e0423b
|
Support fat pointer reborrowing, length checking.
|
2016-03-20 22:59:13 -06:00 |
|
Scott Olson
|
dbd01d071a
|
Refactor some names.
|
2016-03-20 22:07:25 -06:00 |
|
Scott Olson
|
40d0a1f67f
|
Implement length access and indexing for fixed-sized arrays.
|
2016-03-20 21:30:31 -06:00 |
|
Scott Olson
|
62c5083f30
|
Reduce duplication for integer reprs.
|
2016-03-20 20:33:46 -06:00 |
|
Scott Olson
|
c8781e3c01
|
Support fn pointer type sizes.
|
2016-03-20 20:16:40 -06:00 |
|
Scott Olson
|
2e12b220be
|
Stop unintentionally clearing source relocations when copying.
|
2016-03-20 20:15:13 -06:00 |
|
Scott Olson
|
493b5f649c
|
Implement the move_val_init intrinsic.
|
2016-03-20 19:23:57 -06:00 |
|