Παραγωγή Ενδιάμεσου Κώδικα. Διαλζξεις στο μάθημα: Μεταφραστζς Γιώργος Μανής

Transcript

1 Παραγωγή Ενδιάμεσου Κώδικα Διαλζξεις στο μάθημα: Μεταφραστζς Γιώργος Μανής

2 Οι Φάςεισ τησ Μεταγλώττιςησ λεκτική ανάλυση ςυντακτικι ανάλυςθ Πίνακασ Συμβόλων ςθμαςιολογικι ανάλυςθ παραγωγι ενδιάμεςου κώδικα Διαχείριςθ λακών βελτιςτοποίθςθ ενδιάμεςου κώδικα παραγωγι τελικοφ κώδικα βελτιςτοποίθςθ τελικοφ κώδικα

3 Παραγωγή Ενδιάμεςου Κώδικα Συντακτικό δζντρο Παραγωγι Ενδιάμεςου Κώδικα Ενδιάμεςοσ Κώδικασ

4 Παραγωγή Ενδιάμεςου Κώδικα Κώδηθαο ζε αξρηθή γιώζζα Κώδικασ ςε ενδιάμεςθ γλώςςα Κώδηθαο ζε γιώζζα κεραλήο (assembly)

5 Ενδιάμεςη Γλώςςα Ο ενδιάμεςοσ κώδικασ είναι ζνα ςφνολο από τετράδεσ ζνασ τελεςτισ τρία τελοφμενα π.χ. +, a,b,t_1 *, t_1,2,t_2 :=,t_2,_,c Οι τετράδεσ είναι αρικμθμζνεσ. Κάκε τετράδα ζχει μπροςτά τθσ ζναν μοναδικό αρικμό που τθ χαρακτθρίηει. Μόλισ τελειώςει θ εκτζλεςθ μίασ τετράδασ εκτελείται θ τετράδα που ζχει τον αμζςωσ μεγαλφτερο αρικμό, εκτόσ εάν θ τετράδα που μόλισ εκτελζςτθκε υποδείξει κάτι διαφορετικό. π.χ.: 100: +,a,b,c 110: +,d,e,f

6 Οι τελεςτζσ αριθμητικών πράξεων τετράδεσ τθσ μορφισ: οp, x, y, z όπου το op μπορεί να είναι ζνα εκ των: +, -, *, / τα τελοφμενα x,y μπορεί να είναι: ονόματα μεταβλθτών αρικμθτικζσ ςτακερζσ το τελοφμενο z μπορεί να είναι: όνομα μεταβλθτισ

7 Οι τελεςτζσ αριθμητικών πράξεων τετράδεσ τθσ μορφισ: οp, x, y, z εφαρμόηεται ο τελεςτισ op ςτα τελοφμενα x και y και το αποτζλεςμα τοποκετείται ςτο τελοφμενο z π.χ.: +,a,b,c /,a,b,c αντιςτοιχεί ςτθν πράξθ c=a+b αντιςτοιχεί ςτθν πράξθ c=a/b

8 Ο τελεςτήσ εκχώρηςησ τετράδεσ τθσ μορφισ: :=, x, _, z το τελοφμενο x μπορεί να είναι: όνομα μεταβλθτισ αρικμθτικι ςτακερά το τελοφμενο z μπορεί να είναι: όνομα μεταβλθτισ θ τιμι του x εκχωρείται ςτθ μεταβλθτι z αντιςτοιχεί ςτθ εκχώρθςθ z:=x

9 Παράδειγμα r:=4 pi:=3.14 area = pi * r * r κα μποροφςε ιςοδφναμα να είχαμε: χωρίσ να ςθμαίνει ότι αυτό ακριβώσ κα βγάλει και ο μεταγλωττιςτισ 100: :=,4,_,r 110: :=,3.14,_,pi 120: *,pi,r,t_1 130: *,Τ_1,r,area

10 Τελεςτήσ άλματοσ χωρίσ ςυνθήκη jump, _, _, z μεταπιδθςθ χωρίσ όρουσ ςτθ κζςθ z π.χ. 100: :=,1,_x 110: jump : :=,2,_x 130 όταν φτάςουμε ςτο 130 θ τιμι του x κα είναι 1 και όχι 2

11 Τελεςτήσ άλματοσ χωρίσ ςυνθήκη relop, x, y, z όπου relop ζνασ από τουσ τελεςτζσ =, >, <, <>, >=, <= μεταπιδθςθ ςτθ κζςθ z αν ιςχφει θ x relop y π.χ. 100: =,a,4, : jump,_,_, : :=,1,_b 130: jump : :=,2,_,b 150: το b κα ζχει τθν τιμι 1 αν ιςχφει θ ςυνκικθ a=4 και 2 αν δεν ιςχφει

12 Αρχή και τζλοσ ενότητασ begin_block, name, _, _ αρχι υποπρογράμματοσ ι προγράμματοσ με το όνομα name end_block, name, _, _ τζλοσ υποπρογράμματοσ ι προγράμματοσ με το όνομα name halt, _, _, _ τερματιςμόσ προγράμματοσ

13 Αρχή και τζλοσ ενότητασ Παράδειγμα begin_block - end_block, name - halt 100: begin_block, add, _, _ 110: :=, 1, _, x 120: :=, 2, _, y 130: +, x, y, z 140: halt, _, _, _ 150: end_block, add, _, _

14 Συναρτήςεισ - Διαδικαςίεσ par, x, m, _ όπου x παράμετροσ ςυνάρτθςθσ και m ο τρόποσ μετάδοςθσ CV : μετάδοςθ με τιμι REF: μετάδοςθ με αναφορά RET: επιςτροφι τιμισ ςυνάρτθςθσ call, name, _, _ κλιςθ ςυνάρτθςθσ name ret, x, _, _ επιςτροφι τιμισ ςυνάρτθςθσ

15 Παράδειγμα κλήςησ ςυνάρτηςησ x := foo (in a, inout b) κα μποροφςε ιςοδφναμα να είχαμε: 100: par, a, cv, _ χωρίσ να ςθμαίνει ότι αυτό ακριβώσ κα βγάλει και ο μεταγλωττιςτισ 110: par, b, ref, _ 120: par, T_1, ret, _ 130: call, foo, _, _, _ 140: τιμι ςτο x

16 Παράδειγμα κλήςησ διαδικαςίασ call foo (in a, inout b) κα μποροφςε ιςοδφναμα να είχαμε: 100: par, a, cv, _ χωρίσ να ςθμαίνει ότι αυτό ακριβώσ κα βγάλει και ο μεταγλωττιςτισ 110: par, b, ref, _ 120: call, foo, _, _, _ 130

17 Βοηθητικζσ Υπορουτίνεσ nextquad() επιςτρζφει τον αρικμό τθσ επόμενθσ τετράδασ που πρόκειται να παραχκεί genquad(op, x, y, z) δθμιουργεί τθν επόμενθ τετράδα (op, x, y, z) newtemp() δθμιουργεί και επιςτρζφει μία νζα προςωρινι μεταβλθτι οι προςωρινζσ μεταβλθτζσ είναι τθσ μορφισ T_1, T_2, T_3

18 Βοηθητικζσ Υπορουτίνεσ emptylist() δθμιουργεί μία κενι λίςτα ετικετών τετράδων makelist(x) δθμιουργεί μία λίςτα ετικετών τετράδων που περιζχει μόνο το x merge(list 1, list 2 ) δθμιουργεί μία λίςτα ετικετών τετράδων από τθ ςυνζνωςθ των λιςτών list 1, list 2 backpatch(list,z) θ λίςτα list αποτελείται από δείκτεσ ςε τετράδεσ των οποίων το τελευταίο τελοφμενο δεν είναι ςυμπλθρωμζνο θ backpatch επιςκζπτεται μία μία τισ τετράδεσ αυτζσ και τισ ςυμπλθρώνει με τθν ετικζτα z

19 Αρχή και Τζλοσ Block <PROGRAM> <PROGRAMBLOCK (name) > ::= ::= program ID <PROGRAMBLOCK (ID) <DECLARATIONS> <SUBPROGRAMS> genquad( begin_block,name, _, _ ) <BLOCK> if (this is the main program block) genquad( halt, _, _, _ ) genquad( end_block,name, _, _ )

20 Αριθμητικζσ Παραςτάςεισ Παράδειγμα: x+(y+z) w ενδιάμεςοσ κώδικασ: 1: +,y,z,t_1 2:,T_1,w,T_2 3: +, x, T_2, T_3

21 Αριθμητικζσ Παραςτάςεισ Ε -> T 1 ( + T 2 {P 1 })* {P 2 } {P 1 }: w = newtemp() Νέα πξνζωξηλή κεηαβιεηή πνπ ζα θξαηήζεη ην κέρξη ζηηγκήο απνηέιεζκα genquad( +,T 1.place,T 2.place,w) T 1.place=w Παξαγωγή ηεηξάδαο πνπ πξνζζέηεη ην κέρξη ζηηγκήο απνηέιεζκα ζην λέν Τ 2 {P 2 }: E.place=T 1.place Τν κέρξη ζηηγκήο απνηέιεζκα ηνπνζεηείηαη ζηελ T 1 ώζηε λα ρξεζηκνπνηεζεί αλ ππάξμεη επόκελν T 2 Όηαλ δελ ππάξρεη άιιν T 2 ην απνηέιεζκα είλαη ζην Τ 1

22 Αριθμητικζσ Παραςτάςεισ T -> F 1 ( F 2 {P 1 })* {P 2 } {P 1 }: w = newtemp() genquad(,f 1.place,F 2.place,w) F 1.place=w {P 2 }: T.place=F 1.place Αλάινγε ινγηθή κε ηνλ θαλόλα Δ

23 Αριθμητικζσ Παραςτάςεισ F -> ( E ) {P 1 } Απιή κεηαθνξά από ην Δ.place ζην F.place {P 1 }: F.place=E.place F -> id {P 1 } Απιή κεηαθνξά από ην id.place ζην F.place {P 1 }: F.place=id.place

24 Αριθμητικζσ Παραςτάςεισ procedure E (E.place) begin T ( T 1.place ) while token=plustk do begin lex(); T (T 2.place) w:=newtemp() genquad( +, T 1.place, T 2.place, w) T 1.place :=w end E.place := T 1.place end

25 Λογικζσ Παραςτάςεισ Ζστω η γραμματική B --> Q ( or Q )* Q --> R ( and R )* R --> ( B ) R --> E relop E

26 Λογικζσ Παραςτάςεισ - OR Παράδειγμα: B = x > y or x <w 100: >, x, y, _ 101: jump, _, _, 102 B.true 102: <, x, w, _ 103: jump, _, _, _ B.false

27 Λογικζσ Παραςτάςεισ - OR Παράδειγμα: B = x > y or x <w 100: <=, x, y, _ 101: >=, x, w, _ B.true 102: jump, _, _, _ B.false

28 Λογικζσ Παραςτάςεισ - OR Παράδειγμα: B = x > y or x < w or a > c 100: <=, x, y, _ B.true 101: >=, x, w, _ 102: <=, a, c, _ 103: jump, _, _, _ B.false

29 Λογικζσ Παραςτάςεισ - OR B -> Q 1 {P 1 } ( or {P 2 } Q 2 {P 3 })* {P 1 }: B.true = Q 1.true Μεηαθνξά ηωλ ηεηξάδωλ από ηε ιίζηα Q 1 ζηε ιίζηα Β B.false = Q 1.false {P 2 }: backpatch(b.false, nextquad()) Σπκπιήξωζε όζωλ ηεηξάδωλ κπνξνύλ λα ζπκπιεξωζνύλ κέζα ζηνλ θαλόλα {P 3 }: B.true = merge(b.true, Q 2.true) B.false = Q 2.false Η ιίζηα false πεξηέρεη ηελ ηεηξάδα ε νπνία αληηζηνηρεί ζε ζηε κε αιεζή απνηίκεζε ηεο ινγηθήο παξάζηαζεο Σπζζώξεπζε ζηε ιίζηα true ηωλ ηεηξάδωλ πνπ δελ κπνξνύλ λα ζπκπιεξωζνύλ θαη αληηζηνηρνύλ ζε αιεζή απνηίκεζε ινγηθήο παξάζηαζεο

30 Λογικζσ Παραςτάςεισ - AND Παράδειγμα: B = x > y and x <w 100: >, x, y, : jump, _, _, _ B.true 102: <, x, w, _ 103: jump, _, _, _ B.false

31 Λογικζσ Παραςτάςεισ - AND Q -> R 1 {P 1 } ( and {P 2 } R 2 {P 3 })* {P 1 }: Q.true = R 1.true Μεηαθνξά ηωλ ηεηξάδωλ από ηε ιίζηα R 1 ζηε ιίζηα Q Q.false = R 1.false {P 2 }: backpatch(q.true, nextquad()) Σπκπιήξωζε όζωλ ηεηξάδωλ κπνξνύλ λα ζπκπιεξωζνύλ κέζα ζηνλ θαλόλα {P 3 }: Q.false = merge(q.false, R 2.false) Q.true = R 2.true Η ιίζηα true πεξηέρεη ηελ ηεηξάδα ε νπνία αληηζηνηρεί ζε ζηεn αιεζή απνηίκεζε ηεο ινγηθήο παξάζηαζεο Σπζζώξεπζε ζηε ιίζηα false ηωλ ηεηξάδωλ πνπ δελ κπνξνύλ λα ζπκπιεξωζνύλ θαη αληηζηνηρνύλ ζε κε αιεζή απνηίκεζε ινγηθήο παξάζηαζεο

32 Λογικζσ Παραςτάςεισ R -> ( B ) {P 1 } {P 1 }: R.true=B.true Μεηαθνξά ηωλ ηεηξάδωλ από ηε ιίζηα B ζηε ιίζηα R R.false=B.false

33 Λογικζσ Παραςτάςεισ R -> E 1 relop E 2 {P 1 } {P 1 }: R.true=makelist(nextquad()) genquad(relop, E 1.place, E 2.place, _ ) R.false=makelist(nextquad()) genquad( jump, _, _, _ ) Γεκηνπξγία κε ζπκπιεξωκέλεο ηεηξάδαο θαη εηζαγωγή ζηε ιίζηα κε ζπκπιεξωκέλωλ ηεηξάδωλ γηα tελ αιεζή απνηίκεζε ηεο relop Γεκηνπξγία κε ζπκπιεξωκέλεο ηεηξάδαο θαη εηζαγωγή ζηε ιίζηα κε ζπκπιεξωκέλωλ ηεηξάδωλ γηα tε κε αιεζή απνηίκεζε ηεο relop

34 Κλήςη Υποπρογραμμάτων Κλήση διαδικασίας: call assign_v (in a, inout b) par, a, CV, _ par, b, REF, _ call, assign_v, _, _

35 Κλήςη Υποπρογραμμάτων Κλήση συνάρτησης: error = assign_v (in a, inout b) par, a, CV, _ par, b, REF, _ w = newtemp() par, w, RET, _ call, assign_v, _, _

36 Εντολή return S -> return (E) {P1} {P1}: genquad( retv,e.place, _, _ )

37 Εκχώρηςη S -> id := E {P1}; {P1} : genquad( :=,E.place, _,id)

38 Δομή while S -> while {P1} B do {P2} S 1 {P3} {P1}: {P2}: {P3}: Bquad:=nextquad() backpatch(b.true,nextquad()) genquad( jump, _, _,Bquad) backpatch(b.false,nextquad()) Σπκπιήξωζε ηωλ ηεηξάδωλ πνπ έρνπλ κείλεη αζπκπιήξωηεο θαη θαη γλωξίδνπκε ηώξα όηη πξέπεη λα ζπκπιεξωζνύλ κε ηελ επόκελε ηεηξάδα, ην true πάλω ζηελ S θαη ην false έμω από ηε δνκή Μεηάβαζε ζηελ αξρή ηεο ζπλζήθεο ώζηε λα μαλαγίλεη έιεγρνο

39 Δομή Repeat Until S -> repeat {P1} S 1 until (cond) {P2} {P1}: squad:=nextquad() {P2}: backpatch(cond.false,squad) backpatch(cond.true,nextquad()) Οη ηεηξάδεο απηέο πξέπεη λα κεηαβνύλ ζηελ αξρή ηεο ζπλζήθεο γηα λα επαλειεγρζεί Σπκπιήξωζε ηωλ ηεηξάδωλ πνπ έρνπλ κείλεη αζπκπιήξωηεο θαη θαη γλωξίδνπκε ηώξα όηη πξέπεη λα ζπκπιεξωζνύλ κε ηελ επόκελε ηεηξάδα, δειαδή έμω από ηε δνκή

40 Δομή if S -> if B then {P1} S 1 {P2} TAIL {P3} {P1}: backpatch(b.true,nextquad()) {P2}: iflist=makelist(nextquad()) genquad( jump, _, _, _ ) backpatch(b.false,nextquad()) {P3}: backpatch(iflist,nextquad()) TAIL -> else S 2 TAIL -> ε Σπκπιήξωζε ηωλ ηεηξάδωλ πνπ έρνπλ κείλεη αζπκπιήξωηεο θαη θαη γλωξίδνπκε ηώξα όηη πξέπεη λα ζπκπιεξωζνύλ κε ηελ επόκελε ηεηξάδα, ζην if θαη else αληίζηνηρα Δμαζθαιίδνπκε όηη εάλ εθηειεζηνύλ νη εληνιέο ηνπ if δε ζα εθηειεζηνύλ ζηε ζπλέρεηα νη εληνιέο ηνπ else

41 Είςοδοσ - Ζξοδοσ S -> input (id) {P1} {P1}: genquad( inp,id.place, _, _ ) S -> print (E) {P2} {P2}: genquad( out,e.place, _, _ )