Scott Olson
|
7698a85d01
|
Simplify Repr::Array's elem size.
|
2016-03-17 03:19:13 -06:00 |
|
Scott Olson
|
4704bdca8d
|
Simplify PrimVals.
|
2016-03-17 03:12:15 -06:00 |
|
Scott Olson
|
abd235837a
|
Simplify FieldRepr sizes.
|
2016-03-17 03:11:40 -06:00 |
|
Scott Olson
|
a1fc284559
|
Simplify some Repr code.
|
2016-03-17 02:53:03 -06:00 |
|
Scott Olson
|
aa791a4085
|
Add fixmes to horrible casting code.
|
2016-03-17 01:11:06 -06:00 |
|
Scott Olson
|
d3b47c418f
|
WIP: Support array indexing including a get_unchecked test.
Required supporting:
* Trait method lookup
* The `offset` intrinsic
* Fat pointers
* Unsizing coercions and some raw pointer and integer casts
|
2016-03-16 23:28:49 -06:00 |
|
Scott Olson
|
59cf49baf4
|
Create a pointer-only version of eval_operand. Fix pointer offset.
|
2016-03-16 23:28:09 -06:00 |
|
Scott Olson
|
3ab619c5c3
|
Update for changes in rustc master.
|
2016-03-15 16:09:08 -06:00 |
|
Scott Olson
|
c18e7a68fb
|
Split Repr creation out of eval_lvalue.
|
2016-03-15 07:13:31 -06:00 |
|
Scott Olson
|
8f84d3abc6
|
Implement fixed-sized arrays.
|
2016-03-15 05:51:02 -06:00 |
|
Scott Olson
|
40462d64ef
|
Implement the size_of intrinsic.
|
2016-03-15 00:45:25 -06:00 |
|
Scott Olson
|
7eddb4e92a
|
Test the unstable box syntax.
|
2016-03-14 23:25:13 -06:00 |
|
Scott Olson
|
9d1d96ce07
|
Add unsigned integers.
|
2016-03-14 23:03:31 -06:00 |
|
Scott Olson
|
9e1bb9841e
|
Fix substs in nested generic function calls.
|
2016-03-14 22:26:39 -06:00 |
|
Scott Olson
|
fbb9dd260d
|
Clarify output allocations.
|
2016-03-14 22:08:38 -06:00 |
|
Scott Olson
|
b1475e5cd4
|
Implement Rvalue::Box allocations.
|
2016-03-14 22:05:50 -06:00 |
|
Scott Olson
|
a7c7764c93
|
Reorganize and simplify.
|
2016-03-14 21:48:00 -06:00 |
|
Scott Olson
|
f74d1dc7f1
|
Improve execution trace logging.
|
2016-03-14 21:29:25 -06:00 |
|
Scott Olson
|
4a22283d8b
|
Extract Terminator evaluation out of the main loop.
|
2016-03-14 21:18:39 -06:00 |
|
Scott Olson
|
7bac5963b9
|
Handle recursive calls without recursing in miri.
|
2016-03-14 20:39:51 -06:00 |
|
Scott Olson
|
66eb109070
|
Properly handle generic fn calls.
|
2016-03-13 18:33:26 -06:00 |
|
Scott Olson
|
1a27734a7b
|
Reimplement cross-crate function calls.
|
2016-03-13 17:19:42 -06:00 |
|
Scott Olson
|
7740268dd5
|
Reimplement crate-local function calls.
|
2016-03-13 16:08:23 -06:00 |
|
Scott Olson
|
373f8a7a87
|
Fix typo.
|
2016-03-13 14:46:24 -06:00 |
|
Scott Olson
|
f145017319
|
Add support for pointers.
|
2016-03-13 14:36:25 -06:00 |
|
Scott Olson
|
039014fee2
|
Uncomment now-working test.
|
2016-03-13 08:32:30 -06:00 |
|
Scott Olson
|
b756aecee7
|
Uncomment now-working test.
|
2016-03-13 08:31:29 -06:00 |
|
Scott Olson
|
250e9615c5
|
Remove unused variable.
|
2016-03-13 08:01:22 -06:00 |
|
Scott Olson
|
2105914886
|
Remove old commented-out code.
|
2016-03-13 07:40:52 -06:00 |
|
Scott Olson
|
9aa3a8675f
|
Reimplement variant downcast projection.
|
2016-03-13 07:23:48 -06:00 |
|
Scott Olson
|
dd3d58f249
|
Reimplement field lvalue projection.
|
2016-03-13 06:48:04 -06:00 |
|
Scott Olson
|
6d37e7fc29
|
Reimplement sum type switching.
|
2016-03-13 06:30:28 -06:00 |
|
Scott Olson
|
80d12601ff
|
Write enum discriminants.
|
2016-03-13 06:05:48 -06:00 |
|
Scott Olson
|
cc8b8efd33
|
Allow switching on non-integer types.
|
2016-03-13 04:50:16 -06:00 |
|
Scott Olson
|
96c51dc8ed
|
Make sum repr discriminant an arbitrary repr.
|
2016-03-13 01:55:48 -06:00 |
|
Scott Olson
|
dad5edd4f3
|
Unnest integer reprs.
|
2016-03-13 01:48:07 -06:00 |
|
Scott Olson
|
6b4d2b11a6
|
Add support for smaller signed integers.
|
2016-03-13 01:43:28 -06:00 |
|
Scott Olson
|
c1edb9f978
|
More work for multiple int sizes.
|
2016-03-13 01:14:20 -06:00 |
|
Scott Olson
|
397dbd909a
|
Add initial support for different int sizes.
|
2016-03-12 23:15:53 -06:00 |
|
Scott Olson
|
3f96b3a122
|
Use i64 instead of i32 in tests.
Miri's only integer representation right now is 64-bit.
|
2016-03-12 22:39:12 -06:00 |
|
Scott Olson
|
7cda22f8c5
|
Add initial enum initialization support.
|
2016-03-12 22:27:54 -06:00 |
|
Scott Olson
|
1370008576
|
Restructure aggregates and pave the way for enums.
|
2016-03-12 22:15:59 -06:00 |
|
Scott Olson
|
11d4bf9b95
|
Split tests into multiple files.
|
2016-03-12 21:32:24 -06:00 |
|
Scott Olson
|
346618cd2b
|
Fix 0-sized writes being treated as out of bounds.
|
2016-03-12 21:32:05 -06:00 |
|
Scott Olson
|
bffbb89354
|
Update for changes in rustc master.
|
2016-03-12 20:23:48 -06:00 |
|
Scott Olson
|
8a0b95bc8b
|
Support structs and single-variant enums.
|
2016-03-11 21:27:54 -06:00 |
|
Scott Olson
|
fd10ec9278
|
Clean up unused things.
|
2016-03-07 10:14:47 -06:00 |
|
Scott Olson
|
b530b0b027
|
Write new-value-repr branch tests over old tests.
|
2016-03-07 08:27:23 -06:00 |
|
Scott Olson
|
0cb7e3fae0
|
Support SwitchInt for integer types.
|
2016-03-07 08:22:18 -06:00 |
|
Scott Olson
|
e41af43dbf
|
Re-add support for integer unary ops.
|
2016-03-07 07:57:08 -06:00 |
|