TAILIEUCHUNG - Bài giảng Chương trình dịch: Bài giảng 8 - Nguyễn Phương Thái

Bài giảng 8 trình bày về mã trung gian trong chương trình dịch. Thông qua bài giảng này người học có thể biết được các ưu điểm của mã trung gian, nắm bắt được những kiến thức cơ bản về mã ba địa chỉ, biết được cú pháp điều khiển sinh mã 3 địa chỉ và một số biểu thức,. . | Sinh mã trung gian Nguyễn Phương Thái 2009 Mục tiêu Sinh mã trung gian có những ưu điểm như sau: Dễ thiết kế từng phần Sinh được mã độc lập với từng máy tính cụ thể. Từ đó làm giảm độ phức tạp của sinh mã thực sự. Dễ tối ưu mã Mã ba địa chỉ Các câu lệnh gán có dạng x := y op z, trong đó op là một phép toán số học hai ngôi hoặc phép toán logic. Các phép gán có dạng x := op y, trong đó op là phép toán một ngôi. Các phép toán một ngôi chủ yếu là phép trừ, phép phủ định logic, phép chuyển đổi kiểu, phép dịch bít. Các câu lệnh sao chép dạng x := y, gán y vào x. Lệnh nhảy không điều kiện goto L. Câu lệnh ba địa chỉ có nhãn L là câu lệnh được thực hiện tiếp theo. Các lệnh nhảy có điều kiện như if x relop y goto L. Câu lệnh này thực hiện một phép toán quan hệ cho x và y, thực hiện câu lệnh có nhãn L nếu quan hệ này là đúng, nếu trái lại sẽ thực hiện câu lệnh tiếp theo. Câu lệnh param x và call p,n dùng để gọi thủ tục. Còn lệnh return y để trả về một giá trị lưu trong y. Ví dụ để gọi thủ tục p(x1,x2,.,xn) thì sẽ sinh các câu lệnh ba địa chỉ tương ứng như sau: param x1 param x2 . . . param xn call p, n Các phép gán chỉ số có dạng x := y[i] có ý nghĩa là gán cho x giá trị tại vị trí i sau y tương tự đối với x[i] := y Cú pháp điều khiển sinh mã 3 địa chỉ Đối với mỗi ký hiệu X, chúng ta ký hiệu: là nơi để chứa mã ba địa chỉ sinh ra bởi X (dùng để chứa các kết quả trng gian). Vì thế sẽ có một hàm định nghĩa là newtemp dùng để sinh ra một biến trung gian (biến tạm) để gán cho . chứa đoạn mã ba địa chỉ của X thủ tục gen để sinh ra câu lệnh ba địa chỉ. Biểu thức số học “x := a + ( b * c )” Sản xuất Luật ngữ nghĩa S -> id := E E -> E1 + E2 E -> E1 * E2 E -> - E1 E -> ( E1 ) E -> id Biểu thức số học “x := a + ( b * c )” Sản xuất Luật ngữ nghĩa S -> id := E :=

• Kỹ thuật lập trình
• Chương trình dịch
• Bài giảng Chương trình dịch
• Mã trung gian
• Mã ba địa chỉ
• Cú pháp điều khiển sinh mã 3 địa chỉ
• Biểu thức số học
• Ứng dụng chương trình dịch
• Chương trình dịch điển hình
• Một hệ thống dịch
• Đặc trưng của chương trình dịch
• Biên dịch chương trình
• Ngữ cảnh của trình biên dịch
• Phân tích từ vựng
• Phân tích cú pháp
• Nhập môn chương trình dịch
• Khái niệm chương trình dịch
• Cấu trúc một chương trình dịch
• Bài toán chương trình dịch
• Bài giảng Nhập môn chương trình dịch
• Kỹ thuật dịch
• Quá trình biên dịch
• Ngôn ngữ lập trình cấp cao
• Ngôn ngữ học
• Phương pháp dịch
• Xây dựng chương trình dịch
• Đề thi Xây dựng chương trình dịch
• Ôn thi Xây dựng chương trình dịch
• Ôn tập Xây dựng chương trình dịch
• Các loại chương trình dịch
• Ngôn ngữ máy
• Ngôn ngữ bậc cao
• Kiến trúc của một chương trình dịch
• Bài giảng Xây dựng chương trình dịch
• Máy ngăn xếp
• Xây dựng bảng ký hiệu
• Chương trình đích được dịch từ
• Cài đặt chương trình dịch
• Sinh mã trung gian
• Trình biên dịch
• Bài giảng Trình biên dịch
• Ngôn ngữ lập trình
• Đặc tả ngôn ngữ lập trình
• Các giai đoạn của trình biên dịch
• Trình biên dịch trực tiếp cú pháp
• Phân tích ngữ nghĩa
• Biên dịch trực tiếp cú pháp
• Máy trừu tượng kiểu chồng
• Ngữ nghĩa của trình biên dịch
• Cú pháp của trình biên dịch
• Trình biên dịch đơn giản
• Thiết kế trình biên dịch
• Bộ xử lý ngôn ngữ
• Dịch trực tiếp cú pháp
• Định nghĩa trực tiếp cú pháp
• Đồ thị phụ thuộc
• Xây dựng cây cú pháp
• Kiểm tra kiểu
• Sinh mã cho lệnh gán
• Biểu thức logic
• Cấu trúc lập trình
• Quản lý dịch hại tổng hợp
• Giáo trình Quản lý dịch hại tổng hợp
• Xây dựng chương trình huấn luyện
• Huấn luyện quản lý dịch hại
• Quản lý dịch hại tổng hợp MĐ07
• Tiêu diệt dịch hại
• Văn phạm sản sinh
• Suy dẫn trái
• Suy dẫn phải
• Sơ đồ cú pháp
• Công thức siêu ngữ Backus
• Sơ đồ cú pháp của KPL
• Bộ phân tích từ vựng
• Từ tố của KPL
• Từ tố có cấu trúc cú pháp
• Bài toán phân tích cú pháp
• Giải thuật phân tích top down quay lui
• Ký hiệu không kết thúc A
• Điều kiện để thực hiện giải thuật
• Phân tích cú pháp tiền định
• bảng phân tích tiền định
• Văn phạm LL
• Văn phạm G phi ngữ cảnh
• Ngôn ngữ phi ngữ cảnh
• Phương pháp đệ quy trên xuống
• bộ phân tích cú pháp
• Bộ phân tích cú pháp KPL
• Cú pháp của lệnh KPL