Атрибутная грамматика

Атрибуты:

s, R – синтезированный

p, A – унаследованный

Во всех правилах вида A'  a B y A'

(где A', B – нетерминалы, a – терминал, y – операционный символ), правила вычисления атрибутов совпадают с приведёнными в пункте 5) и приводятся только в нём.

Аналогичное касается правил вида A  B A'(пункт 4) иA'  (пункт 6)

1. E_s1  EP_s2 EE_s3 {присвоить}_A1,A2

s₁s₂, A₁s₂, A₂s₃

2. EE_s1  = D_s2 EE_s3 {присвоить}_A1,_A2

s₁, A₁s₂, A₂s₃

3. EE_s1  = 

s₁неопр

4. D_s1  K_s2 D'_p1,s3

p₁ s₂, s₁s₃

5. D'_p1,s1  || K_s2 {дизъюнкция}_A1,A2,R D'_p2,s3

A₁p₁, A₂s₂, p₂R, s₁s₃

6. D'_p1,s1  

s₁p₁

7. K_s1  RL_s2 K'_p1,s3

8. K'_p1,s1  && RL_s2 {конъюнкция}_A1,A2,R K'_p2,s3

9. K'_p1,s1  

10. RL_s1  AD_s2 RL'_p1,s3

11. RL'_p1,s1  < AD_s2 {меньше}_A1,A2,R RL'_p2,s3

12. RL'_p1,s1  > AD_s2 {больше}_A1,A2,R RL'_p2,s3

13. RL'_p1,s1  <= AD_s2 {меньше_равно}_A1,A2,R RL'_p2,s3

14. RL'_p1,s1  >= AD_s2 {больше_равно}_A1,A2,R RL'_p2,s3

15. RL'_p1,s1  == AD_s2 {равно}_A1,A2,R RL'_p2,s3

16. RL'_p1,s1  != AD_s2 {неравно}_A1,A2,R RL'_p2,s3

17. RL'_p1,s1  

18. AD_s1  ML_s2 AD'_p1,s3

19. AD'_p1,s1  + ML_s2 {сложить}_A1,A2,R AD'_p2,s3

20. AD'_p1,s1  - ML_s2 {вычесть}_A1,A2,R AD'_p2,s3

21. AD'_p1,s1­  

22. ML_s1  UN_s2 ML'_p1,s3

23. ML'_p1,s1  * UN_s2 {умножить}_A1,A2,R ML'_p2,s3

24. ML'_p1,s1  / UN_s2 {разделить}_A1,A2,R ML'_p2,s3

25. ML'_p1,s1  

26. UN_s1  EP_s2

s₁s₂

27. UN_s1  len ( vi_p1 ) {норма}_A1,R

A₁p₁, s₁R

28. UN_s1  + UN_s2 s₁  s₂

29. UN_s1  - UN_s2 {унарный_минус}_A1,R

A₁s₂, s₁R

30. UN_s1  ! UN_s2 {отрицание}_A1,R

A₁s₂, s₁R

31. EP_s1  E1_s2 EPP_p1,s3

p₁s₂, s₁s₃

32. EPP_p1,s1  [ E_s2 ] {индекс}_A1,A2,R EPP_p2,s3

A₁p₁, A₂s₂, p₂R, s₁s₃

33. EPP_p1,s1  

s₁p₁

34. E1_s1  idv_p1

s₁p₁

35. E1_s1  ivc_p1

s₁p₁

36. E1_s1  con_p1

s₁p₁

37. E1_s1  ( E_s2 )

s₁s₂

Семантические процедуры

Ниже везде, где упоминается тип int, подразумевается int или ограниченный тип. Атрибуты могут представлять собой указатели или константы. Если входные параметры арифметической процедуры – константы, результат вычисляется непосредственно, и не генерируется никаких триад.

{присвоить} _A1,A2

Если первый параметр – ограниченного типа, генерируются триады:

bound A₁, A₂

mov A₁, A₂

В противном случае генерируется триада mov A₁, A₂

Если A₂ == неопр, ничего не делать.

Исключительные ситуации:

Типы обоих параметров не равны одновременно int, double или vector[n]

{дизъюнкция} _A1,A2,R

Генерируется триада or A₁, A₂

R = адрес триады.

Исключительная ситуация:

Типы обоих параметров не равны одновременно int.

{конъюнкция} _A1,A2,R

Генерируется триада and A₁, A₂

R = адрес триады.

Исключительная ситуация:

Типы обоих параметров не равны одновременно int.

{меньше} _A1,A2,R

Генерируется триада lwr A₁, A₂

R = адрес триады.

Исключительная ситуация:

Типы обоих параметров не равны одновременно int или double.

{больше} _A1,A2,R

Генерируется триада gtr A₁, A₂

R = адрес триады.

Исключительная ситуация:

Типы обоих параметров не равны одновременно int или double.

{меньше_равно} _A1,A2,R

Генерируется триада le A₁, A₂

R = адрес триады.

Исключительная ситуация:

Типы обоих параметров не равны одновременно int или double.

{больше_равно} _A1,A2,R

Генерируется триада ge A₁, A₂

R = адрес триады.

Исключительная ситуация:

Типы обоих параметров не равны одновременно int или double.

{равно} _A1,A2,R

Генерируется триада equ A₁, A₂

R = адрес триады.

Исключительная ситуация:

Типы обоих параметров не равны одновременно int или double.

{неравно} _A1,A2,R

Генерируется триада ne A₁, A₂

R = адрес триады.

Исключительная ситуация:

Типы обоих параметров не равны одновременно int или double.

{сложить} _A1,A2,R

Если типы обоих параметров одновременно равны vector[n], генерируются триады:

add A₁+i, A₂+i // для всехi от 0 доn-1

R = адрес первой триады.

В противном случае генерируется триада add A₁, A₂

R = адрес триады.

Исключительная ситуация:

Типы обоих параметров не равны одновременно int, double, или vector[n].

{вычесть} _A1,A2,R

Если типы обоих параметров одновременно равны vector[n], генерируются триады:

sub A₁+i, A₂+i // для всехi от 0 доn-1

R = адрес первой триады.

В противном случае генерируется триада sub A₁, A₂

R = адрес триады.

Исключительная ситуация:

Типы обоих параметров не равны одновременно int, double или vector[n].

{умножить} _A1,A2,R

Если оба параметра имеют тип vector[n], генерируются триады:

mul A₁, A₂

mul A₁+i, A₂+i  для всехi от1доn-1

add $-2, $-1 

R = $

Если один параметр – вектор, а другой - скаляр (например, A₁ – вектор), генерируются триады:

mul A₁+i, A₂ // для всехi от0доn-1

R = адрес первой триады.

Если оба параметра имеют скалярный тип, генерируется триада mul A₁, A₂

R = адрес триады.

Исключительная ситуация:

Тип хотя бы одного из параметров не равен int, double или vector[n].

{разделить} _A1,A2,R

Генерируется триада div A₁, A₂

R = адрес триады.

Исключительная ситуация:

Типы обоих параметров не равны одновременно int или double.

{норма} _A,R

A должен иметь тип vector[n].

Для (n==1) R = A

Для n>1 генерируются триады (арифметика адресная, $ означает номер текущей триады):

mul A,A

mul A+i,A+i 

add $-2, $-1 повторяется n-1 раз для i от 1 до n-1

sqrt $-1

R = $

{унарный_минус} _A1,R

Генерируется триада neg A₁

R = адрес триады.

Исключительная ситуация:

Тип параметра не равен int или double.

{отрицание} _A1,R

Генерируется триада not A₁

R = адрес триады.

Исключительная ситуация:

Тип параметра не равен int.

{индекс} _A1,A2,R

Если второй параметр – константа, то:

R = A₁+A₁.

Если это переменная типа int, то генерируются триады:

mul A₂, sizeof(*A₁) // sizeof(*A₁) – размер элемента массива A₁

add A₁, $-1 // Здесь первый параметр триады – адрес переменной выступает в качестве числа

R = $.

Исключительная ситуация:

Тип первого параметра – не массив или вектор, или тип второго – не int.