Lower target layout intrinsics in the Whale adapter

Đang mở
  • Có gì không ổn?
#1,034 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

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

Đánh giá

Độ khó
4/5
Thời gian dự kiến
3-5 ngày
Mức phù hợp với người mới
35/100
Loại issue
Tính năng
Độ rõ ràng
Cần làm rõ
Mức độ hoạt động
Sôi nổi
Công nghệ
rust
Lĩnh vực
compilers

Hướng nghiên cứu

Start by reading whale/src/codegen/expression.rs:23 and the existing layout intrinsic entry points referenced in the issue. Before implementing, discuss the target size/alignment contract with @LunaStev, since the issue explicitly leaves its authoritative source unresolved. Run the compiler’s size_of capability probe and inspect layout lowering; done means supported scalar, alias, and aggregate layouts match the selected Wave target contract, size_of and align_of share those facts, and missing facts produce clear errors with output preserved.

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

Mô tả

discussion enhancement help wanted

Motivation

A std::mem::layout size_of() call succeeds through LLVM but Whale treats __wave_size_of as an unsupported intrinsic/external call. align_of belongs to the same target-layout contract.

Starting point: whale/src/codegen/expression.rs:23.

Validation

Audited canonical Wave 540728c2eb6cc12f5c69c3fb3fdb96e07ba059a4 (0.0.1-alpha-dev), whose tree matches the local checkout. Validation: Executed size_of capability probe and inspected existing layout intrinsic entry points. Executed compiler probes use the matching checkout-built compiler and std on Linux amd64 (Rust 1.89.0 / LLVM 21.1.8). Source/header or mocked checks are not native execution on another OS.

Scope

Agree how authoritative target size/alignment facts reach the adapter, then lower the supported intrinsic subset. Host Rust size_of and backend guesses must not define Wave layout.

Related: #996, #881. These links do not claim those broader or completed scopes are unfinished.

Design discussion required

This issue records a proposal or an unresolved contract; it is not approval to choose new semantics. Please mention @LunaStev to discuss the design before starting implementation.

Completion criteria

  • Supported scalar/alias/aggregate layouts match the selected Wave target contract.
  • size_of and align_of use the same authoritative facts.
  • Missing or unsupported layout facts are clear source/internal errors as appropriate, with output preservation.
Ngôn ngữ chính
Rust
Star
56
Fork
21
Merge trung bình
23 giờ 20 phút
Pull request đã merge (30 ngày)
45

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 wavefnd/Wave

Tất cả issue của wavefnd/Wave

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.