84 Commits

Author	SHA1	Message	Date
Mara Bos	dc3cbc1e56	Stabilize thread local cell methods.	2023-08-10 17:33:40 +02:00
Matthias Krüger	bbc1109b79	Rollup merge of #114587 - ouz-a:smir_allocation, r=oli-obk ... Convert Const to Allocation in smir Continuation of previous pr https://github.com/rust-lang/rust/pull/114466 cc https://github.com/rust-lang/project-stable-mir/issues/15 r? `@oli-obk`	2023-08-09 23:00:00 +02:00
ouz-a	8f1ea576b7	only allocate bytes within AllocRange	2023-08-09 21:05:03 +03:00
ouz-a	c41339a52f	Convert Const to Allocation in smir	2023-08-09 15:00:00 +03:00
Seth Pellegrino	d88ab223c5	fix: add RiscvInterrupt* cconv to smir ... These new interrupt calling conventions are not themselves stabilized, but there are other unstable calling conventions present in the SMIR mapping (e.g. AVR interrupts) and the mapping appears to be "complete" so far, with no obvious way to represent unstable conventions separately from the stable ones.	2023-08-08 18:09:56 -07:00
Santiago Pastorino	6e4d7bd90e	Add TraitDef::trait_decl method	2023-08-07 10:24:12 -03:00
Santiago Pastorino	0e69a8ad20	Add all_trait_decls to SMIR	2023-08-07 10:24:11 -03:00
Santiago Pastorino	496faa857c	Convert trait declaration to SMIR	2023-08-07 10:24:08 -03:00
Santiago Pastorino	4199a3c13a	Convert unsafety using the stable method and reuse mir::Safety	2023-08-07 10:23:20 -03:00
ouz-a	b9a539e0a3	Add alocation to smir	2023-08-06 15:06:04 +03:00
ouz-a	2ff62fdfcc	clean up, use opaque types	2023-08-01 17:48:20 +03:00
ouz-a	206bfc47ea	Cover statements for stable_mir	2023-08-01 12:57:13 +03:00
Matthias Krüger	35ba616850	Rollup merge of #114165 - ouz-a:smir1, r=spastorino ... Add missing rvalues to smir Added few missing rvalues to smir, not entirely confident about changes to `Aggregate` cc https://github.com/rust-lang/project-stable-mir/issues/13 r? `@oli-obk`	2023-07-31 22:51:14 +02:00
ouz-a	2a3da87c0e	add missing rvalues to smir	2023-07-31 22:48:55 +03:00
Matthias Krüger	3ce90b1649	inline format!() args up to and including rustc_codegen_llvm	2023-07-30 14:22:50 +02:00
Matthias Krüger	17e4f80257	Rollup merge of #114082 - ericmarkmartin:smir-nullary-op, r=spastorino ... add stable NullaryOp r? `@spastorino`	2023-07-27 06:04:14 +02:00
Santiago Pastorino	7af1697138	Add Bound ty to SMIR	2023-07-26 09:26:39 -03:00
Santiago Pastorino	648cf070eb	Add Param ty to SMIR	2023-07-26 09:26:39 -03:00
Eric Mark Martin	933fc180bd	add stable NullaryOp	2023-07-26 00:22:38 -04:00
Eric Mark Martin	0a0ce4905d	factor out more stable impls	2023-07-25 00:49:49 -04:00
Eric Mark Martin	badb617eb5	Dynamic for smir	2023-07-24 00:17:45 -04:00
Eric Mark Martin	c2158a44e1	generic smir stable impl for Binder	2023-07-24 00:06:29 -04:00
Eric Mark Martin	aa33e8945c	add Alias for smir	2023-07-22 15:38:41 -04:00
Santiago Pastorino	634db101ec	Implement Stable for ty::Ty	2023-07-21 11:56:49 -03:00
Santiago Pastorino	17b8977f9b	Add FnPtr ty to SMIR	2023-07-20 23:18:40 -03:00
Santiago Pastorino	93bcc2ef98	Implement Stable for ty::GenericArgs	2023-07-20 23:18:33 -03:00
Santiago Pastorino	cbabd00c12	Add tables to Stable::stable	2023-07-20 22:20:53 -03:00
Santiago Pastorino	c5819b2b9b	Remove FIXMEs a lot of things need fixes	2023-07-19 11:05:21 -03:00
Santiago Pastorino	db35f1de2f	Extract generic_args function	2023-07-19 11:05:14 -03:00
Santiago Pastorino	ed32347689	Add Generator to SMIR	2023-07-19 11:02:38 -03:00
Santiago Pastorino	c5c38cdee8	Add Closure ty to SMIR	2023-07-19 11:02:37 -03:00
Santiago Pastorino	e5c0b96e24	Add FnDef ty to SMIR	2023-07-19 11:02:37 -03:00
Santiago Pastorino	68077d5827	Rename SMIR AdtSubsts to GenericArgs	2023-07-19 11:02:34 -03:00
Santiago Pastorino	caa01adbd0	Add Never to SMIR	2023-07-18 13:58:41 -03:00
Santiago Pastorino	9b32319205	Add Foreign to SMIR	2023-07-18 13:58:41 -03:00
Eric Mark Martin	c8ee46be75	conversions to smir RawPtr and Ref	2023-07-17 21:08:49 -04:00
Eric Mark Martin	08e89acd2e	add RawPtr	2023-07-17 20:47:27 -04:00
Eric Mark Martin	285920ea2d	move const definition	2023-07-17 20:47:27 -04:00
bors	bacf5bcbc7	Auto merge of #112982 - lukas-code:bootstrap-alias-default-crates, r=albertlarsan68 ... bootstrap: update defaults for `compiler` and `library` aliases * `x doc compiler` now documents all of compiler, not just `rustc_driver`. * `x doc` with compiler docs enabled now includes `rustc-main` and `rustc_smir`. `rustc_codegen_llvm` is only included if the LLVM backend is enabled, which is the default. * `x doc library` now excludes `sysroot`. * `x check compiler` and `x check library` now properly check tests/benches/examples of all compiler or library crates, respectively. Note that `x check compiler` will check the library artifacts, but not tests. fixes the fallout from https://github.com/rust-lang/rust/pull/111955, cc `@jyn514`	2023-07-14 12:09:27 +00:00
Lukas Markeffsky	9d6bfc281d	fix docs for rustc_smir	2023-07-14 09:41:42 +00:00
Eric Mark Martin	fd5553ffea	add str, slice, and array to smir types	2023-07-13 20:59:44 -04:00
Matthias Krüger	017112f834	Rollup merge of #113629 - spastorino:smir-types-3, r=oli-obk ... Add Adt to SMIR r? ````@oli-obk````	2023-07-13 22:33:25 +02:00
Santiago Pastorino	c80a0f3178	Add Adt to SMIR	2023-07-13 12:00:46 -03:00
Matthias Krüger	66233fbb32	Rollup merge of #113553 - spastorino:smir-types-2, r=oli-obk ... Make Placeholder, GeneratorWitness*, Infer and Error unreachable on SMIR rustc_ty_to_ty Let's remove these todos to not confuse ``@ericmarkmartin`` if they pick some conversion up. r? ``@oli-obk``	2023-07-13 12:19:22 +02:00
Santiago Pastorino	5cf570f325	DefIds are not only about CrateItem	2023-07-12 16:26:05 -03:00
Santiago Pastorino	715cd99450	Make Placeholder, GeneratorWitness*, Infer and Error unreachable on SMIR rustc_ty_to_ty	2023-07-11 12:59:38 -03:00
Celina G. Val	b9f378b19b	Implement a few more rvalue translation to smir ... - Introduce an Opaque type for adding information that is still internal to the compiler.	2023-07-10 11:47:48 -07:00
Celina G. Val	697563289d	Implement Stable for AssertMessage	2023-07-10 10:06:18 -07:00
Celina G. Val	44d0fce150	Fix standalone build ... Add extern declarations and optional dependencies to fix build done directly via `cargo build`.	2023-07-10 10:06:18 -07:00
Matthias Krüger	39f558f8cf	Rollup merge of #113412 - spastorino:smir-types-1, r=oli-obk ... Add basic types to SMIR Still incomplete but I think this can be merged and we can keep iterating over it. r? ``@oli-obk``	2023-07-08 15:49:47 +02:00