blob: 6b53f6f22c4c2f52b2c500a4018094070d84f4f5 [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 }
Fumitoshi Ukai201df422015-07-07 17:31:05 +0900165 // not assignment.
166 // ie. no '=' found or ':' found before '=' (except ':=')
Fumitoshi Ukai4cb507f2015-07-07 11:46:58 +0900167 p.parseMaybeRule(rline, semi)
168 return
169}
170
171func (p *parser) handleAssign(line []byte) bool {
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900172 aline, _ := removeComment(concatline(line))
173 aline = trimLeftSpaceBytes(aline)
174 if len(aline) == 0 {
Fumitoshi Ukai4cb507f2015-07-07 11:46:58 +0900175 return false
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900176 }
177 // fmt.Printf("assign: %q=>%q\n", line, aline)
178 i := findLiteralChar(aline, []byte{':', '='}, true)
179 if i >= 0 {
180 if aline[i] == '=' {
181 p.parseAssign(aline, i)
Fumitoshi Ukai4cb507f2015-07-07 11:46:58 +0900182 return true
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900183 }
184 if aline[i] == ':' && i+1 < len(aline) && aline[i+1] == '=' {
185 p.parseAssign(aline, i+1)
Fumitoshi Ukai4cb507f2015-07-07 11:46:58 +0900186 return true
Shinichiro Hamajie12e24d2015-04-11 23:09:20 +0900187 }
188 }
Fumitoshi Ukai4cb507f2015-07-07 11:46:58 +0900189 return false
Fumitoshi Ukai119dc912015-03-30 16:52:41 +0900190}
191
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900192func (p *parser) parseAssign(line []byte, sep int) {
193 lhs, op, rhs := line[:sep], line[sep:sep+1], line[sep+1:]
194 if sep > 0 {
195 switch line[sep-1] {
196 case ':', '+', '?':
197 lhs, op = line[:sep-1], line[sep-1:sep+1]
198 }
199 }
200 logf("parseAssign %s %s", line, op)
201 lhs = trimSpaceBytes(lhs)
202 rhs = trimLeftSpaceBytes(rhs)
203 aast, err := newAssignAST(p, lhs, rhs, string(op))
204 if err != nil {
205 p.err = err
206 return
207 }
208 aast.srcpos = p.srcpos()
209 p.addStatement(aast)
210}
211
212func (p *parser) parseMaybeRule(line, semi []byte) {
213 if line[0] == '\t' {
214 p.err = p.srcpos().errorf("*** commands commence before first target.")
215 return
216 }
Fumitoshi Ukai201df422015-07-07 17:31:05 +0900217 var assign *assignAST
218 ci := findLiteralChar(line, []byte{':'}, true)
219 if ci >= 0 {
220 eqi := findLiteralChar(line[ci+1:], []byte{'='}, true)
221 if eqi == 0 {
222 panic(fmt.Sprintf("unexpected eq after colon: %q", line))
223 }
224 if eqi > 0 {
225 var lhsbytes []byte
226 op := "="
227 switch line[ci+1+eqi-1] {
228 case ':', '+', '?':
229 lhsbytes = append(lhsbytes, line[ci+1:ci+1+eqi-1]...)
230 op = string(line[ci+1+eqi-1 : ci+1+eqi+1])
231 default:
232 lhsbytes = append(lhsbytes, line[ci+1:ci+1+eqi]...)
233 }
234
235 lhsbytes = trimSpaceBytes(lhsbytes)
236 lhs, _, err := parseExpr(lhsbytes, nil, parseOp{})
237 if err != nil {
238 p.err = p.srcpos().error(err)
239 return
240 }
241 var rhsbytes []byte
242 rhsbytes = append(rhsbytes, line[ci+1+eqi+1:]...)
243 if semi != nil {
244 rhsbytes = append(rhsbytes, ';')
245 rhsbytes = append(rhsbytes, concatline(semi)...)
246 }
247 rhsbytes = trimLeftSpaceBytes(rhsbytes)
248 semi = nil
249 rhs, _, err := parseExpr(rhsbytes, nil, parseOp{})
250 if err != nil {
251 p.err = p.srcpos().error(err)
252 return
253 }
254
255 // TODO(ukai): support override, export in target specific var.
256 assign = &assignAST{
257 lhs: lhs,
258 rhs: rhs,
259 op: op,
260 }
261 assign.srcpos = p.srcpos()
262 line = line[:ci+1]
263 }
264 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900265 expr, _, err := parseExpr(line, nil, parseOp{})
266 if err != nil {
Fumitoshi Ukaicba36c92015-07-07 16:04:18 +0900267 p.err = p.srcpos().error(err)
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900268 return
269 }
270 // TODO(ukai): remove ast, and eval here.
271 rast := &maybeRuleAST{
Fumitoshi Ukai201df422015-07-07 17:31:05 +0900272 isRule: ci >= 0,
273 expr: expr,
274 assign: assign,
275 semi: semi,
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900276 }
277 rast.srcpos = p.srcpos()
Fumitoshi Ukai201df422015-07-07 17:31:05 +0900278 logf("stmt: %#v", rast)
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900279 p.addStatement(rast)
280}
281
282func (p *parser) parseInclude(op string, line []byte) {
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900283 // TODO(ukai): parse expr here
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900284 iast := &includeAST{
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900285 expr: string(line),
286 op: op,
Shinichiro Hamajid7bef602015-03-30 19:55:32 +0900287 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900288 iast.srcpos = p.srcpos()
289 p.addStatement(iast)
Shinichiro Hamajid7bef602015-03-30 19:55:32 +0900290}
291
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900292func (p *parser) parseIfdef(op string, data []byte) {
293 lhs, _, err := parseExpr(data, nil, parseOp{alloc: true})
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900294 if err != nil {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900295 p.err = p.srcpos().error(err)
296 return
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900297 }
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900298 iast := &ifAST{
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900299 op: op,
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900300 lhs: lhs,
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900301 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900302 iast.srcpos = p.srcpos()
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900303 p.addStatement(iast)
304 p.ifStack = append(p.ifStack, ifState{ast: iast, numNest: p.numIfNest})
305 p.outStmts = &iast.trueStmts
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900306}
307
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900308func (p *parser) parseTwoQuotes(s []byte) (string, string, []byte, bool) {
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900309 var args []string
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900310 for i := 0; i < 2; i++ {
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900311 s = trimSpaceBytes(s)
312 if len(s) == 0 {
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900313 return "", "", nil, false
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900314 }
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900315 quote := s[0]
316 if quote != '\'' && quote != '"' {
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900317 return "", "", nil, false
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900318 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900319 end := bytes.IndexByte(s[1:], quote) + 1
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900320 if end < 0 {
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900321 return "", "", nil, false
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900322 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900323 args = append(args, string(s[1:end]))
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900324 s = s[end+1:]
325 }
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900326 return args[0], args[1], s, true
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900327}
328
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900329// parse
330// "(lhs, rhs)"
331// "lhs, rhs"
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900332func (p *parser) parseEq(s []byte) (string, string, []byte, bool) {
Fumitoshi Ukaia1d68522015-07-07 15:34:22 +0900333 if len(s) == 0 {
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900334 return "", "", nil, false
Fumitoshi Ukaia1d68522015-07-07 15:34:22 +0900335 }
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900336 if s[0] == '(' {
337 in := s[1:]
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900338 logf("parseEq ( %q )", in)
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900339 term := []byte{','}
Fumitoshi Ukaie9aa3802015-07-03 11:33:23 +0900340 v, n, err := parseExpr(in, term, parseOp{matchParen: true})
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900341 if err != nil {
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900342 logf("parse eq: %q: %v", in, err)
343 return "", "", nil, false
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900344 }
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900345 lhs := v.String()
346 n++
347 n += skipSpaces(in[n:], nil)
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900348 term = []byte{')'}
349 in = in[n:]
350 v, n, err = parseExpr(in, term, parseOp{matchParen: true})
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900351 if err != nil {
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900352 logf("parse eq 2nd: %q: %v", in, err)
353 return "", "", nil, false
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900354 }
355 rhs := v.String()
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900356 in = in[n+1:]
357 in = trimSpaceBytes(in)
358 return lhs, rhs, in, true
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900359 }
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900360 return p.parseTwoQuotes(s)
Shinichiro Hamajiaf1e8162015-03-31 02:15:37 +0900361}
362
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900363func (p *parser) parseIfeq(op string, data []byte) {
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900364 lhsBytes, rhsBytes, extra, ok := p.parseEq(data)
Shinichiro Hamajiaf1e8162015-03-31 02:15:37 +0900365 if !ok {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900366 p.err = p.srcpos().errorf(`*** invalid syntax in conditional.`)
367 return
Shinichiro Hamajiaf1e8162015-03-31 02:15:37 +0900368 }
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900369 if len(extra) > 0 {
370 logf("extra %q", extra)
371 p.err = p.srcpos().errorf(`extraneous text after %q directive`, op)
372 return
373 }
Shinichiro Hamajiaf1e8162015-03-31 02:15:37 +0900374
Fumitoshi Ukaie9aa3802015-07-03 11:33:23 +0900375 lhs, _, err := parseExpr([]byte(lhsBytes), nil, parseOp{matchParen: true})
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900376 if err != nil {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900377 p.err = p.srcpos().error(err)
378 return
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900379 }
Fumitoshi Ukaie9aa3802015-07-03 11:33:23 +0900380 rhs, _, err := parseExpr([]byte(rhsBytes), nil, parseOp{matchParen: true})
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900381 if err != nil {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900382 p.err = p.srcpos().error(err)
383 return
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900384 }
385
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900386 iast := &ifAST{
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900387 op: op,
Shinichiro Hamajiaf1e8162015-03-31 02:15:37 +0900388 lhs: lhs,
389 rhs: rhs,
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900390 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900391 iast.srcpos = p.srcpos()
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900392 p.addStatement(iast)
393 p.ifStack = append(p.ifStack, ifState{ast: iast, numNest: p.numIfNest})
394 p.outStmts = &iast.trueStmts
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900395}
396
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900397func (p *parser) checkIfStack(curKeyword string) error {
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900398 if len(p.ifStack) == 0 {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900399 return p.srcpos().errorf(`*** extraneous %q.`, curKeyword)
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900400 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900401 return nil
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900402}
403
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900404func (p *parser) parseElse(data []byte) {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900405 err := p.checkIfStack("else")
406 if err != nil {
407 p.err = err
408 return
409 }
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900410 state := &p.ifStack[len(p.ifStack)-1]
Fumitoshi Ukai0293c7a2015-03-31 16:26:53 +0900411 if state.inElse {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900412 p.err = p.srcpos().errorf(`*** only one "else" per conditional.`)
413 return
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900414 }
Fumitoshi Ukai0293c7a2015-03-31 16:26:53 +0900415 state.inElse = true
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900416 p.outStmts = &state.ast.falseStmts
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900417
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900418 nextIf := data
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900419 if len(nextIf) == 0 {
420 return
421 }
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900422 var ifDirectives = map[string]directiveFunc{
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900423 "ifdef": ifdefDirective,
424 "ifndef": ifndefDirective,
425 "ifeq": ifeqDirective,
426 "ifneq": ifneqDirective,
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900427 }
428 p.numIfNest = state.numNest + 1
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900429 if p.handleDirective(nextIf, ifDirectives) {
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900430 p.numIfNest = 0
431 return
432 }
433 p.numIfNest = 0
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900434 warnNoPrefix(p.srcpos(), "extraneous text after `else` directive")
435 return
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900436}
437
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900438func (p *parser) parseEndif(data []byte) {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900439 err := p.checkIfStack("endif")
440 if err != nil {
441 p.err = err
442 return
443 }
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900444 state := p.ifStack[len(p.ifStack)-1]
445 for t := 0; t <= state.numNest; t++ {
446 p.ifStack = p.ifStack[0 : len(p.ifStack)-1]
447 if len(p.ifStack) == 0 {
448 p.outStmts = &p.mk.stmts
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900449 } else {
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900450 state := p.ifStack[len(p.ifStack)-1]
451 if state.inElse {
452 p.outStmts = &state.ast.falseStmts
453 } else {
454 p.outStmts = &state.ast.trueStmts
455 }
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900456 }
457 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900458 return
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900459}
460
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900461func (p *parser) parseDefine(data []byte) {
462 p.defineVar = nil
463 p.inDef = nil
464 p.defineVar = append(p.defineVar, trimSpaceBytes(data)...)
465 return
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900466}
467
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900468type directiveFunc func(*parser, []byte)
469
470var makeDirectives map[string]directiveFunc
471
472func init() {
473 makeDirectives = map[string]directiveFunc{
474 "include": includeDirective,
475 "-include": sincludeDirective,
476 "sinclude": sincludeDirective,
477 "ifdef": ifdefDirective,
478 "ifndef": ifndefDirective,
479 "ifeq": ifeqDirective,
480 "ifneq": ifneqDirective,
481 "else": elseDirective,
482 "endif": endifDirective,
483 "define": defineDirective,
484 "override": overrideDirective,
485 "export": exportDirective,
486 "unexport": unexportDirective,
Shinichiro Hamajie103f652015-04-11 19:49:51 +0900487 }
Shinichiro Hamaji74b8cb52015-04-08 19:47:43 +0900488}
489
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900490func includeDirective(p *parser, data []byte) {
491 p.parseInclude("include", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900492}
493
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900494func sincludeDirective(p *parser, data []byte) {
495 p.parseInclude("-include", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900496}
497
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900498func ifdefDirective(p *parser, data []byte) {
499 p.parseIfdef("ifdef", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900500}
501
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900502func ifndefDirective(p *parser, data []byte) {
503 p.parseIfdef("ifndef", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900504}
505
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900506func ifeqDirective(p *parser, data []byte) {
507 p.parseIfeq("ifeq", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900508}
509
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900510func ifneqDirective(p *parser, data []byte) {
511 p.parseIfeq("ifneq", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900512}
513
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900514func elseDirective(p *parser, data []byte) {
515 p.parseElse(data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900516}
517
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900518func endifDirective(p *parser, data []byte) {
519 p.parseEndif(data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900520}
521
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900522func defineDirective(p *parser, data []byte) {
523 p.parseDefine(data)
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900524}
525
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900526func overrideDirective(p *parser, data []byte) {
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900527 p.defOpt = "override"
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900528 defineDirective := map[string]directiveFunc{
529 "define": defineDirective,
530 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900531 logf("override define? %q", data)
532 if p.handleDirective(data, defineDirective) {
533 return
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900534 }
535 // e.g. overrider foo := bar
536 // line will be "foo := bar".
Fumitoshi Ukai4cb507f2015-07-07 11:46:58 +0900537 if p.handleAssign(data) {
538 return
539 }
540 p.defOpt = ""
541 var line []byte
542 line = append(line, []byte("override ")...)
543 line = append(line, data...)
544 p.handleRuleOrAssign(line)
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900545}
546
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900547func handleExport(p *parser, data []byte, export bool) (hasEqual bool) {
548 i := bytes.IndexByte(data, '=')
549 if i > 0 {
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900550 hasEqual = true
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900551 switch data[i-1] {
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900552 case ':', '+', '?':
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900553 i--
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900554 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900555 data = data[:i]
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900556 }
557
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900558 east := &exportAST{
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900559 expr: data,
Shinichiro Hamajif61033d2015-05-29 15:01:48 +0900560 export: export,
Shinichiro Hamaji7e521422015-05-29 14:23:30 +0900561 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900562 east.srcpos = p.srcpos()
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900563 p.addStatement(east)
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900564 return hasEqual
Shinichiro Hamaji7e521422015-05-29 14:23:30 +0900565}
Shinichiro Hamaji07e76d52015-05-26 18:22:31 +0900566
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900567func exportDirective(p *parser, data []byte) {
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900568 p.defOpt = "export"
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900569 defineDirective := map[string]directiveFunc{
570 "define": defineDirective,
571 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900572 logf("export define? %q", data)
573 if p.handleDirective(data, defineDirective) {
574 return
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900575 }
Shinichiro Hamaji07e76d52015-05-26 18:22:31 +0900576
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900577 if !handleExport(p, data, true) {
578 return
Shinichiro Hamaji07e76d52015-05-26 18:22:31 +0900579 }
580
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900581 // e.g. export foo := bar
582 // line will be "foo := bar".
Fumitoshi Ukai4cb507f2015-07-07 11:46:58 +0900583 if p.handleAssign(data) {
584 return
585 }
586 p.defOpt = ""
587 var line []byte
588 line = append(line, []byte("export ")...)
589 line = append(line, data...)
590 p.handleRuleOrAssign(line)
Fumitoshi Ukai3d54db82015-04-01 11:03:31 +0900591}
592
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900593func unexportDirective(p *parser, data []byte) {
594 handleExport(p, data, false)
595 return
Shinichiro Hamajica668572015-06-17 06:36:45 +0900596}
597
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900598func (p *parser) parse() (mk makefile, err error) {
Shinichiro Hamajie1841582015-03-30 17:20:33 +0900599 for !p.done {
Shinichiro Hamaji0b93c862015-04-07 06:15:15 +0900600 line := p.readLine()
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900601 logf("line: %q", line)
602 if p.defineVar != nil {
603 p.processDefine(line)
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900604 if p.err != nil {
605 return makefile{}, p.err
606 }
Shinichiro Hamaji0b93c862015-04-07 06:15:15 +0900607 continue
608 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900609 p.defOpt = ""
610 if p.inRecipe {
611 if len(line) > 0 && line[0] == '\t' {
612 cast := &commandAST{cmd: string(line[1:])}
613 cast.srcpos = p.srcpos()
614 p.addStatement(cast)
Shinichiro Hamaji34e23242015-04-06 15:44:50 +0900615 continue
616 }
Fumitoshi Ukai119dc912015-03-30 16:52:41 +0900617 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900618 p.parseLine(line)
619 if p.err != nil {
620 return makefile{}, p.err
Shinichiro Hamaji685fecf2015-03-30 18:28:12 +0900621 }
Fumitoshi Ukai119dc912015-03-30 16:52:41 +0900622 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900623 return p.mk, p.err
Fumitoshi Ukai119dc912015-03-30 16:52:41 +0900624}
625
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900626func (p *parser) parseLine(line []byte) {
627 cline := concatline(line)
628 if len(cline) == 0 {
629 return
630 }
631 logf("concatline:%q", cline)
632 var dline []byte
633 cline, _ = removeComment(cline)
634 dline = append(dline, cline...)
635 dline = trimSpaceBytes(dline)
636 if len(dline) == 0 {
637 return
638 }
639 logf("directive?: %q", dline)
640 if p.handleDirective(dline, makeDirectives) {
641 return
642 }
643 logf("rule or assign?: %q", line)
644 p.handleRuleOrAssign(line)
645}
646
647func (p *parser) processDefine(line []byte) {
648 line = concatline(line)
649 logf("concatline:%q", line)
650 if !p.isEndef(line) {
Fumitoshi Ukai1d2c92d2015-07-07 12:10:20 +0900651 if p.inDef != nil {
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900652 p.inDef = append(p.inDef, '\n')
653 }
654 p.inDef = append(p.inDef, line...)
Fumitoshi Ukai1d2c92d2015-07-07 12:10:20 +0900655 if p.inDef == nil {
656 p.inDef = []byte{}
657 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900658 return
659 }
660 logf("multilineAssign %q %q", p.defineVar, p.inDef)
661 aast, err := newAssignAST(p, p.defineVar, p.inDef, "=")
662 if err != nil {
663 p.err = p.srcpos().errorf("assign error %q=%q: %v", p.defineVar, p.inDef, err)
664 return
665 }
666 aast.srcpos = p.srcpos()
667 aast.srcpos.lineno -= bytes.Count(p.inDef, []byte{'\n'})
668 p.addStatement(aast)
669 p.defineVar = nil
670 p.inDef = nil
671 return
672}
673
674func (p *parser) isEndef(line []byte) bool {
675 if bytes.Equal(line, []byte("endef")) {
676 return true
677 }
678 w, data := firstWord(line)
679 if bytes.Equal(w, []byte("endef")) {
680 data, _ = removeComment(data)
681 data = trimLeftSpaceBytes(data)
682 if len(data) > 0 {
683 warnNoPrefix(p.srcpos(), `extraneous text after "endef" directive`)
684 }
685 return true
686 }
687 return false
688}
689
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900690func defaultMakefile() (string, error) {
Shinichiro Hamajib0d2e2f2015-05-20 16:42:59 +0900691 candidates := []string{"GNUmakefile", "makefile", "Makefile"}
692 for _, filename := range candidates {
693 if exists(filename) {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900694 return filename, nil
Shinichiro Hamajib0d2e2f2015-05-20 16:42:59 +0900695 }
696 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900697 return "", errors.New("no targets specified and no makefile found")
Shinichiro Hamajib0d2e2f2015-05-20 16:42:59 +0900698}
699
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900700func parseMakefileReader(rd io.Reader, loc srcpos) (makefile, error) {
701 parser := newParser(rd, loc.filename)
702 parser.lineno = loc.lineno
703 parser.elineno = loc.lineno
Shinichiro Hamaji370be722015-04-10 14:55:23 +0900704 parser.linenoFixed = true
Shinichiro Hamajia5dee372015-04-03 16:41:30 +0900705 return parser.parse()
Shinichiro Hamajic3840812015-04-02 02:10:20 +0900706}
Shinichiro Hamaji28ea5bc2015-04-11 12:41:08 +0900707
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900708func parseMakefileString(s string, loc srcpos) (makefile, error) {
709 return parseMakefileReader(strings.NewReader(s), loc)
Shinichiro Hamaji28ea5bc2015-04-11 12:41:08 +0900710}
711
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900712func parseMakefileBytes(s []byte, loc srcpos) (makefile, error) {
713 return parseMakefileReader(bytes.NewReader(s), loc)
Shinichiro Hamaji28ea5bc2015-04-11 12:41:08 +0900714}
Shinichiro Hamaji45cde1d2015-05-25 18:21:23 +0900715
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900716type mkCacheEntry struct {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900717 mk makefile
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900718 hash [sha1.Size]byte
719 err error
720 ts int64
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900721}
722
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900723type makefileCacheT struct {
724 mu sync.Mutex
725 mk map[string]mkCacheEntry
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900726}
727
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900728var makefileCache = &makefileCacheT{
729 mk: make(map[string]mkCacheEntry),
730}
731
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900732func (mc *makefileCacheT) lookup(filename string) (makefile, [sha1.Size]byte, bool, error) {
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900733 var hash [sha1.Size]byte
734 mc.mu.Lock()
735 c, present := mc.mk[filename]
736 mc.mu.Unlock()
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900737 if !present {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900738 return makefile{}, hash, false, nil
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900739 }
740 ts := getTimestamp(filename)
741 if ts < 0 || ts >= c.ts {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900742 return makefile{}, hash, false, nil
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900743 }
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900744 return c.mk, c.hash, true, c.err
745}
746
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900747func (mc *makefileCacheT) parse(filename string) (makefile, [sha1.Size]byte, error) {
Fumitoshi Ukai07cf1212015-06-25 17:16:25 +0900748 logf("parse Makefile %q", filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900749 mk, hash, ok, err := makefileCache.lookup(filename)
750 if ok {
Fumitoshi Ukai744bb2b2015-06-25 00:10:52 +0900751 if LogFlag {
Fumitoshi Ukai07cf1212015-06-25 17:16:25 +0900752 logf("makefile cache hit for %q", filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900753 }
754 return mk, hash, err
755 }
Fumitoshi Ukai744bb2b2015-06-25 00:10:52 +0900756 if LogFlag {
Fumitoshi Ukai07cf1212015-06-25 17:16:25 +0900757 logf("reading makefile %q", filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900758 }
759 c, err := ioutil.ReadFile(filename)
760 if err != nil {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900761 return makefile{}, hash, err
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900762 }
763 hash = sha1.Sum(c)
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900764 mk, err = parseMakefile(c, filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900765 if err != nil {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900766 return makefile{}, hash, err
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900767 }
768 makefileCache.mu.Lock()
769 makefileCache.mk[filename] = mkCacheEntry{
770 mk: mk,
771 hash: hash,
772 err: err,
773 ts: time.Now().Unix(),
774 }
775 makefileCache.mu.Unlock()
776 return mk, hash, err
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900777}
778
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900779func parseMakefile(s []byte, filename string) (makefile, error) {
Shinichiro Hamaji45cde1d2015-05-25 18:21:23 +0900780 parser := newParser(bytes.NewReader(s), filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900781 return parser.parse()
Shinichiro Hamaji45cde1d2015-05-25 18:21:23 +0900782}