Skip to content

trans trips llvm assertions when copying fixed length vectors #2630

New issue

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

#

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

Already on GitHub? # 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 <celinval@amazon.com>
Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
# for free to join this conversation on GitHub. Already have an account? # 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