Rust-GPU / Rust-GPU/rust-gpu

Implement `unbounded_shl`/`unbounded_shr`

Đang mở
#403 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

Chưa có ai nhận issue này.

enhancement
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

Mở hướng dẫn đóng góp

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. 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.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. 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

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.