blob: 09d4957844c12cf56534223cd49ba1564a49f877 (
plain)
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
|
(define-module (c compiler)
:use-module ((c lex2) :select (lex))
:use-module ((c trigraph) :select (replace-trigraphs))
:use-module ((c line-fold) :select (fold-lines))
:use-module (c cpp-environment object-like-macro)
:use-module ((c cpp-environment)
:select (make-environment
extend-environment
enter-file))
:use-module (hnh util)
;; TODO importort
;; handle-preprocessing-tokens
;; load-and-tokenize-file
:export (run-compiler))
"
#define __STDC__ 1
#define __STDC_HOSTED__ 1
#define __STDC_VERSION__ 201112L
"
(define now (localtime (current-time)))
(define default-macros
(list
;; 6.10.8
(object-like-macro
identifier: "__STDC__"
body: (lex "1"))
(object-like-macro
identifier: "__STDC_HOSTED__"
body: (lex "1"))
(object-like-macro
identifier: "__STDC_VERSION__"
body: (lex "201112L"))
(object-like-macro
identifier: "__DATE__"
;; TODO format should always be in
;; english, and not tranlated
body: (lex (strftime "\"%b %_d %Y\"" now)))
(object-like-macro
identifier: "__TIME__"
body: (lex (strftime "\"%H:%M:%S\"" now)))))
(define environment
(-> (make-environment)
(extend-environment default-macros)))
;;; 5.1.11.2 Translation phases
(define (run-compiler path)
(define environment (enter-file (make-environment) path))
(-> (load-and-tokenize-file path)
(handle-preprocessing-tokens environment))
;;; 5. (something with character sets)
;;; 6. concatenation of string literals
;;; 7. Whitespace tokens are discarded, each preprocessing token is converted into a token
;; 6.4 paragraph 2
;; Each preprocessing toket thas is converted to a token shall have the lexcal form of a keyword, an identifier, a constant, a string literal, or a puncturtor
;;; 8. All external objects and functions are resolved
)
|