Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

Improve selectify

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

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
Lỗi
Độ rõ ràng
Khá rõ ràng
Mức độ hoạt động
Đình trệ
Công nghệ
cpp, wasm
Lĩnh vực
compilers, testing-qa

Hướng nghiên cứu

Bắt đầu với logic selectify gần src/passes/RemoveUnusedBrs.cpp#L1077 và các trường hợp hiện có trong lit/remove-unused-brs.wast. Thêm trường hợp hồi quy early-return được cung cấp và xác minh rằng test mong đợi if không có nhánh false được canonicalize để selectify có thể tạo ra dạng select như đã示.

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

Mô tả

I think I already mentioned a similar problem, but it was a long time ago.

If we have an "if" branch without a false arm, you selectify stops working:

function selectify_early_return(x: i32): i32 {
  if (x) return x;
  return 1;
}

Just add this test into lit/remove-unused-brs.wast as:

  ;; CHECK:      (func $selectify-early-return (param $x i32) (result i32)
  ;; CHECK-NEXT:  (if
  ;; CHECK-NEXT:   (local.get $x)
  ;; CHECK-NEXT:   (return
  ;; CHECK-NEXT:    (local.get $x)
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT:  (i32.const 1)
  ;; CHECK-NEXT: )
  (func $selectify-early-return (param $x i32) (result i32)
    (if
      (local.get $x)
      (return (local.get $x))
    )
    (i32.const 1)
  )

But obversely we expect something like this insted:

(func $selectify-early-return (param $x i32) (result i32)
  (select
    (local.get $0)
    (i32.const 1)
    (local.get $0)
  )
)

The main problem here: https://github.com/WebAssembly/binaryen/blob/main/src/passes/RemoveUnusedBrs.cpp#L1077
selectify just skip optimisation if ifFalse is not exists. So it is necessary to canonicalze such cases before applying selectify. Any idea how best to do this?

Ngôn ngữ chính
WebAssembly
Star
8.6k
Fork
885
Merge trung bình
2 ngày 4 giờ
Pull request đã merge (30 ngày)
77

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.

Issue khác của WebAssembly/binaryen

Tất cả issue của WebAssembly/binaryen

Issue tương tự

Thêm issue về Compilers

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.