Commit Graph

3477 Commits

Author SHA1 Message Date
Tomasz Miąsko
edb0717e7c Tweak implementation of overflow checking assertions
Extract and reuse logic controlling behaviour of overflow checking
assertions instead of duplicating it three times.
2023-03-16 22:55:45 +01:00
bors
e42bea9fde Auto merge of #108282 - cjgillot:mir-checked-sh, r=tmiasko
Implement checked Shl/Shr at MIR building.

This does not require any special handling by codegen backends,
as the overflow behaviour is entirely determined by the rhs (shift amount).

This allows MIR ConstProp to remove the overflow check for constant shifts.

~There is an existing different behaviour between cg_llvm and cg_clif (cc `@bjorn3).`
I took cg_llvm's one as reference: overflow if `rhs < 0 || rhs > number_of_bits_in_lhs_ty`.~

EDIT: `cg_llvm` and `cg_clif` implement the overflow check differently. This PR uses `cg_llvm`'s implementation based on a `BitAnd` instead of `cg_clif`'s one based on an unsigned comparison.
2023-03-15 21:31:06 +00:00
bjorn3
b1cf90c4dc Sparse registry is now the default on nightly 2023-03-15 15:20:20 +00:00
bjorn3
bc6ee857d6 Merge branch 'sync_from_rust' 2023-03-15 14:43:55 +00:00
bjorn3
7b3bd56ed9 Merge commit 'dec0daa8f6d0a0e1c702f169abb6bf3eee198c67' into sync_cg_clif-2023-03-15 2023-03-15 14:41:48 +00:00
bjorn3
dec0daa8f6 Rustup to rustc 1.70.0-nightly (171693274 2023-03-14) 2023-03-15 14:33:54 +00:00
bjorn3
fed9534323 Sync from rust 1716932743 2023-03-15 14:28:47 +00:00
bjorn3
6f6007156b Introduce Box::new in mini_core 2023-03-15 14:26:03 +00:00
bjorn3
b42358a23f Use patched git-subtree from bjorn3/git@tqc-subtree-portable
This patched has been necessary for subtree syncs from the start, but
previously it was necessary to locally install tqc's patched git
version, which hasn't been updated for quite a while. I made a small
change to allow downloading it as script without requiring an entire git
installation for the patched version.
2023-03-15 14:20:18 +00:00
bjorn3
db6fb616b9 Rustup to rustc 1.70.0-nightly (7b4f48927 2023-03-12) 2023-03-13 12:23:45 +01:00
bjorn3
02af3e383b Sync from rust 7b4f48927d 2023-03-13 12:11:06 +01:00
clubby789
2c122a8926 Remove uses of box_syntax in rustc and tools 2023-03-12 13:19:46 +00:00
bors
7e23d77cac Auto merge of #109001 - matthiaskrgr:rollup-a3agnwp, r=matthiaskrgr
Rollup of 8 pull requests

Successful merges:

 - #105798 (Relax ordering rules for `asm!` operands)
 - #105962 (Stabilize path_as_mut_os_str)
 - #106085 (use problem matchers for tidy CI)
 - #107711 (Stabilize movbe target feature)
 - #108017 (Add `--no-undefined-version` link flag and fix associated breakage)
 - #108891 (Remove an extraneous include)
 - #108902 (no more do while :<)
 - #108912 (Document tool lints)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
2023-03-11 07:28:44 +00:00
bors
be445e1ab2 Auto merge of #104527 - ferrocene:pa-more-licenses, r=pnkfelix
Add more license annotations

This PR updates the `.reuse/dep5` file to include more accurate licensing data for everything in the repository (*excluding* submodules and dependencies). Some decisions were made in this PR:

* The standard copyright attribution for files maintained by us is "The Rust Project Developers (see https://thanks.rust-lang.org)", to avoid having to maintain an in-tree `AUTHORS` file.
* For files that have specific licensing terms, we added the terms to the `.reuse/dep5` rather than adding SPDX comments in the files themselves.
* REUSE picks up any comment/text line with `Copyright` on it, so I had to sprinkle around `REUSE-IgnoreStart` and `REUSE-IgnoreEnd` comments.

The rendered `COPYRIGHT` file is available at https://gist.github.com/pietroalbini/efb81103f69596d39758114f3f6a8688.

r? `@pnkfelix`
2023-03-11 01:17:23 +00:00
Matthias Krüger
b23a3a36ed Rollup merge of #108017 - chbaker0:fix-105967, r=chbaker0
Add `--no-undefined-version` link flag and fix associated breakage

LLVM upstream sets `--no-undefined-version` by default in lld: https://reviews.llvm.org/D135402.

Due to a bug in how version scripts are generated, this breaks the `dylib` output type for most crates. See https://github.com/rust-lang/rust/issues/105967#issuecomment-1428671533 for details.

This PR adds the flag to gcc flavor linkers in anticipation of this LLVM change rolling in, and patches `rustc` to not attempt to export `__rust_*` allocator symbols when they weren't generated.

Fixes #105967
2023-03-10 21:15:45 +01:00
bjorn3
0b9e8c65d5 Fix rustc test suite 2023-03-10 13:44:34 +00:00
bjorn3
e781db8d44 Rustup to rustc 1.70.0-nightly (39f2657d1 2023-03-09) 2023-03-10 14:12:47 +01:00
bjorn3
81f9dc2c0f Sync from rust 39f2657d11 2023-03-10 13:57:16 +01:00
Collin Baker
f2c81bb1c0 Don't export of __rust_* alloc symbols if not codegened 2023-03-09 19:21:44 -05:00
Camille GILLOT
82e675061c Introduce a no-op PlaceMention statement for let _ =. 2023-03-09 17:45:13 +00:00
Pietro Albini
0738ffe419 replace legacy copyright annotations in submodules 2023-03-09 12:24:47 +01:00
Matthias Krüger
2ad8e1fb51 Rollup merge of #108856 - Zeegomo:remove-drop-and-rep, r=tmiasko
Remove DropAndReplace terminator

#107844 made DropAndReplace unused, let's remove it completely from the codebase.
2023-03-08 21:26:51 +01:00
bjorn3
22237ed225 Update Cranelift to 0.93.1
This fixes a potential miscompilation
2023-03-08 20:56:50 +01:00
Giacomo Pasini
bd84d88cd1 Remove DropAndReplace terminator
PR 107844 made DropAndReplace unused, let's remove it completely
from the codebase.
2023-03-07 14:25:22 +01:00
bors
792933c8d7 Auto merge of #95317 - Jules-Bertholet:round_ties_to_even, r=pnkfelix,m-ou-se,scottmcm
Add `round_ties_even` to `f32` and `f64`

Tracking issue: #96710

Redux of #82273. See also #55107

Adds a new method, `round_ties_even`, to `f32` and `f64`, that rounds the float to the nearest integer , rounding halfway cases to the number with an even least significant bit. Uses the `roundeven` LLVM intrinsic to do this.

Of the five IEEE 754 rounding modes, this is the only one that doesn't already have a round-to-integer function exposed by Rust (others are `round`, `floor`, `ceil`, and `trunc`).  Ties-to-even is also the rounding mode used for int-to-float and float-to-float `as` casts, as well as float arithmentic operations. So not having an explicit rounding method for it seems like an oversight.

Bikeshed: this PR currently uses `round_ties_even` for the name of the method. But maybe `round_ties_to_even` is better, or `round_even`, or `round_to_even`?
2023-03-07 09:43:12 +00:00
bjorn3
1ed6b05145 Remove copy_nonoverlapping intrinsic definition
It has been getting lowered to a dedicated MIR statement for a while
2023-03-05 19:50:21 +00:00
bjorn3
906b00e111 Fix rustc test suite 2023-03-04 12:59:27 +00:00
bjorn3
4be2be2245 Rustfmt 2023-03-04 12:48:34 +01:00
bjorn3
7bf863653b Rustup to rustc 1.69.0-nightly (44cfafe2f 2023-03-03) 2023-03-04 12:46:45 +01:00
bjorn3
cceea847dd Sync from rust 44cfafe2fa 2023-03-04 12:36:27 +01:00
bjorn3
162365e3d6 Fix loading of dylibs not in the search path in jit mode
Reported in #1249
2023-02-28 14:36:44 +00:00
Camille GILLOT
760275d81e Implement checked Shl/Shr at MIR building. 2023-02-27 19:25:16 +00:00
Nilstrieb
1b57cb6762 Unify all validity check intrinsics
Also merges the inhabitedness check into the query to further unify the
code paths.
2023-02-27 13:30:44 +00:00
Matthias Krüger
32317b5a5b Rollup merge of #108364 - Nilstrieb:validity-checks-refactor, r=compiler-errors
Unify validity checks into a single query

Previously, there were two queries to check whether a type allows the 0x01 or zeroed bitpattern.

I am planning on adding a further initness to check in #100423, truly uninit for MaybeUninit, which would make this three queries. This seems overkill for such a small feature, so this PR unifies them into one.

I am not entirely happy with the naming and key type and open for improvements.

r? oli-obk
2023-02-27 06:11:52 +01:00
bjorn3
9e7c646319 Merge branch 'staging' 2023-02-26 17:57:03 +00:00
bjorn3
b88e129915 Avoid a duplicate "[TEST] rust-random/rand" 2023-02-26 17:37:29 +00:00
bjorn3
c615e9248a Run tests for all crates in the regex workspace 2023-02-26 17:35:53 +00:00
bjorn3
b193419ec7 Allow multiple threads and panicking tests when testing regex
I guess this was a leftover from very early in the development of
cg_clif. Allowing multiple threads significantly improves performance,
while panicking tests can run now thanks to -Zpanic-abort-tests.
2023-02-26 16:50:08 +00:00
bjorn3
19ed2139a3 Remove no longer necessary code removing "[codegen mono items]" from test output 2023-02-26 14:34:36 +00:00
bjorn3
5e6cde150e Remove --cap-lint warn from regex test 2023-02-26 14:34:36 +00:00
bjorn3
7a864c8ef5 Update test repo versions 2023-02-26 14:34:28 +00:00
bjorn3
aea3bd6641 Re-enable DataflowConstProp for standard library builds 2023-02-26 13:01:47 +00:00
bjorn3
91979e01cf Rustup to rustc 1.69.0-nightly (34e6673a0 2023-02-25) 2023-02-26 13:36:16 +01:00
bjorn3
83222f18f4 Sync from rust 34e6673a04 2023-02-26 13:26:37 +01:00
bjorn3
a45a81a6a2 Patch coretests separately from the standard library source 2023-02-26 12:15:25 +00:00
bjorn3
f79601fbb0 Reduce verbosity of rand testing 2023-02-25 18:01:42 +00:00
bjorn3
be19c03e69 Silence almost all warnings when compiling coretests 2023-02-25 17:54:01 +00:00
bjorn3
26d0d255ce Reduce verbosity of libcore testing 2023-02-25 17:48:45 +00:00
bjorn3
fdfa277158 Rustup to rustc 1.69.0-nightly (c5c7d2b37 2023-02-24) 2023-02-25 18:17:06 +01:00
bjorn3
d53964130f Sync from rust c5c7d2b377 2023-02-25 18:10:33 +01:00