Các mẫu tối ưu hóa lổ nhìn trộm

Question

Tôi đã đọc kỹ các kỹ thuật biên dịch tối ưu hóa cục bộ nhưng tôi vẫn không hiểu cách chúng được triển khai. Ý tưởng là trình tối ưu hóa xem xét 'cửa sổ' của mã mỗi lần và bằng cách nào đó phát hiện các mẫu và thay thế chúng bằng các phiên bản được tối ưu hóa hơn.

Câu hỏi của tôi là, làm cách nào để khám phá các mẫu này? (giả sử nền tảng của bạn là một máy ảo xuất ra mã lắp ráp cho một máy tính được tạo sẵn, như Hack của Schocken).

Mọi người có thực sự kiểm tra mã theo cách thủ công (sử dụng Biểu đồ kiểm soát hoặc DAG hoặc bất kỳ thứ gì) và sau đó thu thập tất cả các mẫu đã xác định và mã hóa chúng vào trình tối ưu hóa không? Hoặc là có một cách tự động.

Ví dụ: bạn cung cấp mã được tối ưu hóa trong một máy phân tích và nó rút ra các mẫu đã nói. Nếu vậy, làm sao người ta có thể bắt đầu viết một?

Answer 1

Tối ưu hóa lổ nhìn trộm cổ điển không phải là về giảm cường độ mạnh và những thứ khác bạn đặt tên. Họ là 2-3 chuỗi hướng dẫn ví dụ như

BRANCH FALSE $1 
BRANCH $2 
$1: 

có thể được giảm xuống còn

BRANCH TRUE $2 

Trình tự như thế này có thể phát sinh trong máy phát mã ngây thơ như đi kèm với trình biên dịch đơn-pass mà không làm tạo ra các AST, chẳng hạn như một số trình biên dịch COBOL mà tôi đã làm việc.

Answer 2

Tùy thuộc vào bạn có nên viết máy phân tích của riêng bạn hoặc sử dụng bộ phân tích hiện tại hay không. Trong cả hai trường hợp, máy phân tích của bạn tiếp tục kiểm tra mã cho đến khi nó không tối ưu hóa. Nếu bạn lấy ví dụ về GCC, nó có các đường chuyền cụ thể để tối ưu hóa. Mã trung gian của chương trình của bạn được cung cấp cho các lượt thực hiện cái này và thực hiện tối ưu mã của bạn. Ngoài ra bất kỳ vượt qua có thể thực hiện nhiều hơn một lần.
Nếu bạn thực sự muốn trải qua cách viết các tối ưu hóa này, chỉ cần đi qua các tệp .h trong GCC.