Skip to content

trans trips llvm assertions when copying fixed length vectors #2630

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
Closed
msullivan opened this issue Jun 15, 2012 · 0 comments
Closed

trans trips llvm assertions when copying fixed length vectors #2630

msullivan opened this issue Jun 15, 2012 · 0 comments
Labels
A-codegen Area: Code generation

Comments

@msullivan
Copy link
Contributor

This code

fn main() {
    let arr = [1,2,3]/3;
    let arr2 = arr;
    log(error, arr);
    log(error, arr2);
}

will cause an llvm assertion to be tripped.
@ghost ghost assigned msullivan Jun 15, 2012
@msullivan msullivan removed their assignment Jun 16, 2014
RalfJung pushed a commit to RalfJung/rust that referenced this issue Oct 29, 2022
@bors
Auto merge of rust-lang#2630 - RalfJung:windows-parking, r=RalfJung
a0fbf0d 
Implement thread parking for Windows

Cc rust-lang/miri#2628

Based on code by `@DrMeepster.` However I adjusted `WakeByAddressSingle`: I don't think the futex value is compared *again* after the thread is woken up. I see nothing in the Windows docs indicating such a comparison, and the Linux futex does not behave like that either. So we only check the value before sleeping, same as on Linux.
Aaron1011 pushed a commit to Aaron1011/rust that referenced this issue Jan 6, 2023
@bors
Auto merge of rust-lang#2630 - RalfJung:windows-parking, r=RalfJung
e3a44a9 
Implement thread parking for Windows

Cc rust-lang/miri#2628

Based on code by `@DrMeepster.` However I adjusted `WakeByAddressSingle`: I don't think the futex value is compared *again* after the thread is woken up. I see nothing in the Windows docs indicating such a comparison, and the Linux futex does not behave like that either. So we only check the value before sleeping, same as on Linux.
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@reisnera @celinval @adpaco-aws
Add unchecked/SIMD bitshift checks and disable CBMC flag (rust-lang#2630
7fc9fa7 
)

Co-authored-by: Celina G. Val <[email protected]>
Co-authored-by: Adrian Palacios <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-codegen Area: Code generation
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@msullivan