Skip to content

Miri subtree update #119315

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 21 commits into from
Dec 26, 2023
Merged

Miri subtree update #119315

merged 21 commits into from
Dec 26, 2023

Conversation

@RalfJung
Copy link
Member

@RalfJung RalfJung commented Dec 26, 2023

r? @ghost

RalfJung and others added 21 commits December 10, 2023 22:54
@RalfJung
./miri run: default to edition 2021
9164cd1
@RalfJung
rustc-push: automatically fill PR body to avoid reviewer assignment
c54312d
@bors
Auto merge of rust-lang#3230 - RalfJung:rustc-push, r=RalfJung
1dae084 
rustc-push: automatically fill PR body to avoid reviewer assignment
@saethlin
Make mmap not use expose semantics
4e2235a
@bors
Auto merge of rust-lang#3221 - RalfJung:edition, r=RalfJung
91b406f 
./miri run: default to edition 2021

Fixes rust-lang/miri#2999
@bors
Auto merge of rust-lang#3220 - saethlin:strict-mmap, r=RalfJung
1929606 
Make mmap not use expose semantics

Fixes rust-lang/miri#3041 per rust-lang/miri#3041 (comment)
Preparing for merge from rustc
245f2ad
Merge from rustc
0f70ced
@bors
Auto merge of rust-lang#3232 - rust-lang:rustup-2023-12-19, r=saethlin
f36251f 
Automatic Rustup
@RalfJung
Preparing for merge from rustc
f0b8456
@RalfJung
Merge from rustc
bddf1d7
@bors
Auto merge of rust-lang#3234 - RalfJung:rustup, r=RalfJung
23efae0 
Rustup
@RalfJung
simd_scatter/gather: test OOB cases and the order of writes
84304fc
@RalfJung
implement and test simd_masked_load and simd_masked_store
e8a4bd1
@bors
Auto merge of rust-lang#3237 - RalfJung:simd-loadstore, r=RalfJung
2c7e0fd 
implement and test simd_masked_load and simd_masked_store

also extend the scatter/gather tests

Fixes rust-lang/miri#3235
Preparing for merge from rustc
f3db65d
Merge from rustc
29f25ee
@bors
Auto merge of rust-lang#3238 - rust-lang:rustup-2023-12-24, r=saethlin
1754946 
Automatic Rustup
Preparing for merge from rustc
f2407d9
Merge from rustc
236ae99
@bors
Auto merge of rust-lang#3241 - rust-lang:rustup-2023-12-26, r=RalfJung
4658d38 
Automatic Rustup
@rustbot
Copy link
Collaborator

rustbot commented Dec 26, 2023

The Miri subtree was changed

cc @rust-lang/miri

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Dec 26, 2023
@RalfJung
Copy link
Member Author

RalfJung commented Dec 26, 2023

@bors r+ p=1

@bors
Copy link
Collaborator

bors commented Dec 26, 2023

📌 Commit 4658d38 has been approved by RalfJung

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Dec 26, 2023
@bors
Copy link
Collaborator

bors commented Dec 26, 2023

⌛ Testing commit 4658d38 with merge ea7ef7b...

@bors
Copy link
Collaborator

bors commented Dec 26, 2023

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing ea7ef7b to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Dec 26, 2023
@bors bors merged commit ea7ef7b into rust-lang:master Dec 26, 2023
@rustbot rustbot added this to the 1.77.0 milestone Dec 26, 2023
@bors bors mentioned this pull request Dec 26, 2023
Merged
@rust-timer
Copy link
Collaborator

rust-timer commented Dec 26, 2023

Finished benchmarking commit (ea7ef7b): comparison URL.

Overall result: ✅ improvements - no action needed

@rustbot label: -perf-regression

Instruction count

This is a highly reliable metric that was used to determine the overall result at the top of this comment.

mean range count
Regressions ❌
(primary)		 - - 0
Regressions ❌
(secondary)		 - - 0
Improvements ✅
(primary)		 -3.5% [-3.5%, -3.5%] 1
Improvements ✅
(secondary)		 - - 0
All ❌✅ (primary) -3.5% [-3.5%, -3.5%] 1

Max RSS (memory usage)

This benchmark run did not return any relevant results for this metric.

Cycles

Results

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

mean range count
Regressions ❌
(primary)		 - - 0
Regressions ❌
(secondary)		 - - 0
Improvements ✅
(primary)		 -3.4% [-3.4%, -3.4%] 1
Improvements ✅
(secondary)		 - - 0
All ❌✅ (primary) -3.4% [-3.4%, -3.4%] 1

Binary size

This benchmark run did not return any relevant results for this metric.

Bootstrap: 671.056s -> 671.25s (0.03%)
Artifact size: 312.53 MiB -> 312.51 MiB (-0.01%)

@RalfJung RalfJung deleted the miri branch December 26, 2023 17:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Milestone

1.77.0

Development

Successfully merging this pull request may close these issues.

5 participants

@RalfJung @rustbot @bors @rust-timer @saethlin