- So sánh giá trị tìm kiếm x với khoá của gốc: + Nếu trùng: tìm kiếm thoả mãn.
3 MÃ ĐỊA CHỈ
3.3.4 Sinh mã ba địa chỉ cho một số lệnh điều khiển
Để sinh ra một nhãn mới, ta dùng thủ tục newlable. Với mỗi biểu thức logic E, chúng ta kết hợp với 2 nhãn
E.true : Nhãn của dòng điều khiển nếu E là true. E.false : Nhãn của dòng điều khiển nếu E là false. S.code : Mã lệnh 3 địa chỉ được sinh ra bởi S.
S.next : Là nhãn mà lệnh 3 địa chỉ đầu tiên sẽ thực hiện sau mã lệnh của S. S.begin : Nhãn chỉ định lệnh đầu tiên được sinh ra cho S.
* Dịch biểu thức logic trong các lệnh điều khiển
Nếu E có dạng a<b thì mã lệnh sinh ra có dạng if a<b goto E.true
goto E.false
Nếu E có dạng E1 or E2 . Nếu E1 là true thì E là true. Nếu E1 là false thì phải đánh giá E2. Do đó E1.false là nhãn của lệnh đầu tiên của E2. E sẽ true hay false phụ thuộc vào E2 là true hay false.
Tương tự cho E1 and E2.
Định nghĩa trực tiếp cú pháp cho việc dịch các biểu thức logic thành mã lệnh 3 địa chỉ. Chú ý true và false là các thuộc tính kế thừa.
Sản xuất Luật ngữ nghĩa
S -> if E then S1 E.true := newlable; E.false := S.next; S1.next := S.next;
S.code := E.code || gen(E.true „:‟) || S1.code S -> if E then S1 else S2 E.true := newlable;
E.false := newlable; S1.next := S.next; S2.next := S.next;
S.code := E.code || gen(E.true „:‟) || S1.code || gen(„goto‟ S.next) || gen(E.false „:‟) || S2.code
S -> while E do S1 S.begin := newlable; E.true := newlable;
E.false := S.next S1.next := S.begin;
S.code := gen(S.begin „:‟) || E.code || gen(E.true „:‟) || S1.code || gen(„goto‟ S.begin)
Ví dụ 1: Cho mã nguồn sau: while a<>b do
if a>b then a:=a-b else b:=b-a Mã ba địa chỉ: L1: if a<>b goto L2 goto Lnext L2: if a>b goto L3 goto L4 L3: t1 := a-b a := t1 goto L1 L4: t2 := b-a b := t2 goto L1 Lnext: 3.3.5.Các khai báo.
Đối với các khai báo định danh, ta không sinh ra mã lệnh tương ứng trong mã ba địa chỉ mà dùng bảng ký hiệu để lưu trữ. Như vậy có thể hiểu là kết quả của sinh mã ba địa chỉ từ chương trình nguồn là tập lệnh ba địa chỉ và bảng ký hiệu quản lý các định danh.
Với mỗi định danh, ta lưu các thông tin về kiểu và địa chỉ tương đối để lưu giá trị cho định danh đó.
Ví dụ:
Giả sử ký hiệu offset để chứa địa chỉ tương đối của các định danh; mỗi số interger chiếm 4 byte, số real chứa 8 byte và mỗi con trỏ chứa 4 byte; giả sử hàm enter dùng để nhập thông tin về kiểu và địa chỉ tương đối cho một định danh, chúng ta có ví dụ dưới đây mô ta việc sinh thông tin vào bảng ký hiệu cho các khai báo.
P -> D offset := 0 D -> D ; D
D -> id : T enter(id.name,T.type, offset) ; offset := offset + T. width
T -> interger T.type := interger;
T. width := 4
T -> real T.type := real; T. width := 8 T -> array [ num ] of T1 T.type := array(num.val,T1.type);
T.width := num.val * T1. width T -> ^T1 T.type := pointer(T1.type)
T. width := 4
Trong các đoạn mã ba địa chỉ, khi đề cập đến một tên, ta sẽ tham chiếu đến bảng ký hiệu để lấy thông tin về kiểu, địa chỉ tương ứng để sử dụng trong các câu lệnh. Chú ý: Địa chỉ tương đối của một phần tử trong mảng, ví dụ x[i], được tính bằng địa chỉ của x cộng với i lần độ dài của mỗi phần tử
BÀI TẬP
Câu 1:
Chuyển các câu lệnh hoặc đoạn chương trình sau thành mã ba địa chỉ: 1) a * - (b+c)
2) đoạn chương trình C
main ()
{ int i; int a[100]; i=1; while(i<=10) { a[i]=0; i=i+1;} } Câu 2: Dịch biểu thức : a * - ( b + c) thành các dạng : a) Cây cú pháp. b) Ký pháp hậu tố. c) Mã lệnh máy 3 - địa chỉ.
Câu 3: Trình bày cấu trúc lưu trữ biểu thức
( a + b) * ( c + d ) + ( a + b + c)
ở các dạng : a) Bộ tứ . b) Bộ tam. c) Bộ tam gián tiếp.
Câu 4:
Sinh mã trung gian ( dạng mã máy 3 - địa chỉ) cho các biểu thức C đơn giản sau : a) x = 1 b) x = y
c) x = x + 1 d) x = a + b * c e) x = a / ( b + c) - d * ( e + f )
Câu 5:
Sinh mã trung gian (dạng mã máy 3 - địa chỉ) cho các biểu thức C sau: a) x = a [i] + 11 b) a [i] = b [ c[j] ] c) a [i][j] = b [i][k] * c [k][j] d) a[i] = a[i] + b[j] e) a[i] + = b[j]
Câu 6. Dịch lệnh gán sau thành mã máy 3 - địa chỉ :