Commit Graph

88 Commits

Author SHA1 Message Date
Scott Olson 40462d64ef Implement the size_of intrinsic. 2016-03-15 00:45:25 -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 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 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 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 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
Scott Olson f72b0c9b12 Make formatting consistent. 2016-03-07 07:50:49 -06:00
Scott Olson 619daf0129 Re-add support for integer binops. 2016-03-07 07:48:38 -06:00
Scott Olson 83adde623f Simplfy memory allocation. 2016-03-07 07:19:43 -06:00
Scott Olson 3ae6b80ab1 Remove Pointer's repr field and make it Copy.
This required refactoring throughout and math operators have been temporarily
commented out.
2016-03-07 07:10:52 -06:00
Scott Olson 6d6cd1f420 Rename 'block' to 'current_block'. 2016-03-07 04:50:44 -06:00
Scott Olson 586bc5d1da Reimplement 'if' conditions. 2016-03-07 04:48:12 -06:00
Scott Olson a1adc55370 Add basic bool support. 2016-03-07 04:44:03 -06:00
Scott Olson d330bd6a32 Glob import variants before matching and simplify some code. 2016-03-07 04:10:57 -06:00
Scott Olson 4f4e0b5051 Implement a call stack using the new memory system. 2016-03-06 04:23:24 -06:00
Scott Olson e784659568 Sort imports. 2016-03-05 00:52:14 -06:00
Scott Olson b0683c4c72 Remove Allocation's Clone impl. 2016-03-05 00:50:53 -06:00
Scott Olson 7c5ea62156 Move memory module to its own file. 2016-03-05 00:48:23 -06:00
Scott Olson a29a6e0db9 Refactor integer reading and writing. 2016-03-05 00:45:54 -06:00
Scott Olson 6686944ded Refactor memory range access error checnking. 2016-03-05 00:23:37 -06:00
Scott Olson 45677b453c Rename memory "values" to "allocations". 2016-03-04 23:44:49 -06:00
Scott Olson 3d9a91d0f7 Remove alloc_id_hack. 2016-03-04 23:22:41 -06:00