Implement `unbounded_shl`/`unbounded_shr`
Chưa có ai nhận issue này.
- Ngôn ngữ chính
- Rust
- Star
- 3.4k
- Fork
- 126
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
These recent Rust integer methods semantically map cleanly onto OpShiftLeftLogical/OpShiftRightLogical.
This is in contrast to normal Rust shifts, whose semantic is such that shifting by the amount that is equal to or larger than number of bits in an integer is UB:
error: this arithmetic operation will overflow
--> src/main.rs:3:20
|
3 | println!("{}", u32::MAX >> 32);
| ^^^^^^^^^^^^^^ attempt to shift right by `32_i32`, which would overflow
|
= note: `#[deny(arithmetic_overflow)]` on by default
My understanding is that rust-gpu doesn't map these methods to those instructions yet, probably resulting in use of conditional logic from standard library, which is less efficient, at least without additional optimizations:
impl u32 {
pub const fn unbounded_shr(self, rhs: u32) -> u32 {
if rhs < Self::BITS {
unsafe { self.unchecked_shr(rhs) }
} else {
0
}
}
}
Hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Hướng nghiên cứu
Bắt đầu bằng cách xác định phần lowering các method số nguyên của Rust và các đường đi của code phát ra OpShiftLeftLogical và OpShiftRightLogical. Xác minh rằng unbounded_shl và unbounded_shr sử dụng trực tiếp các instruction đó, bao gồm cả các giá trị dịch chuyển lớn hơn hoặc bằng độ rộng của số nguyên, đồng thời thêm hoặc cập nhật coverage cho các trường hợp đó.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Đánh giá
- Công nghệ
- rust
- Lĩnh vực
- compilers
- Loại issue
- Tính năng
- Độ khó
- 3/5
- Thời gian dự kiến
- 1-2 ngày
- Mức độ hoạt động
- Đình trệ
- Độ rõ ràng
- Khá rõ ràng
- Mức phù hợp với người mới
- 42/100