blob: 05d9b7bfd49d3350c86c8961df2aeb45f0478e9c [file] [log] [blame]
Shinichiro Hamajib69bf8a2015-06-10 14:52:06 +09001// Copyright 2015 Google Inc. All rights reserved
2//
3// Licensed under the Apache License, Version 2.0 (the "License");
4// you may not use this file except in compliance with the License.
5// You may obtain a copy of the License at
6//
7// http://www.apache.org/licenses/LICENSE-2.0
8//
9// Unless required by applicable law or agreed to in writing, software
10// distributed under the License is distributed on an "AS IS" BASIS,
11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12// See the License for the specific language governing permissions and
13// limitations under the License.
14
Fumitoshi Ukai744bb2b2015-06-25 00:10:52 +090015package kati
Fumitoshi Ukai119dc912015-03-30 16:52:41 +090016
Fumitoshi Ukai0aa4fc42015-04-10 17:00:19 +090017//go:generate go run testcase/gen_testcase_parse_benchmark.go
18//
19// $ go generate
20// $ go test -bench .
21
Fumitoshi Ukai119dc912015-03-30 16:52:41 +090022import (
23 "bufio"
Shinichiro Hamajie1841582015-03-30 17:20:33 +090024 "bytes"
Fumitoshi Ukai9042b992015-06-23 16:10:27 +090025 "crypto/sha1"
Fumitoshi Ukai65c72332015-06-26 21:32:50 +090026 "errors"
Fumitoshi Ukaif8efa0a2015-03-30 18:10:11 +090027 "fmt"
Fumitoshi Ukai119dc912015-03-30 16:52:41 +090028 "io"
Fumitoshi Ukai9042b992015-06-23 16:10:27 +090029 "io/ioutil"
Shinichiro Hamajid7bef602015-03-30 19:55:32 +090030 "strings"
Fumitoshi Ukai9042b992015-06-23 16:10:27 +090031 "sync"
Shinichiro Hamaji584bb062015-06-04 13:25:13 +090032 "time"
Fumitoshi Ukai119dc912015-03-30 16:52:41 +090033)
34
Fumitoshi Ukai08eda652015-06-25 16:27:10 +090035type makefile struct {
Shinichiro Hamaji491e73f2015-04-07 12:41:59 +090036 filename string
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +090037 stmts []ast
Fumitoshi Ukai119dc912015-03-30 16:52:41 +090038}
39
Shinichiro Hamaji497754d2015-03-31 02:02:11 +090040type ifState struct {
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +090041 ast *ifAST
Shinichiro Hamajia06760f2015-04-07 13:13:45 +090042 inElse bool
43 numNest int
Shinichiro Hamaji497754d2015-03-31 02:02:11 +090044}
45
Fumitoshi Ukai119dc912015-03-30 16:52:41 +090046type parser struct {
Shinichiro Hamaji370be722015-04-10 14:55:23 +090047 rd *bufio.Reader
Fumitoshi Ukai08eda652015-06-25 16:27:10 +090048 mk makefile
Shinichiro Hamaji370be722015-04-10 14:55:23 +090049 lineno int
50 elineno int // lineno == elineno unless there is trailing '\'.
51 linenoFixed bool
Shinichiro Hamaji370be722015-04-10 14:55:23 +090052 done bool
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +090053 outStmts *[]ast
Fumitoshi Ukaib97be672015-07-02 15:12:48 +090054 inRecipe bool
Shinichiro Hamaji370be722015-04-10 14:55:23 +090055 ifStack []ifState
Fumitoshi Ukaib97be672015-07-02 15:12:48 +090056
57 defineVar []byte
58 inDef []byte
59
60 defOpt string
61 numIfNest int
62 err error
Fumitoshi Ukai119dc912015-03-30 16:52:41 +090063}
64
Shinichiro Hamaji685fecf2015-03-30 18:28:12 +090065func newParser(rd io.Reader, filename string) *parser {
Shinichiro Hamaji497754d2015-03-31 02:02:11 +090066 p := &parser{
Shinichiro Hamaji3fab47e2015-04-08 18:34:41 +090067 rd: bufio.NewReader(rd),
Fumitoshi Ukai119dc912015-03-30 16:52:41 +090068 }
Shinichiro Hamaji491e73f2015-04-07 12:41:59 +090069 p.mk.filename = filename
Shinichiro Hamaji497754d2015-03-31 02:02:11 +090070 p.outStmts = &p.mk.stmts
71 return p
72}
73
Fumitoshi Ukai65c72332015-06-26 21:32:50 +090074func (p *parser) srcpos() srcpos {
75 return srcpos{
76 filename: p.mk.filename,
77 lineno: p.lineno,
78 }
79}
80
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +090081func (p *parser) addStatement(stmt ast) {
82 *p.outStmts = append(*p.outStmts, stmt)
Fumitoshi Ukaib97be672015-07-02 15:12:48 +090083 switch stmt.(type) {
84 case *maybeRuleAST:
85 p.inRecipe = true
86 case *assignAST, *includeAST, *exportAST:
87 p.inRecipe = false
88 }
Fumitoshi Ukai119dc912015-03-30 16:52:41 +090089}
90
Shinichiro Hamajie1841582015-03-30 17:20:33 +090091func (p *parser) readLine() []byte {
Shinichiro Hamaji370be722015-04-10 14:55:23 +090092 if !p.linenoFixed {
Fumitoshi Ukaib97be672015-07-02 15:12:48 +090093 p.lineno = p.elineno + 1
Shinichiro Hamaji370be722015-04-10 14:55:23 +090094 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +090095 var line []byte
96 for !p.done {
97 buf, err := p.rd.ReadBytes('\n')
98 if !p.linenoFixed {
99 p.elineno++
100 }
101 if err == io.EOF {
102 p.done = true
103 } else if err != nil {
104 p.err = fmt.Errorf("readline %s: %v", p.srcpos(), err)
105 p.done = true
106 }
107 line = append(line, buf...)
108 buf = bytes.TrimRight(buf, "\r\n")
109 backslash := false
110 for len(buf) > 1 && buf[len(buf)-1] == '\\' {
111 buf = buf[:len(buf)-1]
112 backslash = !backslash
113 }
114 if !backslash {
115 break
Shinichiro Hamaji52e83aa2015-04-06 17:20:28 +0900116 }
117 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900118 line = bytes.TrimRight(line, "\r\n")
Shinichiro Hamajie1841582015-03-30 17:20:33 +0900119 return line
120}
121
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900122func newAssignAST(p *parser, lhsBytes []byte, rhsBytes []byte, op string) (*assignAST, error) {
Fumitoshi Ukaie9aa3802015-07-03 11:33:23 +0900123 lhs, _, err := parseExpr(lhsBytes, nil, parseOp{alloc: true})
Shinichiro Hamaji7825b652015-06-04 13:47:14 +0900124 if err != nil {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900125 return nil, err
Shinichiro Hamaji7825b652015-06-04 13:47:14 +0900126 }
Fumitoshi Ukaie9aa3802015-07-03 11:33:23 +0900127 rhs, _, err := parseExpr(rhsBytes, nil, parseOp{alloc: true})
Shinichiro Hamaji7825b652015-06-04 13:47:14 +0900128 if err != nil {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900129 return nil, err
Shinichiro Hamaji7825b652015-06-04 13:47:14 +0900130 }
131 opt := ""
132 if p != nil {
133 opt = p.defOpt
134 }
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900135 return &assignAST{
Shinichiro Hamaji7825b652015-06-04 13:47:14 +0900136 lhs: lhs,
137 rhs: rhs,
138 op: op,
139 opt: opt,
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900140 }, nil
Shinichiro Hamaji7825b652015-06-04 13:47:14 +0900141}
142
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900143func (p *parser) handleDirective(line []byte, directives map[string]directiveFunc) bool {
144 w, data := firstWord(line)
145 if d, ok := directives[string(w)]; ok {
146 d(p, data)
147 return true
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900148 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900149 return false
Fumitoshi Ukai119dc912015-03-30 16:52:41 +0900150}
151
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900152func (p *parser) handleRuleOrAssign(line []byte) {
153 rline := line
154 var semi []byte
155 if i := findLiteralChar(line, []byte{';'}, true); i >= 0 {
156 // preserve after semicolon
157 semi = append(semi, line[i+1:]...)
158 rline = concatline(line[:i])
159 } else {
160 rline = concatline(line)
Shinichiro Hamajide829712015-03-31 18:26:56 +0900161 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900162 aline, _ := removeComment(concatline(line))
163 aline = trimLeftSpaceBytes(aline)
164 if len(aline) == 0 {
165 return
166 }
167 // fmt.Printf("assign: %q=>%q\n", line, aline)
168 i := findLiteralChar(aline, []byte{':', '='}, true)
169 if i >= 0 {
170 if aline[i] == '=' {
171 p.parseAssign(aline, i)
172 return
173 }
174 if aline[i] == ':' && i+1 < len(aline) && aline[i+1] == '=' {
175 p.parseAssign(aline, i+1)
176 return
Shinichiro Hamajie12e24d2015-04-11 23:09:20 +0900177 }
178 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900179 // not assignment
180 p.parseMaybeRule(rline, semi)
181 return
Fumitoshi Ukai119dc912015-03-30 16:52:41 +0900182}
183
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900184func (p *parser) parseAssign(line []byte, sep int) {
185 lhs, op, rhs := line[:sep], line[sep:sep+1], line[sep+1:]
186 if sep > 0 {
187 switch line[sep-1] {
188 case ':', '+', '?':
189 lhs, op = line[:sep-1], line[sep-1:sep+1]
190 }
191 }
192 logf("parseAssign %s %s", line, op)
193 lhs = trimSpaceBytes(lhs)
194 rhs = trimLeftSpaceBytes(rhs)
195 aast, err := newAssignAST(p, lhs, rhs, string(op))
196 if err != nil {
197 p.err = err
198 return
199 }
200 aast.srcpos = p.srcpos()
201 p.addStatement(aast)
202}
203
204func (p *parser) parseMaybeRule(line, semi []byte) {
205 if line[0] == '\t' {
206 p.err = p.srcpos().errorf("*** commands commence before first target.")
207 return
208 }
209 expr, _, err := parseExpr(line, nil, parseOp{})
210 if err != nil {
211 p.err = p.srcpos().errorf("parse error: %s: %v", string(line), err)
212 return
213 }
214 // TODO(ukai): remove ast, and eval here.
215 rast := &maybeRuleAST{
216 expr: expr,
217 semi: semi,
218 }
219 rast.srcpos = p.srcpos()
220 p.addStatement(rast)
221}
222
223func (p *parser) parseInclude(op string, line []byte) {
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900224 // TODO(ukai): parse expr here
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900225 iast := &includeAST{
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900226 expr: string(line),
227 op: op,
Shinichiro Hamajid7bef602015-03-30 19:55:32 +0900228 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900229 iast.srcpos = p.srcpos()
230 p.addStatement(iast)
Shinichiro Hamajid7bef602015-03-30 19:55:32 +0900231}
232
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900233func (p *parser) parseIfdef(op string, data []byte) {
234 lhs, _, err := parseExpr(data, nil, parseOp{alloc: true})
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900235 if err != nil {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900236 p.err = p.srcpos().error(err)
237 return
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900238 }
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900239 iast := &ifAST{
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900240 op: op,
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900241 lhs: lhs,
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900242 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900243 iast.srcpos = p.srcpos()
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900244 p.addStatement(iast)
245 p.ifStack = append(p.ifStack, ifState{ast: iast, numNest: p.numIfNest})
246 p.outStmts = &iast.trueStmts
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900247}
248
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900249func (p *parser) parseTwoQuotes(s []byte, op string) ([]string, bool, error) {
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900250 var args []string
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900251 for i := 0; i < 2; i++ {
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900252 s = trimSpaceBytes(s)
253 if len(s) == 0 {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900254 return nil, false, nil
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900255 }
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900256 quote := s[0]
257 if quote != '\'' && quote != '"' {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900258 return nil, false, nil
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900259 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900260 end := bytes.IndexByte(s[1:], quote) + 1
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900261 if end < 0 {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900262 return nil, false, nil
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900263 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900264 args = append(args, string(s[1:end]))
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900265 s = s[end+1:]
266 }
267 if len(s) > 0 {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900268 return nil, false, p.srcpos().errorf(`extraneous text after %q directive`, op)
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900269 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900270 return args, true, nil
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900271}
272
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900273// parse
274// "(lhs, rhs)"
275// "lhs, rhs"
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900276func (p *parser) parseEq(s []byte, op string) (string, string, bool, error) {
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900277 if s[0] == '(' && s[len(s)-1] == ')' {
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900278 in := s[1 : len(s)-1]
279 logf("parseEq ( %q )", in)
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900280 term := []byte{','}
Fumitoshi Ukaie9aa3802015-07-03 11:33:23 +0900281 v, n, err := parseExpr(in, term, parseOp{matchParen: true})
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900282 if err != nil {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900283 return "", "", false, err
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900284 }
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900285 lhs := v.String()
286 n++
287 n += skipSpaces(in[n:], nil)
Fumitoshi Ukaie9aa3802015-07-03 11:33:23 +0900288 v, n, err = parseExpr(in[n:], nil, parseOp{matchParen: true})
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900289 if err != nil {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900290 return "", "", false, err
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900291 }
292 rhs := v.String()
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900293 return lhs, rhs, true, nil
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900294 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900295 args, ok, err := p.parseTwoQuotes(s, op)
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900296 if !ok {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900297 return "", "", false, err
Fumitoshi Ukaie520f262015-03-31 17:27:03 +0900298 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900299 return args[0], args[1], true, nil
Shinichiro Hamajiaf1e8162015-03-31 02:15:37 +0900300}
301
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900302func (p *parser) parseIfeq(op string, data []byte) {
303 lhsBytes, rhsBytes, ok, err := p.parseEq(data, op)
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900304 if err != nil {
305 p.err = err
306 return
307 }
Shinichiro Hamajiaf1e8162015-03-31 02:15:37 +0900308 if !ok {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900309 p.err = p.srcpos().errorf(`*** invalid syntax in conditional.`)
310 return
Shinichiro Hamajiaf1e8162015-03-31 02:15:37 +0900311 }
312
Fumitoshi Ukaie9aa3802015-07-03 11:33:23 +0900313 lhs, _, err := parseExpr([]byte(lhsBytes), nil, parseOp{matchParen: true})
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900314 if err != nil {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900315 p.err = p.srcpos().error(err)
316 return
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900317 }
Fumitoshi Ukaie9aa3802015-07-03 11:33:23 +0900318 rhs, _, err := parseExpr([]byte(rhsBytes), nil, parseOp{matchParen: true})
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900319 if err != nil {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900320 p.err = p.srcpos().error(err)
321 return
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900322 }
323
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900324 iast := &ifAST{
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900325 op: op,
Shinichiro Hamajiaf1e8162015-03-31 02:15:37 +0900326 lhs: lhs,
327 rhs: rhs,
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900328 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900329 iast.srcpos = p.srcpos()
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900330 p.addStatement(iast)
331 p.ifStack = append(p.ifStack, ifState{ast: iast, numNest: p.numIfNest})
332 p.outStmts = &iast.trueStmts
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900333}
334
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900335func (p *parser) checkIfStack(curKeyword string) error {
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900336 if len(p.ifStack) == 0 {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900337 return p.srcpos().errorf(`*** extraneous %q.`, curKeyword)
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900338 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900339 return nil
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900340}
341
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900342func (p *parser) parseElse(data []byte) {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900343 err := p.checkIfStack("else")
344 if err != nil {
345 p.err = err
346 return
347 }
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900348 state := &p.ifStack[len(p.ifStack)-1]
Fumitoshi Ukai0293c7a2015-03-31 16:26:53 +0900349 if state.inElse {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900350 p.err = p.srcpos().errorf(`*** only one "else" per conditional.`)
351 return
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900352 }
Fumitoshi Ukai0293c7a2015-03-31 16:26:53 +0900353 state.inElse = true
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900354 p.outStmts = &state.ast.falseStmts
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900355
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900356 nextIf := data
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900357 if len(nextIf) == 0 {
358 return
359 }
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900360 var ifDirectives = map[string]directiveFunc{
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900361 "ifdef": ifdefDirective,
362 "ifndef": ifndefDirective,
363 "ifeq": ifeqDirective,
364 "ifneq": ifneqDirective,
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900365 }
366 p.numIfNest = state.numNest + 1
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900367 if p.handleDirective(nextIf, ifDirectives) {
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900368 p.numIfNest = 0
369 return
370 }
371 p.numIfNest = 0
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900372 warnNoPrefix(p.srcpos(), "extraneous text after `else` directive")
373 return
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900374}
375
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900376func (p *parser) parseEndif(data []byte) {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900377 err := p.checkIfStack("endif")
378 if err != nil {
379 p.err = err
380 return
381 }
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900382 state := p.ifStack[len(p.ifStack)-1]
383 for t := 0; t <= state.numNest; t++ {
384 p.ifStack = p.ifStack[0 : len(p.ifStack)-1]
385 if len(p.ifStack) == 0 {
386 p.outStmts = &p.mk.stmts
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900387 } else {
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900388 state := p.ifStack[len(p.ifStack)-1]
389 if state.inElse {
390 p.outStmts = &state.ast.falseStmts
391 } else {
392 p.outStmts = &state.ast.trueStmts
393 }
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900394 }
395 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900396 return
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900397}
398
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900399func (p *parser) parseDefine(data []byte) {
400 p.defineVar = nil
401 p.inDef = nil
402 p.defineVar = append(p.defineVar, trimSpaceBytes(data)...)
403 return
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900404}
405
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900406type directiveFunc func(*parser, []byte)
407
408var makeDirectives map[string]directiveFunc
409
410func init() {
411 makeDirectives = map[string]directiveFunc{
412 "include": includeDirective,
413 "-include": sincludeDirective,
414 "sinclude": sincludeDirective,
415 "ifdef": ifdefDirective,
416 "ifndef": ifndefDirective,
417 "ifeq": ifeqDirective,
418 "ifneq": ifneqDirective,
419 "else": elseDirective,
420 "endif": endifDirective,
421 "define": defineDirective,
422 "override": overrideDirective,
423 "export": exportDirective,
424 "unexport": unexportDirective,
Shinichiro Hamajie103f652015-04-11 19:49:51 +0900425 }
Shinichiro Hamaji74b8cb52015-04-08 19:47:43 +0900426}
427
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900428func includeDirective(p *parser, data []byte) {
429 p.parseInclude("include", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900430}
431
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900432func sincludeDirective(p *parser, data []byte) {
433 p.parseInclude("-include", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900434}
435
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900436func ifdefDirective(p *parser, data []byte) {
437 p.parseIfdef("ifdef", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900438}
439
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900440func ifndefDirective(p *parser, data []byte) {
441 p.parseIfdef("ifndef", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900442}
443
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900444func ifeqDirective(p *parser, data []byte) {
445 p.parseIfeq("ifeq", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900446}
447
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900448func ifneqDirective(p *parser, data []byte) {
449 p.parseIfeq("ifneq", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900450}
451
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900452func elseDirective(p *parser, data []byte) {
453 p.parseElse(data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900454}
455
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900456func endifDirective(p *parser, data []byte) {
457 p.parseEndif(data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900458}
459
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900460func defineDirective(p *parser, data []byte) {
461 p.parseDefine(data)
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900462}
463
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900464func overrideDirective(p *parser, data []byte) {
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900465 p.defOpt = "override"
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900466 defineDirective := map[string]directiveFunc{
467 "define": defineDirective,
468 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900469 logf("override define? %q", data)
470 if p.handleDirective(data, defineDirective) {
471 return
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900472 }
473 // e.g. overrider foo := bar
474 // line will be "foo := bar".
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900475 p.handleRuleOrAssign(data)
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900476}
477
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900478func handleExport(p *parser, data []byte, export bool) (hasEqual bool) {
479 i := bytes.IndexByte(data, '=')
480 if i > 0 {
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900481 hasEqual = true
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900482 switch data[i-1] {
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900483 case ':', '+', '?':
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900484 i--
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900485 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900486 data = data[:i]
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900487 }
488
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900489 east := &exportAST{
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900490 expr: data,
Shinichiro Hamajif61033d2015-05-29 15:01:48 +0900491 export: export,
Shinichiro Hamaji7e521422015-05-29 14:23:30 +0900492 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900493 east.srcpos = p.srcpos()
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900494 p.addStatement(east)
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900495 return hasEqual
Shinichiro Hamaji7e521422015-05-29 14:23:30 +0900496}
Shinichiro Hamaji07e76d52015-05-26 18:22:31 +0900497
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900498func exportDirective(p *parser, data []byte) {
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900499 p.defOpt = "export"
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900500 defineDirective := map[string]directiveFunc{
501 "define": defineDirective,
502 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900503 logf("export define? %q", data)
504 if p.handleDirective(data, defineDirective) {
505 return
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900506 }
Shinichiro Hamaji07e76d52015-05-26 18:22:31 +0900507
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900508 if !handleExport(p, data, true) {
509 return
Shinichiro Hamaji07e76d52015-05-26 18:22:31 +0900510 }
511
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900512 // e.g. export foo := bar
513 // line will be "foo := bar".
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900514 p.handleRuleOrAssign(data)
Fumitoshi Ukai3d54db82015-04-01 11:03:31 +0900515}
516
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900517func unexportDirective(p *parser, data []byte) {
518 handleExport(p, data, false)
519 return
Shinichiro Hamajica668572015-06-17 06:36:45 +0900520}
521
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900522func (p *parser) parse() (mk makefile, err error) {
Shinichiro Hamajie1841582015-03-30 17:20:33 +0900523 for !p.done {
Shinichiro Hamaji0b93c862015-04-07 06:15:15 +0900524 line := p.readLine()
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900525 logf("line: %q", line)
526 if p.defineVar != nil {
527 p.processDefine(line)
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900528 if p.err != nil {
529 return makefile{}, p.err
530 }
Shinichiro Hamaji0b93c862015-04-07 06:15:15 +0900531 continue
532 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900533 p.defOpt = ""
534 if p.inRecipe {
535 if len(line) > 0 && line[0] == '\t' {
536 cast := &commandAST{cmd: string(line[1:])}
537 cast.srcpos = p.srcpos()
538 p.addStatement(cast)
Shinichiro Hamaji34e23242015-04-06 15:44:50 +0900539 continue
540 }
Fumitoshi Ukai119dc912015-03-30 16:52:41 +0900541 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900542 p.parseLine(line)
543 if p.err != nil {
544 return makefile{}, p.err
Shinichiro Hamaji685fecf2015-03-30 18:28:12 +0900545 }
Fumitoshi Ukai119dc912015-03-30 16:52:41 +0900546 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900547 return p.mk, p.err
Fumitoshi Ukai119dc912015-03-30 16:52:41 +0900548}
549
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900550func (p *parser) parseLine(line []byte) {
551 cline := concatline(line)
552 if len(cline) == 0 {
553 return
554 }
555 logf("concatline:%q", cline)
556 var dline []byte
557 cline, _ = removeComment(cline)
558 dline = append(dline, cline...)
559 dline = trimSpaceBytes(dline)
560 if len(dline) == 0 {
561 return
562 }
563 logf("directive?: %q", dline)
564 if p.handleDirective(dline, makeDirectives) {
565 return
566 }
567 logf("rule or assign?: %q", line)
568 p.handleRuleOrAssign(line)
569}
570
571func (p *parser) processDefine(line []byte) {
572 line = concatline(line)
573 logf("concatline:%q", line)
574 if !p.isEndef(line) {
575 if len(p.inDef) != 0 {
576 p.inDef = append(p.inDef, '\n')
577 }
578 p.inDef = append(p.inDef, line...)
579 return
580 }
581 logf("multilineAssign %q %q", p.defineVar, p.inDef)
582 aast, err := newAssignAST(p, p.defineVar, p.inDef, "=")
583 if err != nil {
584 p.err = p.srcpos().errorf("assign error %q=%q: %v", p.defineVar, p.inDef, err)
585 return
586 }
587 aast.srcpos = p.srcpos()
588 aast.srcpos.lineno -= bytes.Count(p.inDef, []byte{'\n'})
589 p.addStatement(aast)
590 p.defineVar = nil
591 p.inDef = nil
592 return
593}
594
595func (p *parser) isEndef(line []byte) bool {
596 if bytes.Equal(line, []byte("endef")) {
597 return true
598 }
599 w, data := firstWord(line)
600 if bytes.Equal(w, []byte("endef")) {
601 data, _ = removeComment(data)
602 data = trimLeftSpaceBytes(data)
603 if len(data) > 0 {
604 warnNoPrefix(p.srcpos(), `extraneous text after "endef" directive`)
605 }
606 return true
607 }
608 return false
609}
610
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900611func defaultMakefile() (string, error) {
Shinichiro Hamajib0d2e2f2015-05-20 16:42:59 +0900612 candidates := []string{"GNUmakefile", "makefile", "Makefile"}
613 for _, filename := range candidates {
614 if exists(filename) {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900615 return filename, nil
Shinichiro Hamajib0d2e2f2015-05-20 16:42:59 +0900616 }
617 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900618 return "", errors.New("no targets specified and no makefile found")
Shinichiro Hamajib0d2e2f2015-05-20 16:42:59 +0900619}
620
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900621func parseMakefileReader(rd io.Reader, loc srcpos) (makefile, error) {
622 parser := newParser(rd, loc.filename)
623 parser.lineno = loc.lineno
624 parser.elineno = loc.lineno
Shinichiro Hamaji370be722015-04-10 14:55:23 +0900625 parser.linenoFixed = true
Shinichiro Hamajia5dee372015-04-03 16:41:30 +0900626 return parser.parse()
Shinichiro Hamajic3840812015-04-02 02:10:20 +0900627}
Shinichiro Hamaji28ea5bc2015-04-11 12:41:08 +0900628
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900629func parseMakefileString(s string, loc srcpos) (makefile, error) {
630 return parseMakefileReader(strings.NewReader(s), loc)
Shinichiro Hamaji28ea5bc2015-04-11 12:41:08 +0900631}
632
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900633func parseMakefileBytes(s []byte, loc srcpos) (makefile, error) {
634 return parseMakefileReader(bytes.NewReader(s), loc)
Shinichiro Hamaji28ea5bc2015-04-11 12:41:08 +0900635}
Shinichiro Hamaji45cde1d2015-05-25 18:21:23 +0900636
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900637type mkCacheEntry struct {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900638 mk makefile
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900639 hash [sha1.Size]byte
640 err error
641 ts int64
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900642}
643
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900644type makefileCacheT struct {
645 mu sync.Mutex
646 mk map[string]mkCacheEntry
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900647}
648
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900649var makefileCache = &makefileCacheT{
650 mk: make(map[string]mkCacheEntry),
651}
652
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900653func (mc *makefileCacheT) lookup(filename string) (makefile, [sha1.Size]byte, bool, error) {
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900654 var hash [sha1.Size]byte
655 mc.mu.Lock()
656 c, present := mc.mk[filename]
657 mc.mu.Unlock()
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900658 if !present {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900659 return makefile{}, hash, false, nil
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900660 }
661 ts := getTimestamp(filename)
662 if ts < 0 || ts >= c.ts {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900663 return makefile{}, hash, false, nil
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900664 }
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900665 return c.mk, c.hash, true, c.err
666}
667
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900668func (mc *makefileCacheT) parse(filename string) (makefile, [sha1.Size]byte, error) {
Fumitoshi Ukai07cf1212015-06-25 17:16:25 +0900669 logf("parse Makefile %q", filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900670 mk, hash, ok, err := makefileCache.lookup(filename)
671 if ok {
Fumitoshi Ukai744bb2b2015-06-25 00:10:52 +0900672 if LogFlag {
Fumitoshi Ukai07cf1212015-06-25 17:16:25 +0900673 logf("makefile cache hit for %q", filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900674 }
675 return mk, hash, err
676 }
Fumitoshi Ukai744bb2b2015-06-25 00:10:52 +0900677 if LogFlag {
Fumitoshi Ukai07cf1212015-06-25 17:16:25 +0900678 logf("reading makefile %q", filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900679 }
680 c, err := ioutil.ReadFile(filename)
681 if err != nil {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900682 return makefile{}, hash, err
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900683 }
684 hash = sha1.Sum(c)
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900685 mk, err = parseMakefile(c, filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900686 if err != nil {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900687 return makefile{}, hash, err
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900688 }
689 makefileCache.mu.Lock()
690 makefileCache.mk[filename] = mkCacheEntry{
691 mk: mk,
692 hash: hash,
693 err: err,
694 ts: time.Now().Unix(),
695 }
696 makefileCache.mu.Unlock()
697 return mk, hash, err
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900698}
699
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900700func parseMakefile(s []byte, filename string) (makefile, error) {
Shinichiro Hamaji45cde1d2015-05-25 18:21:23 +0900701 parser := newParser(bytes.NewReader(s), filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900702 return parser.parse()
Shinichiro Hamaji45cde1d2015-05-25 18:21:23 +0900703}