minidecaf/specs/s3.g4 at md-dzy · decaf-lang/minidecaf · GitHub

8000 minidecaf/specs/s3.g4 at md-dzy · decaf-lang/minidecaf · GitHub

Repository navigation

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

74

75

76

77

78

79

80

81

82

83

84

85

86

87

88

89

90

91

92

93

94

95

96

97

98

99

100

101

102

103

// step 5

grammar MiniDecaf;

import CommonLex;

prog

: func EOF

;

func

: ty 'main' '(' ')' '{' stmt* '}'

;

ty

: 'int' # intType

;

stmt

: 'return' expr ';' # returnStmt

| decl ';' # declStmt

| expr ';' # exprStmt

| ';' # nullStmt

;

expr

: asgn

;

decl

: ty Ident ('=' expr)?

;

asgn

: lor # tAsgn

| unary asgnOp asgn # cAsgn

;

lor

: land # tLor

| lor '||' land # cLor

;

land

: eq # tLand

| land '&&' eq # cLand

;

eq

: rel # tEq

| eq eqOp rel # cEq

;

rel

: add # tRel

| rel relOp add # cRel

;

add

: mul # tAdd

| add addOp mul # cAdd

;

mul

: unary # tMul

| mul mulOp unary # cMul

;

unary

: atom # tUnary

| unaryOp unary # cUnary

;

atom

: Integer # atomInteger

| Ident # atomIdent

| '(' expr ')' # atomParen

;

unaryOp

: '-' | '!' | '~'

;

addOp

: '+' | '-'

;

mulOp

: '*' | '/' | '%'

;

relOp

: '<' | '>' | '<=' | '>='

;

eqOp

: '==' | '!='

;

asgnOp

: '='

;

0