Skip to content
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

Cleanup Miri SIMD intrinsics #66468

Merged
merged 5 commits into from
Nov 21, 2019
Merged

Cleanup Miri SIMD intrinsics #66468

merged 5 commits into from
Nov 21, 2019

Conversation

RalfJung
Copy link
Member

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 16, 2019
eddyb
eddyb reviewed Nov 16, 2019
View reviewed changes
src/librustc/ty/sty.rs Outdated Show resolved Hide resolved
@RalfJung
Copy link
Member Author

Okay I think I resolved all concerns then.

@oli-obk
Copy link
Contributor

oli-obk commented Nov 17, 2019

@bors r+

@bors
Copy link
Contributor

bors commented Nov 17, 2019

📌 Commit 5e115a2 has been approved by oli-obk

@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 Nov 17, 2019
JohnTitor added a commit to JohnTitor/rust that referenced this pull request Nov 19, 2019
@JohnTitor
Rollup merge of rust-lang#66468 - RalfJung:simd-cleanup, r=oli-obk
a80f69c 
Cleanup Miri SIMD intrinsics

r? @oli-obk @eddyb Cc @gnzlbg
@JohnTitor JohnTitor mentioned this pull request Nov 19, 2019
Closed
bors added a commit that referenced this pull request Nov 19, 2019
@bors
Auto merge of #66542 - JohnTitor:rollup-89ve6xc, r=JohnTitor
f82d7ef 
Rollup of 13 pull requests

Successful merges:

 - #66090 (Misc CI improvements)
 - #66239 (Suggest calling async closure when needed)
 - #66430 ([doc] Fix the source code highlighting on source comments)
 - #66431 (Fix 'type annotations needed' error with opaque types)
 - #66461 (Add explanation message for E0641)
 - #66468 (Cleanup Miri SIMD intrinsics)
 - #66478 (rustc_plugin: Remove the compatibility shim)
 - #66493 (Add JohnTitor to rustc-guide toolstate notification list)
 - #66511 (std::error::Chain: remove Copy)
 - #66512 (Add unix::process::CommandExt::arg0)
 - #66520 (Disable gdb pretty printer global section on wasm targets)
 - #66529 (resolve: Give derive helpers highest priority during resolution)
 - #66536 (Move the definition of `QueryResult` into `plumbing.rs`.)

Failed merges:

r? @ghost
Centril added a commit to Centril/rust that referenced this pull request Nov 20, 2019
@Centril
Rollup merge of rust-lang#66468 - RalfJung:simd-cleanup, r=oli-obk
676c51a 
Cleanup Miri SIMD intrinsics

r? @oli-obk @eddyb Cc @gnzlbg
@Centril Centril mentioned this pull request Nov 20, 2019
Closed
@bors
Copy link
Contributor

bors commented Nov 20, 2019

⌛ Testing commit 5e115a2 with merge b7a988afa8e8819d246b6649351738d78e37b8ea...

@rust-highfive

This comment has been minimized.

Sign in to view
@bors
Copy link
Contributor

bors commented Nov 20, 2019

💔 Test failed - checks-azure

@bors bors removed the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Nov 20, 2019
@bors bors added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 20, 2019
@RalfJung
Copy link
Member Author 

2019-11-20T23:04:42.5394872Z Err:1 http://azure.archive.ubuntu.com/ubuntu xenial/main amd64 python3-setuptools all 20.7.0-1
2019-11-20T23:04:42.5395013Z 503 Service Unavailable
2019-11-20T23:04:42.5431113Z E: Failed to fetch http://azure.archive.ubuntu.com/ubuntu/pool/main/p/python-setuptools/python3-setuptools_20.7.0-1_all.deb 503 Service Unavailable

Looks like a network issue. @bors retry

@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 Nov 21, 2019
Centril added a commit to Centril/rust that referenced this pull request Nov 21, 2019
@Centril
Rollup merge of rust-lang#66468 - RalfJung:simd-cleanup, r=oli-obk
9761a69 
Cleanup Miri SIMD intrinsics

r? @oli-obk @eddyb Cc @gnzlbg
@Centril Centril mentioned this pull request Nov 21, 2019
Closed
Centril added a commit to Centril/rust that referenced this pull request Nov 21, 2019
@Centril
Rollup merge of rust-lang#66468 - RalfJung:simd-cleanup, r=oli-obk
4aceeff 
Cleanup Miri SIMD intrinsics

r? @oli-obk @eddyb Cc @gnzlbg
@Centril Centril mentioned this pull request Nov 21, 2019
Closed
Centril added a commit to Centril/rust that referenced this pull request Nov 21, 2019
@Centril
Rollup merge of rust-lang#66468 - RalfJung:simd-cleanup, r=oli-obk
02b38ac 
Cleanup Miri SIMD intrinsics

r? @oli-obk @eddyb Cc @gnzlbg
@Centril Centril mentioned this pull request Nov 21, 2019
Merged
bors added a commit that referenced this pull request Nov 21, 2019
@bors
Auto merge of #66607 - Centril:rollup-yb7cl73, r=Centril
35ef33a 
Rollup of 5 pull requests

Successful merges:

 - #65355 (Stabilize `!` in Rust 1.41.0)
 - #65730 (Suggest to add lifetime constraint at explicit ouput of functions)
 - #66468 (Cleanup Miri SIMD intrinsics)
 - #66515 (Reduce size of `hir::Expr` by boxing more of `hir::InlineAsm`)
 - #66602 (Revert "Update Source Code Pro and include italics")

Failed merges:

r? @ghost
@bors bors merged commit 5e115a2 into rust-lang:master Nov 21, 2019
@RalfJung RalfJung deleted the simd-cleanup branch November 27, 2019 17:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@oli-obk oli-obk oli-obk left review comments

@eddyb eddyb eddyb left review comments

Assignees

@oli-obk oli-obk

Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@RalfJung @oli-obk @bors @rust-highfive @eddyb