?? ??: ?? ??? ??? ???? (C/C , Pascal, Ada ?)

1
???? ??
2
??????

• ????
• ?? ??? ???? ????
• ?? ????
• ?? ?? ?? ??? ??? ???? (C/C, Pascal, Ada ?)
• ?? ?? ??? ??? ??? ???? (??? ??? ??)
• ?? ????
• ????? ????
• ??? ?? (????, ????)
• ???
• ??? ??? ?? ??? ???? ?? ????

HTML?
3
???

• ???? ??(????? ???)
• ????(preprocessor)
• ?? ?? ????
• ?? ??? ?? ????
• ????
• ?? ???? ?? ????
• ?? ??? ??
• ???(??/??, loader/linker)
• ?? ?? ??? ??? ??
• ?? ??? ??? ??? ??? ??? ??? ??
• ???(?????, interpreter)
• ?? ?? ????, ?? ??
• ?? ?? ????? ???? ??

include, define, ifdef? ??
latex
4
?? ?? ???

• ??? ????? ???? ??

?? ????
??????
??? ?? ????
????
???? ????
????
??? ??? ?? ????
??/??
?? ????
5
UNIX? C ????

• cc sample.c
• cpp sample.c ? .i
• cc1 sample.i ? .s
• as sample.s ? .o
• ld sample.o ? a.out
• ??
• -E -S -c

6
????? ??? ??

• ??-?? ??
• ?? (Analysis)
• ?? ??? ?? ? ?? ???? ?? ? ?? ??? ??
• ?? ??? ??
• ???? ??? (structure editor, syntax directed
  editor)
• ?? ??? (pretty printer)
• ?? ??? (static checker/analyzer)
• ??? (interpreter)
• ?? (Synthesis)
• ?? ?? ? ?? ???? ??

?? (Front-End)
?? ??
?? (Back-End)
7
????? ??? ??

????
????
????
????
????
?????
8
?? ?? ??

• ?? ?? (Lexical Analysis)
• ??? ????? ??? ??? ??
• ?? ??? ??
• ??? ?? ???(???), ???, ???, ???, ???
• ?? ?? ?? ?? ??? ? ? ??? ? ?? ??
• ?? ??? ???(scanner)
• ?? ??? ??? lex, scangen ?
• ?? ?? ??
• position initial rate 60
• ?? ??? ??
• id1 id2 id3 num60

??
9
?? ???

• ?? ???
• ?????? ???? ???(ID)? ?? ??
• ?? ?? ??(attribute)
• ?? ?(type), ??(scope), ????(offset) ?
• ?? ?? ?? ??? (??? ??)
• ?? ?? ??/?? ??? (??? ??)
• ?? ????? ? ??
• ?? ???? ?

??
10
?? ?? ??

• ?? ?? (Syntax Analysis)
• ??? ????? ?? ??? ??
• ?? ?? ?? ??(Parse tree), ?? ??(Derivation
  tree), ?? ??(Abstract Syntax Tree AST)
• ?? ?? ??? ??? ?? ??? ? ?? ?? ??
• ?? ??? ??(parser)
• ?? ??? ??? yacc, pgs, ecp, jack ?
• ?? ??? ??

11
??

• if (a gt 1) j

??
12
??

• ??? ?? ??
• ?? ?? ?
• ?? ?? ???? ?? ??? ??
• ? posi8ion ini8ial
• ?? ?? ?
• ?? ?? ??? ?? ?? ??
• ? if (a gt b) while a lt b
• ?? ?
• ?? ?? ????? ??? ??
• ? circum 2 PI r
• ?? ?? ?

13
?? ?? ??

• ?? ?? (Semantic Analysis)
• ???? ??? ?? (?????? ??? ??)
• ?? ??? ? ???? ?? ??? ??, ???? ???,
  ????? ??? ?
• ?? ??? ??

14
?? ?? ??

• ?? ??
• ????? ??? ??
• ????? ????? ????? ???
• ?? Polish ??, N-?? ??, ?? ??, ???? ?? ?
• ???? ?? P-??, EM-??, U-?? ?
• ? 1 GNU? gcc? N-?? ???? ??? RTL? ??
• ? 2 ACK(Amsterdam Compiler Kit)??? EM-??? ??
• ?? ??? ?? ?
• temp1 inttoreal(60)
• temp2 id3 temp1
• temp3 id2 temp2
• id1 temp3

postorder traversal ?
15
?? ???

• ???(optimization)??
• ???? ??? ??
• ??? ?? ??? ???? ???? ?? ??
• ???? ???
• ???? ??, ???? ????? ??? 8
• ??? ? ?? ??? ????? ??
• gcc? ??, ?? ??? 8090? ?? ??? ??
• ???? ??
• ??? ? ??? ?? ??? ??
• ?? ?? ??? ???? ??
• ?? ?? ??? ?? ???? ???

16
?? ???? ?? (I)

• ???? ???
• ?? ???
• ?? ???? ??(common subexpression
  elimination), ?? ?? ??(strength reduction), ??
  ??(constant folding), ?? ??(copy
  propagation), ???? ???(algebraic simplification)
  ?
• ?? ???
• ?? ???? ??, ??? ? ?? ??(unreachable/dead
  code)? ?? ?
• ?? ???
• ?? ?? ??(loop invariant)? ??, ?? ?? ???(loop
  unrolling), ?? ???(loop fusion) ?

17
?? ???? ?? (II)

• ?? ?? ???
• ???? ???? ??
• ???? ???? ??
• ??? ??? ???
• ???? ??
• ??(peephole) ??? ?
• ?? ???? ??
• temp1 id3 60.0
• id1 id2 temp1

18
?? ?? ??

• ?? ??
• ??? ??? ??? ??
• ??? ?? ?????
• ?? ?? ??? ?
• MOVF id3,R2
• MULF 60.0,R2
• MOVF id2,R1
• ADDF R2,R1
• MOVF R1,id1