107 Commits

Author	SHA1	Message	Date
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