Riscrithm: Trình hợp ngữ RISC-V trực quan và tối ưu hóa mã viết bằng Go

Riscrithm là một phương ngữ hợp ngữ vĩ mô (macro-assembly) cấp cao được viết bằng ngôn ngữ lập trình Go, giúp biên dịch mã nguồn trực tiếp xuống hợp ngữ RISC-V thuần túy. Hãy tưởng tượng nó như một cây cầu nối giữa tính dễ đọc của ngôn ngữ cấp cao và khả năng kiểm soát xác định, trực tiếp của phần cứng "bare-metal".

Bài viết này sẽ đi sâu vào cách hoạt động của trình biên dịch, quy tắc cú pháp và những gì diễn ra "bên capo" của công cụ thú vị này.

Cách sử dụng và Cấu trúc tệp

Để biên dịch mã nguồn, người dùng sử dụng công cụ dòng lệnh (CLI) riscrithm với cú pháp đơn giản:

riscrithm "source_code_file" "assembly_target_file" [-o/--optimize]

Mỗi tệp Riscrithm phải khai báo phần mục tiêu (target section) và điểm nhập (entrypoint) ở ngay đầu tệp. Các định nghĩa macro cũng là những dòng duy nhất được phép tồn tại mà không cần thụt lề bên ngoài một khối nhãn.

Bạn có thể định nghĩa các macro thay thế văn bản bằng từ khóa define, rất lý tưởng để tạo bí danh cho thanh ghi hoặc các hàm nội tuyến.

Cú pháp, Nhãn và Khối thô

Riscrithm sử dụng quy tắc phạm vi dựa trên thụt lề (indentation) một cách nghiêm ngặt, tương tự như Python nhưng áp dụng cho hợp ngữ.

Các nhãn (labels) định nghĩa các khối thực thi và phải kết thúc bằng dấu hai chấm. Mọi lệnh bên trong một nhãn phải được thụt lề. Nếu bạn cần bỏ qua bộ tiền xử lý Riscrithm và viết hợp ngữ RISC-V thô, hãy thêm tiền tố !! vào nhãn đó. Trình biên dịch sẽ giữ nguyên mọi thứ bên trong khối đó mà không mở rộng macro.

Các tính năng cốt lõi và Lệnh điều khiển

Riscrithm ánh xạ các câu lệnh dễ đọc trực tiếp đến các lệnh phần cứng. Thay vì phải nhớ các mã opcode cấp đặc quyền, người dùng có thể sử dụng các lệnh gọi hệ thống rõ ràng như interrupt.u, interrupt.s, wait, trap hay halt.

Về quy ước đặt tên, công cụ này khuyến khích sự phân chia rõ ràng:

• Biến và Thanh ghi: camelCase (ví dụ: firstNum).
• Nhãn và Khối mã: snake_case (ví dụ: loop_start).
• Hằng số: SCREAMING_SNAKE_CASE (ví dụ: MAX_BUFFER_SIZE).

Toán tử và Biểu thức

Trình biên dịch hỗ trợ các toán tử gán, toán học và thao tác bộ nhớ phong phú. Điểm thú vị là trình biên dịch đủ thông minh để tự động thêm hậu tố i (ví dụ: addi, xori) khi phát hiện bạn đang làm việc với một số nguyên (immediate) thay vì một thanh ghi.

Đối với rẽ nhánh có điều kiện, Riscrithm sử dụng kiểu ternary if/else nội tuyến. Trình biên dịch sẽ tự động ánh xạ logic của bạn sang các lệnh nhảy có điều kiện của RISC-V như beq, bne, blt, hoặc bge.

Vòng lặp được xây dựng theo kiểu cũ sử dụng nhãn, điều kiện và lệnh nhảy, mang lại sự linh hoạt tối đa cho lập trình viên.

Kiến trúc Trình biên dịch và Tối ưu hóa

Riscrithm không phải là một động cơ tối ưu hóa đa lượt cồng kềnh. Nó hoạt động trên hệ thống hai lượt cực nhanh:

1. Lượt 1 (Làm sạch): Đọc tệp nguồn, loại bỏ nhận xét, chuẩn hóa khoảng trắng và xác minh quy tắc thụt lề.
2. Lượt 2 (Phân tích & Tối ưu hóa): Phân tích lệnh, thay thế macro, mở rộng các viết tắt và áp dụng tối ưu hóa nếu cờ -o được bật.

Khi biên dịch với -o hoặc --optimize, lượt thứ hai sẽ áp dụng một quy trình quét AST (Cây cú pháp trừu tượng) nhẹ nhàng để làm sạch mã theo ba cách:

• Loại bỏ gán chết (Dead Assignment Elimination): Các sửa đổi trùng lặp liên tiếp cho cùng một thanh ghi sẽ bị loại bỏ.
• Loại bỏ toán học nhận dạng (Identity Math Elimination): Các phép toán không làm thay đổi giá trị (như cộng 0 hoặc chia 1) sẽ bị xóa.
• Giảm sức mạnh (Strength Reduction): Đây là tính năng ấn tượng nhất. Nếu bạn nhân hoặc chia với một lũy thừa của 2, trình biên dịch sẽ ghi đè lệnh đó bằng phép dịch bit (bit-shift) cực kỳ hiệu quả. Ví dụ: foo = bar * 2 sẽ trở thành slli foo, bar, 1.

Lộ trình phát triển

Tác giả đang tích cực phát triển phiên bản v1.1.0 với các tính năng như hệ thống nhập module (module imports) tốt hơn, xử lý lỗi chính xác hơn với theo dõi dòng/cột, và hỗ trợ các mệnh đề if độc lập để các mẫu bảo vệ (guard clauses) sạch sẽ hơn.

Riscrithm là một công cụ hứa hẹn giúp việc viết hợp ngữ trở nên ít đau đầu hơn mà vẫn giữ được hiệu suất cao của phần cứng.