blob: 90dbca065905093e0ed93e9f952e0cf41b4693e2 [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 Ukai4cb507f2015-07-07 11:46:58 +0900162 if p.handleAssign(line) {
163 return
164 }
165 // not assignment
166 p.parseMaybeRule(rline, semi)
167 return
168}
169
170func (p *parser) handleAssign(line []byte) bool {
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900171 aline, _ := removeComment(concatline(line))
172 aline = trimLeftSpaceBytes(aline)
173 if len(aline) == 0 {
Fumitoshi Ukai4cb507f2015-07-07 11:46:58 +0900174 return false
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900175 }
176 // fmt.Printf("assign: %q=>%q\n", line, aline)
177 i := findLiteralChar(aline, []byte{':', '='}, true)
178 if i >= 0 {
179 if aline[i] == '=' {
180 p.parseAssign(aline, i)
Fumitoshi Ukai4cb507f2015-07-07 11:46:58 +0900181 return true
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900182 }
183 if aline[i] == ':' && i+1 < len(aline) && aline[i+1] == '=' {
184 p.parseAssign(aline, i+1)
Fumitoshi Ukai4cb507f2015-07-07 11:46:58 +0900185 return true
Shinichiro Hamajie12e24d2015-04-11 23:09:20 +0900186 }
187 }
Fumitoshi Ukai4cb507f2015-07-07 11:46:58 +0900188 return false
Fumitoshi Ukai119dc912015-03-30 16:52:41 +0900189}
190
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900191func (p *parser) parseAssign(line []byte, sep int) {
192 lhs, op, rhs := line[:sep], line[sep:sep+1], line[sep+1:]
193 if sep > 0 {
194 switch line[sep-1] {
195 case ':', '+', '?':
196 lhs, op = line[:sep-1], line[sep-1:sep+1]
197 }
198 }
199 logf("parseAssign %s %s", line, op)
200 lhs = trimSpaceBytes(lhs)
201 rhs = trimLeftSpaceBytes(rhs)
202 aast, err := newAssignAST(p, lhs, rhs, string(op))
203 if err != nil {
204 p.err = err
205 return
206 }
207 aast.srcpos = p.srcpos()
208 p.addStatement(aast)
209}
210
211func (p *parser) parseMaybeRule(line, semi []byte) {
212 if line[0] == '\t' {
213 p.err = p.srcpos().errorf("*** commands commence before first target.")
214 return
215 }
216 expr, _, err := parseExpr(line, nil, parseOp{})
217 if err != nil {
218 p.err = p.srcpos().errorf("parse error: %s: %v", string(line), err)
219 return
220 }
221 // TODO(ukai): remove ast, and eval here.
222 rast := &maybeRuleAST{
223 expr: expr,
224 semi: semi,
225 }
226 rast.srcpos = p.srcpos()
227 p.addStatement(rast)
228}
229
230func (p *parser) parseInclude(op string, line []byte) {
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900231 // TODO(ukai): parse expr here
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900232 iast := &includeAST{
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900233 expr: string(line),
234 op: op,
Shinichiro Hamajid7bef602015-03-30 19:55:32 +0900235 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900236 iast.srcpos = p.srcpos()
237 p.addStatement(iast)
Shinichiro Hamajid7bef602015-03-30 19:55:32 +0900238}
239
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900240func (p *parser) parseIfdef(op string, data []byte) {
241 lhs, _, err := parseExpr(data, nil, parseOp{alloc: true})
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900242 if err != nil {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900243 p.err = p.srcpos().error(err)
244 return
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900245 }
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900246 iast := &ifAST{
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900247 op: op,
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900248 lhs: lhs,
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900249 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900250 iast.srcpos = p.srcpos()
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900251 p.addStatement(iast)
252 p.ifStack = append(p.ifStack, ifState{ast: iast, numNest: p.numIfNest})
253 p.outStmts = &iast.trueStmts
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900254}
255
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900256func (p *parser) parseTwoQuotes(s []byte, op string) ([]string, bool, error) {
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900257 var args []string
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900258 for i := 0; i < 2; i++ {
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900259 s = trimSpaceBytes(s)
260 if len(s) == 0 {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900261 return nil, false, nil
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900262 }
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900263 quote := s[0]
264 if quote != '\'' && quote != '"' {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900265 return nil, false, nil
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900266 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900267 end := bytes.IndexByte(s[1:], quote) + 1
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900268 if end < 0 {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900269 return nil, false, nil
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900270 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900271 args = append(args, string(s[1:end]))
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900272 s = s[end+1:]
273 }
274 if len(s) > 0 {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900275 return nil, false, p.srcpos().errorf(`extraneous text after %q directive`, op)
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900276 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900277 return args, true, nil
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900278}
279
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900280// parse
281// "(lhs, rhs)"
282// "lhs, rhs"
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900283func (p *parser) parseEq(s []byte, op string) (string, string, bool, error) {
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900284 if s[0] == '(' && s[len(s)-1] == ')' {
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900285 in := s[1 : len(s)-1]
286 logf("parseEq ( %q )", in)
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900287 term := []byte{','}
Fumitoshi Ukaie9aa3802015-07-03 11:33:23 +0900288 v, n, err := parseExpr(in, term, 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
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900291 }
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900292 lhs := v.String()
293 n++
294 n += skipSpaces(in[n:], nil)
Fumitoshi Ukaie9aa3802015-07-03 11:33:23 +0900295 v, n, err = parseExpr(in[n:], nil, parseOp{matchParen: true})
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900296 if err != nil {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900297 return "", "", false, err
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900298 }
299 rhs := v.String()
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900300 return lhs, rhs, true, nil
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900301 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900302 args, ok, err := p.parseTwoQuotes(s, op)
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900303 if !ok {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900304 return "", "", false, err
Fumitoshi Ukaie520f262015-03-31 17:27:03 +0900305 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900306 return args[0], args[1], true, nil
Shinichiro Hamajiaf1e8162015-03-31 02:15:37 +0900307}
308
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900309func (p *parser) parseIfeq(op string, data []byte) {
310 lhsBytes, rhsBytes, ok, err := p.parseEq(data, op)
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900311 if err != nil {
312 p.err = err
313 return
314 }
Shinichiro Hamajiaf1e8162015-03-31 02:15:37 +0900315 if !ok {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900316 p.err = p.srcpos().errorf(`*** invalid syntax in conditional.`)
317 return
Shinichiro Hamajiaf1e8162015-03-31 02:15:37 +0900318 }
319
Fumitoshi Ukaie9aa3802015-07-03 11:33:23 +0900320 lhs, _, err := parseExpr([]byte(lhsBytes), nil, parseOp{matchParen: true})
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900321 if err != nil {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900322 p.err = p.srcpos().error(err)
323 return
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900324 }
Fumitoshi Ukaie9aa3802015-07-03 11:33:23 +0900325 rhs, _, err := parseExpr([]byte(rhsBytes), nil, parseOp{matchParen: true})
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900326 if err != nil {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900327 p.err = p.srcpos().error(err)
328 return
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900329 }
330
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900331 iast := &ifAST{
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900332 op: op,
Shinichiro Hamajiaf1e8162015-03-31 02:15:37 +0900333 lhs: lhs,
334 rhs: rhs,
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900335 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900336 iast.srcpos = p.srcpos()
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900337 p.addStatement(iast)
338 p.ifStack = append(p.ifStack, ifState{ast: iast, numNest: p.numIfNest})
339 p.outStmts = &iast.trueStmts
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900340}
341
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900342func (p *parser) checkIfStack(curKeyword string) error {
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900343 if len(p.ifStack) == 0 {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900344 return p.srcpos().errorf(`*** extraneous %q.`, curKeyword)
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900345 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900346 return nil
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900347}
348
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900349func (p *parser) parseElse(data []byte) {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900350 err := p.checkIfStack("else")
351 if err != nil {
352 p.err = err
353 return
354 }
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900355 state := &p.ifStack[len(p.ifStack)-1]
Fumitoshi Ukai0293c7a2015-03-31 16:26:53 +0900356 if state.inElse {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900357 p.err = p.srcpos().errorf(`*** only one "else" per conditional.`)
358 return
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900359 }
Fumitoshi Ukai0293c7a2015-03-31 16:26:53 +0900360 state.inElse = true
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900361 p.outStmts = &state.ast.falseStmts
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900362
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900363 nextIf := data
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900364 if len(nextIf) == 0 {
365 return
366 }
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900367 var ifDirectives = map[string]directiveFunc{
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900368 "ifdef": ifdefDirective,
369 "ifndef": ifndefDirective,
370 "ifeq": ifeqDirective,
371 "ifneq": ifneqDirective,
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900372 }
373 p.numIfNest = state.numNest + 1
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900374 if p.handleDirective(nextIf, ifDirectives) {
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900375 p.numIfNest = 0
376 return
377 }
378 p.numIfNest = 0
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900379 warnNoPrefix(p.srcpos(), "extraneous text after `else` directive")
380 return
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900381}
382
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900383func (p *parser) parseEndif(data []byte) {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900384 err := p.checkIfStack("endif")
385 if err != nil {
386 p.err = err
387 return
388 }
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900389 state := p.ifStack[len(p.ifStack)-1]
390 for t := 0; t <= state.numNest; t++ {
391 p.ifStack = p.ifStack[0 : len(p.ifStack)-1]
392 if len(p.ifStack) == 0 {
393 p.outStmts = &p.mk.stmts
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900394 } else {
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900395 state := p.ifStack[len(p.ifStack)-1]
396 if state.inElse {
397 p.outStmts = &state.ast.falseStmts
398 } else {
399 p.outStmts = &state.ast.trueStmts
400 }
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900401 }
402 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900403 return
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900404}
405
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900406func (p *parser) parseDefine(data []byte) {
407 p.defineVar = nil
408 p.inDef = nil
409 p.defineVar = append(p.defineVar, trimSpaceBytes(data)...)
410 return
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900411}
412
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900413type directiveFunc func(*parser, []byte)
414
415var makeDirectives map[string]directiveFunc
416
417func init() {
418 makeDirectives = map[string]directiveFunc{
419 "include": includeDirective,
420 "-include": sincludeDirective,
421 "sinclude": sincludeDirective,
422 "ifdef": ifdefDirective,
423 "ifndef": ifndefDirective,
424 "ifeq": ifeqDirective,
425 "ifneq": ifneqDirective,
426 "else": elseDirective,
427 "endif": endifDirective,
428 "define": defineDirective,
429 "override": overrideDirective,
430 "export": exportDirective,
431 "unexport": unexportDirective,
Shinichiro Hamajie103f652015-04-11 19:49:51 +0900432 }
Shinichiro Hamaji74b8cb52015-04-08 19:47:43 +0900433}
434
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900435func includeDirective(p *parser, data []byte) {
436 p.parseInclude("include", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900437}
438
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900439func sincludeDirective(p *parser, data []byte) {
440 p.parseInclude("-include", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900441}
442
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900443func ifdefDirective(p *parser, data []byte) {
444 p.parseIfdef("ifdef", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900445}
446
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900447func ifndefDirective(p *parser, data []byte) {
448 p.parseIfdef("ifndef", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900449}
450
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900451func ifeqDirective(p *parser, data []byte) {
452 p.parseIfeq("ifeq", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900453}
454
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900455func ifneqDirective(p *parser, data []byte) {
456 p.parseIfeq("ifneq", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900457}
458
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900459func elseDirective(p *parser, data []byte) {
460 p.parseElse(data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900461}
462
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900463func endifDirective(p *parser, data []byte) {
464 p.parseEndif(data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900465}
466
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900467func defineDirective(p *parser, data []byte) {
468 p.parseDefine(data)
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900469}
470
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900471func overrideDirective(p *parser, data []byte) {
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900472 p.defOpt = "override"
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900473 defineDirective := map[string]directiveFunc{
474 "define": defineDirective,
475 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900476 logf("override define? %q", data)
477 if p.handleDirective(data, defineDirective) {
478 return
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900479 }
480 // e.g. overrider foo := bar
481 // line will be "foo := bar".
Fumitoshi Ukai4cb507f2015-07-07 11:46:58 +0900482 if p.handleAssign(data) {
483 return
484 }
485 p.defOpt = ""
486 var line []byte
487 line = append(line, []byte("override ")...)
488 line = append(line, data...)
489 p.handleRuleOrAssign(line)
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900490}
491
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900492func handleExport(p *parser, data []byte, export bool) (hasEqual bool) {
493 i := bytes.IndexByte(data, '=')
494 if i > 0 {
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900495 hasEqual = true
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900496 switch data[i-1] {
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900497 case ':', '+', '?':
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900498 i--
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900499 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900500 data = data[:i]
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900501 }
502
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900503 east := &exportAST{
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900504 expr: data,
Shinichiro Hamajif61033d2015-05-29 15:01:48 +0900505 export: export,
Shinichiro Hamaji7e521422015-05-29 14:23:30 +0900506 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900507 east.srcpos = p.srcpos()
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900508 p.addStatement(east)
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900509 return hasEqual
Shinichiro Hamaji7e521422015-05-29 14:23:30 +0900510}
Shinichiro Hamaji07e76d52015-05-26 18:22:31 +0900511
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900512func exportDirective(p *parser, data []byte) {
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900513 p.defOpt = "export"
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900514 defineDirective := map[string]directiveFunc{
515 "define": defineDirective,
516 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900517 logf("export define? %q", data)
518 if p.handleDirective(data, defineDirective) {
519 return
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900520 }
Shinichiro Hamaji07e76d52015-05-26 18:22:31 +0900521
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900522 if !handleExport(p, data, true) {
523 return
Shinichiro Hamaji07e76d52015-05-26 18:22:31 +0900524 }
525
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900526 // e.g. export foo := bar
527 // line will be "foo := bar".
Fumitoshi Ukai4cb507f2015-07-07 11:46:58 +0900528 if p.handleAssign(data) {
529 return
530 }
531 p.defOpt = ""
532 var line []byte
533 line = append(line, []byte("export ")...)
534 line = append(line, data...)
535 p.handleRuleOrAssign(line)
Fumitoshi Ukai3d54db82015-04-01 11:03:31 +0900536}
537
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900538func unexportDirective(p *parser, data []byte) {
539 handleExport(p, data, false)
540 return
Shinichiro Hamajica668572015-06-17 06:36:45 +0900541}
542
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900543func (p *parser) parse() (mk makefile, err error) {
Shinichiro Hamajie1841582015-03-30 17:20:33 +0900544 for !p.done {
Shinichiro Hamaji0b93c862015-04-07 06:15:15 +0900545 line := p.readLine()
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900546 logf("line: %q", line)
547 if p.defineVar != nil {
548 p.processDefine(line)
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900549 if p.err != nil {
550 return makefile{}, p.err
551 }
Shinichiro Hamaji0b93c862015-04-07 06:15:15 +0900552 continue
553 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900554 p.defOpt = ""
555 if p.inRecipe {
556 if len(line) > 0 && line[0] == '\t' {
557 cast := &commandAST{cmd: string(line[1:])}
558 cast.srcpos = p.srcpos()
559 p.addStatement(cast)
Shinichiro Hamaji34e23242015-04-06 15:44:50 +0900560 continue
561 }
Fumitoshi Ukai119dc912015-03-30 16:52:41 +0900562 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900563 p.parseLine(line)
564 if p.err != nil {
565 return makefile{}, p.err
Shinichiro Hamaji685fecf2015-03-30 18:28:12 +0900566 }
Fumitoshi Ukai119dc912015-03-30 16:52:41 +0900567 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900568 return p.mk, p.err
Fumitoshi Ukai119dc912015-03-30 16:52:41 +0900569}
570
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900571func (p *parser) parseLine(line []byte) {
572 cline := concatline(line)
573 if len(cline) == 0 {
574 return
575 }
576 logf("concatline:%q", cline)
577 var dline []byte
578 cline, _ = removeComment(cline)
579 dline = append(dline, cline...)
580 dline = trimSpaceBytes(dline)
581 if len(dline) == 0 {
582 return
583 }
584 logf("directive?: %q", dline)
585 if p.handleDirective(dline, makeDirectives) {
586 return
587 }
588 logf("rule or assign?: %q", line)
589 p.handleRuleOrAssign(line)
590}
591
592func (p *parser) processDefine(line []byte) {
593 line = concatline(line)
594 logf("concatline:%q", line)
595 if !p.isEndef(line) {
Fumitoshi Ukai1d2c92d2015-07-07 12:10:20 +0900596 if p.inDef != nil {
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900597 p.inDef = append(p.inDef, '\n')
598 }
599 p.inDef = append(p.inDef, line...)
Fumitoshi Ukai1d2c92d2015-07-07 12:10:20 +0900600 if p.inDef == nil {
601 p.inDef = []byte{}
602 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900603 return
604 }
605 logf("multilineAssign %q %q", p.defineVar, p.inDef)
606 aast, err := newAssignAST(p, p.defineVar, p.inDef, "=")
607 if err != nil {
608 p.err = p.srcpos().errorf("assign error %q=%q: %v", p.defineVar, p.inDef, err)
609 return
610 }
611 aast.srcpos = p.srcpos()
612 aast.srcpos.lineno -= bytes.Count(p.inDef, []byte{'\n'})
613 p.addStatement(aast)
614 p.defineVar = nil
615 p.inDef = nil
616 return
617}
618
619func (p *parser) isEndef(line []byte) bool {
620 if bytes.Equal(line, []byte("endef")) {
621 return true
622 }
623 w, data := firstWord(line)
624 if bytes.Equal(w, []byte("endef")) {
625 data, _ = removeComment(data)
626 data = trimLeftSpaceBytes(data)
627 if len(data) > 0 {
628 warnNoPrefix(p.srcpos(), `extraneous text after "endef" directive`)
629 }
630 return true
631 }
632 return false
633}
634
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900635func defaultMakefile() (string, error) {
Shinichiro Hamajib0d2e2f2015-05-20 16:42:59 +0900636 candidates := []string{"GNUmakefile", "makefile", "Makefile"}
637 for _, filename := range candidates {
638 if exists(filename) {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900639 return filename, nil
Shinichiro Hamajib0d2e2f2015-05-20 16:42:59 +0900640 }
641 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900642 return "", errors.New("no targets specified and no makefile found")
Shinichiro Hamajib0d2e2f2015-05-20 16:42:59 +0900643}
644
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900645func parseMakefileReader(rd io.Reader, loc srcpos) (makefile, error) {
646 parser := newParser(rd, loc.filename)
647 parser.lineno = loc.lineno
648 parser.elineno = loc.lineno
Shinichiro Hamaji370be722015-04-10 14:55:23 +0900649 parser.linenoFixed = true
Shinichiro Hamajia5dee372015-04-03 16:41:30 +0900650 return parser.parse()
Shinichiro Hamajic3840812015-04-02 02:10:20 +0900651}
Shinichiro Hamaji28ea5bc2015-04-11 12:41:08 +0900652
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900653func parseMakefileString(s string, loc srcpos) (makefile, error) {
654 return parseMakefileReader(strings.NewReader(s), loc)
Shinichiro Hamaji28ea5bc2015-04-11 12:41:08 +0900655}
656
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900657func parseMakefileBytes(s []byte, loc srcpos) (makefile, error) {
658 return parseMakefileReader(bytes.NewReader(s), loc)
Shinichiro Hamaji28ea5bc2015-04-11 12:41:08 +0900659}
Shinichiro Hamaji45cde1d2015-05-25 18:21:23 +0900660
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900661type mkCacheEntry struct {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900662 mk makefile
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900663 hash [sha1.Size]byte
664 err error
665 ts int64
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900666}
667
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900668type makefileCacheT struct {
669 mu sync.Mutex
670 mk map[string]mkCacheEntry
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900671}
672
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900673var makefileCache = &makefileCacheT{
674 mk: make(map[string]mkCacheEntry),
675}
676
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900677func (mc *makefileCacheT) lookup(filename string) (makefile, [sha1.Size]byte, bool, error) {
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900678 var hash [sha1.Size]byte
679 mc.mu.Lock()
680 c, present := mc.mk[filename]
681 mc.mu.Unlock()
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900682 if !present {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900683 return makefile{}, hash, false, nil
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900684 }
685 ts := getTimestamp(filename)
686 if ts < 0 || ts >= c.ts {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900687 return makefile{}, hash, false, nil
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900688 }
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900689 return c.mk, c.hash, true, c.err
690}
691
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900692func (mc *makefileCacheT) parse(filename string) (makefile, [sha1.Size]byte, error) {
Fumitoshi Ukai07cf1212015-06-25 17:16:25 +0900693 logf("parse Makefile %q", filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900694 mk, hash, ok, err := makefileCache.lookup(filename)
695 if ok {
Fumitoshi Ukai744bb2b2015-06-25 00:10:52 +0900696 if LogFlag {
Fumitoshi Ukai07cf1212015-06-25 17:16:25 +0900697 logf("makefile cache hit for %q", filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900698 }
699 return mk, hash, err
700 }
Fumitoshi Ukai744bb2b2015-06-25 00:10:52 +0900701 if LogFlag {
Fumitoshi Ukai07cf1212015-06-25 17:16:25 +0900702 logf("reading makefile %q", filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900703 }
704 c, err := ioutil.ReadFile(filename)
705 if err != nil {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900706 return makefile{}, hash, err
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900707 }
708 hash = sha1.Sum(c)
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900709 mk, err = parseMakefile(c, filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900710 if err != nil {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900711 return makefile{}, hash, err
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900712 }
713 makefileCache.mu.Lock()
714 makefileCache.mk[filename] = mkCacheEntry{
715 mk: mk,
716 hash: hash,
717 err: err,
718 ts: time.Now().Unix(),
719 }
720 makefileCache.mu.Unlock()
721 return mk, hash, err
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900722}
723
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900724func parseMakefile(s []byte, filename string) (makefile, error) {
Shinichiro Hamaji45cde1d2015-05-25 18:21:23 +0900725 parser := newParser(bytes.NewReader(s), filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900726 return parser.parse()
Shinichiro Hamaji45cde1d2015-05-25 18:21:23 +0900727}