Commit Graph

2733 Commits

Author SHA1 Message Date
bjorn3 c19edfd71a Rustup to rustc 1.64.0-nightly (7fe022f5a 2022-07-24) 2022-07-25 16:06:39 +02:00
bjorn3 4e1155fbf1 Sync from rust 2f320a224e 2022-07-25 16:00:44 +02:00
bjorn3 d7fc56323e Update Cranelift to 0.85.3
This fixes a couple of potential miscompilations. None affect cg_clif on
x86_64, but one may affect cg_clif on AArch64.
2022-07-25 13:50:43 +00:00
bjorn3 722733c0c6 Merge pull request #1247 from bjorn3/melt_some_ice
Melt some ICE
2022-07-25 15:46:04 +02:00
bjorn3 fd2669d1e9 Fix -Zpolymorphize 2022-07-25 13:17:53 +00:00
bjorn3 7ef2ba8f7b Fix size_of_val and min_align_of_val for truly unsized types 2022-07-25 12:47:49 +00:00
bjorn3 39ee14d253 Error when trying to define variadic functions
They aren't yet supported by Cranelift
2022-07-25 11:18:34 +00:00
bors 745193d197 Auto merge of #99251 - cuviper:hashbrown-0.12, r=Mark-Simulacrum
Upgrade indexmap and thorin-dwp to use hashbrown 0.12

This removes the last dependencies on hashbrown 0.11.

This also upgrades to hashbrown 0.12.3 to fix a double-free (#99372).
2022-07-24 04:03:29 +00:00
bjorn3 3207c9faec Report an error on incompatible symbol definitions 2022-07-22 19:03:06 +00:00
bjorn3 a6b602dc32 Fix inline asm codegen for empty template 2022-07-22 18:59:16 +00:00
bjorn3 cd96988436 Don't crash when local variables are too big to store on the stack 2022-07-22 18:03:24 +00:00
Ralf Jung d07ed02783 various nits from review 2022-07-20 17:12:08 -04:00
bjorn3 f8feed7d27 Implement vtable_size and vtable_align intrinsics for cg_clif 2022-07-20 17:12:07 -04:00
Ralf Jung 6c9abfa0f3 slightly cleaner, if more verbose, vtable handling in codegen backends 2022-07-20 17:12:07 -04:00
Ralf Jung a1b172224c consistently use VTable over Vtable (matching stable stdlib API RawWakerVTable) 2022-07-20 17:12:07 -04:00
Ralf Jung b5cce74278 rename get_global_alloc to try_get_global_alloc 2022-07-20 17:09:22 -04:00
Ralf Jung 1c77e2b922 add a Vtable kind of symbolic allocations 2022-07-20 16:57:31 -04:00
Oli Scherer 22a0a2eac2 Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank"
This reverts commit 6f8fb911ad, reversing
changes made to 7210e46dc6.
2022-07-20 07:55:58 +00:00
bjorn3 5fcedf62df Update for changes to the rustc test suite 2022-07-18 11:57:22 +00:00
bjorn3 bc061fa319 Rustup to rustc 1.64.0-nightly (263edd43c 2022-07-17) 2022-07-18 12:59:55 +02:00
bjorn3 cff5eed8ef Sync from rust 880416180b 2022-07-18 12:10:52 +02:00
bors 33b297a525 Auto merge of #99033 - 5225225:interpreter-validity-checks, r=oli-obk
Use constant eval to do strict mem::uninit/zeroed validity checks

I'm not sure about the code organisation here, I just dumped the check in rustc_const_eval at the root. Not hard to move it elsewhere, in any case.

Also, this means cranelift codegen intrinsics lose the strict checks, since they don't seem to depend on rustc_const_eval, and I didn't see a point in keeping around two copies.

I also left comments in the is_zero_valid methods about "uhhh help how do i do this", those apply to both methods equally.

Also rustc_codegen_ssa now depends on rustc_const_eval... is this okay?

Pinging `@RalfJung` since you were the one who mentioned this to me, so I'm assuming you're interested.

Haven't had a chance to run full tests on this since it's really warm, and it's 1AM, I'll check out any failures/comments in the morning :)
2022-07-17 19:28:01 +00:00
Amanieu d'Antras ec469526fd Upgrade hashbrown to 0.12.3
This fixes a double-free in the `clone_from` function if dropping an
existing element in the table panics. See
https://github.com/rust-lang/hashbrown/pull/348 for more details.
2022-07-17 07:05:58 -07:00
Josh Stone f750d8ba56 Upgrade indexmap and thorin-dwp to use hashbrown 0.12
This removes the last dependencies on hashbrown 0.11.
2022-07-17 07:05:58 -07:00
Oli Scherer 9ea9c093e5 Introduce opaque type to hidden type projection 2022-07-15 15:49:22 +00:00
5225225 5a81bf7ad2 Use constant eval to do strict validity checks 2022-07-14 22:55:17 +01:00
Joshua Nelson b2ae24e6a1 Rename debugging_opts to unstable_opts
This is no longer used only for debugging options (e.g. `-Zoutput-width`, `-Zallow-features`).
Rename it to be more clear.
2022-07-13 17:47:06 -05:00
bors 43388812a6 Auto merge of #99210 - Dylan-DPC:rollup-879cp1t, r=Dylan-DPC
Rollup of 5 pull requests

Successful merges:

 - #98574 (Lower let-else in MIR)
 - #99011 (`UnsafeCell` blocks niches inside its nested type from being available outside)
 - #99030 (diagnostics: error messages when struct literals fail to parse)
 - #99155 (Keep unstable target features for asm feature checking)
 - #99199 (Refactor: remove an unnecessary `span_to_snippet`)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
2022-07-13 17:13:27 +00:00
Dylan DPC 38c321a6f0 Rollup merge of #99155 - Amanieu:unstable-target-features, r=davidtwco
Keep unstable target features for asm feature checking

Inline assembly uses the target features to determine which registers
are available on the current target. However it needs to be able to
access unstable target features for this.

Fixes #99071
2022-07-13 19:32:36 +05:30
ouz-a 9efccc97e2 add new rval, pull deref early 2022-07-12 14:26:41 +03:00
Amanieu d'Antras a7347a941b Keep unstable target features for asm feature checking
Inline assembly uses the target features to determine which registers
are available on the current target. However it needs to be able to
access unstable target features for this.

Fixes #99071
2022-07-11 14:26:58 +01:00
Konrad Borowski 743cee6ca9 Partially stabilize const_slice_from_raw_parts
This doesn't stabilize methods working on mutable pointers.
2022-07-09 23:20:02 +02:00
Ralf Jung c78b43878f tweak names and output and bless 2022-07-09 07:43:56 -04:00
Ralf Jung f44d5feb5b review feedback 2022-07-09 07:27:29 -04:00
Ralf Jung e9442b60e0 fix cranelift and gcc backends 2022-07-09 07:27:29 -04:00
Dylan DPC e151a095ab Rollup merge of #99070 - tamird:update-tracking-issue, r=RalfJung
Update integer_atomics tracking issue

Updates #32976.
Updates #99069.

r? ``@RalfJung``
2022-07-09 11:28:09 +05:30
Tamir Duberstein c413617ca5 Update integer_atomics tracking issue
Updates #32976.
Updates #99069.
2022-07-08 17:52:04 -04:00
David Wood 69d0c1e9ac incr: cache dwarf objects in work products
Cache DWARF objects alongside object files in work products when those
exist so that DWARF object files are available for thorin in packed mode
in incremental scenarios.

Signed-off-by: David Wood <david.wood@huawei.com>
2022-07-06 11:15:13 +01:00
Alan Egerton 44c2558504 Update TypeVisitor paths 2022-07-06 06:41:53 +01:00
bors 96bdb398f9 Auto merge of #96862 - oli-obk:enum_cast_mir, r=RalfJung
Change enum->int casts to not go through MIR casts.

follow-up to https://github.com/rust-lang/rust/pull/96814

this simplifies all backends and even gives LLVM more information about the return value of `Rvalue::Discriminant`, enabling optimizations in more cases.
2022-07-05 09:36:29 +00:00
bjorn3 b8aab37464 Update for changes to the rustc test suite 2022-07-03 13:41:29 +00:00
bjorn3 8720683936 Rustup to rustc 1.64.0-nightly (f2d93935f 2022-07-02) 2022-07-03 15:07:25 +02:00
bjorn3 b344691522 Sync from rust f99f9e48ed 2022-07-03 14:51:45 +02:00
bjorn3 14b2f8f98d Add code to print clif ir on panics during define_function 2022-07-02 19:38:50 +02:00
Camille GILLOT a71e691e74 Recover when failing to normalize closure signature. 2022-06-30 21:45:29 +02:00
Oli Scherer 846eecb1a4 Change enum->int casts to not go through MIR casts.
Instead we generate a discriminant rvalue and cast the result of that.
2022-06-30 07:47:07 +00:00
bjorn3 45b6cd6a8a Fix a crash for 11 single byte fields passed through the C abi
Fixes #1234
2022-06-28 14:32:31 +00:00
bjorn3 c1ac2df0c3 Allow building the sysroot with --emit llvm-ir 2022-06-28 11:55:37 +02:00
bjorn3 56c5c09618 Run regalloc checker on CI
This would have caught the issue that required releasing Cranelift 0.85.1
2022-06-28 11:53:40 +02:00
bjorn3 f060ae9d3d Update to Cranelift 0.85.1
This fixes a miscompilation
2022-06-28 11:52:21 +02:00