Cranelift: interpreter: incorrect edge-case handling in fcvt_to_{u,s}int.i128

Đang mở Phù hợp với người mới
  • Có gì không ổn?
#15,198 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

Maintainer thường phản hồi trong vòng 1 ngày

@ryancbuckley đang làm issue này rồi.

Từ ngày 8/11/2026.

  • #15199 của @ryancbuckley — đang mở

Đánh giá

Độ khó
2/5
Thời gian dự kiến
1-3 giờ
Mức phù hợp với người mới
83/100
Loại issue
Lỗi
Độ rõ ràng
Đặc tả rõ ràng
Mức độ hoạt động
Sôi nổi
Công nghệ
rust
Lĩnh vực
backend

Hướng nghiên cứu

Đọc cranelift/interpreter/src/step.rs ở phần chuyển đổi từ float sang i128 và tài liệu hướng dẫn về lệnh trong cranelift/codegen/meta/src/shared/instructions.rs. Sau đó, kiểm tra runtests/i128-conversion.clif và chạy bài kiểm tra Cranelift interpreter phù hợp. Hoàn tất khi các phép chuyển đổi có dấu nằm ngoài phạm vi gây trap và các phép chuyển đổi không dấu trả về giá trị mong đợi với đầu vào thuộc [2¹²⁷, 2¹²⁸).

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

bug cranelift

Minor/pedantic bug. The float-to-int128 conversions in the interpreter misbehave when passed very large (or very negative) values:

  • fcvt_to_sint.i128 returns i128::MAX or i128::MIN for out-of-range inputs. The doc comments say it should trap.
  • fcvt_to_uint.i128 and fcvt_to_uint_sat.i128 clamp some large inputs (in the interval [2¹²⁷, 2¹²⁸)) to i128::MAX, even though those values should fit in the result.

I noticed this issue because runtests/i128-conversion.clif matches the implementation, so it has three incorrect expectations:

  • Line 14:
    • ; run: %fcvt_to_uint_i128(0x1.fffffep127) == 170141183460469231731687303715884105727
    • Should return: 340282346638528859811704183484516925440
  • The nearly identical call on line 40 should have the same result:
    • ; run: %fcvt_to_uint_sat_i128(0x1.fffffep127) == 170141183460469231731687303715884105727
  • Line 28:
    • ; run: %fcvt_to_sint_i128(0x1.fffffep127) == 170141183460469231731687303715884105727
    • Should trap

The root cause is that the interpreter's fcvt_to_uint and fcvt_to_sint cast the input with as i128 before the bounds check.

Ngôn ngữ chính
Rust
Star
18.8k
Fork
1.9k
Merge trung bình
1 ngày 3 giờ
Pull request đã merge (30 ngày)
380

Chuẩn bị môi trường

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.

Issue khác của bytecodealliance/wasmtime

Tất cả issue của bytecodealliance/wasmtime

Issue tương tự

Thêm issue về Rust

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.