blob: 913a05ea63cdf4bb5b8e1cb13fbbb0dc60fd7db8 [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 Ukaifc02d672015-07-07 15:49:58 +0900256func (p *parser) parseTwoQuotes(s []byte) (string, string, []byte, bool) {
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 Ukaifc02d672015-07-07 15:49:58 +0900261 return "", "", nil, false
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900262 }
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900263 quote := s[0]
264 if quote != '\'' && quote != '"' {
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900265 return "", "", nil, false
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 Ukaifc02d672015-07-07 15:49:58 +0900269 return "", "", nil, false
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 }
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900274 return args[0], args[1], s, true
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900275}
276
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900277// parse
278// "(lhs, rhs)"
279// "lhs, rhs"
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900280func (p *parser) parseEq(s []byte) (string, string, []byte, bool) {
Fumitoshi Ukaia1d68522015-07-07 15:34:22 +0900281 if len(s) == 0 {
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900282 return "", "", nil, false
Fumitoshi Ukaia1d68522015-07-07 15:34:22 +0900283 }
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900284 if s[0] == '(' {
285 in := s[1:]
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900286 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 Ukaifc02d672015-07-07 15:49:58 +0900290 logf("parse eq: %q: %v", in, err)
291 return "", "", nil, false
Shinichiro Hamaji76de43e2015-04-03 10:40:18 +0900292 }
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900293 lhs := v.String()
294 n++
295 n += skipSpaces(in[n:], nil)
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900296 term = []byte{')'}
297 in = in[n:]
298 v, n, err = parseExpr(in, term, parseOp{matchParen: true})
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900299 if err != nil {
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900300 logf("parse eq 2nd: %q: %v", in, err)
301 return "", "", nil, false
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900302 }
303 rhs := v.String()
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900304 in = in[n+1:]
305 in = trimSpaceBytes(in)
306 return lhs, rhs, in, true
Fumitoshi Ukaib36f3872015-04-10 15:06:38 +0900307 }
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900308 return p.parseTwoQuotes(s)
Shinichiro Hamajiaf1e8162015-03-31 02:15:37 +0900309}
310
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900311func (p *parser) parseIfeq(op string, data []byte) {
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900312 lhsBytes, rhsBytes, extra, ok := p.parseEq(data)
Shinichiro Hamajiaf1e8162015-03-31 02:15:37 +0900313 if !ok {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900314 p.err = p.srcpos().errorf(`*** invalid syntax in conditional.`)
315 return
Shinichiro Hamajiaf1e8162015-03-31 02:15:37 +0900316 }
Fumitoshi Ukaifc02d672015-07-07 15:49:58 +0900317 if len(extra) > 0 {
318 logf("extra %q", extra)
319 p.err = p.srcpos().errorf(`extraneous text after %q directive`, op)
320 return
321 }
Shinichiro Hamajiaf1e8162015-03-31 02:15:37 +0900322
Fumitoshi Ukaie9aa3802015-07-03 11:33:23 +0900323 lhs, _, err := parseExpr([]byte(lhsBytes), nil, parseOp{matchParen: true})
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900324 if err != nil {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900325 p.err = p.srcpos().error(err)
326 return
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900327 }
Fumitoshi Ukaie9aa3802015-07-03 11:33:23 +0900328 rhs, _, err := parseExpr([]byte(rhsBytes), nil, parseOp{matchParen: true})
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900329 if err != nil {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900330 p.err = p.srcpos().error(err)
331 return
Shinichiro Hamaji1a68fd22015-06-04 14:46:56 +0900332 }
333
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900334 iast := &ifAST{
Shinichiro Hamaji1f476382015-04-09 14:46:04 +0900335 op: op,
Shinichiro Hamajiaf1e8162015-03-31 02:15:37 +0900336 lhs: lhs,
337 rhs: rhs,
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900338 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900339 iast.srcpos = p.srcpos()
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900340 p.addStatement(iast)
341 p.ifStack = append(p.ifStack, ifState{ast: iast, numNest: p.numIfNest})
342 p.outStmts = &iast.trueStmts
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900343}
344
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900345func (p *parser) checkIfStack(curKeyword string) error {
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900346 if len(p.ifStack) == 0 {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900347 return p.srcpos().errorf(`*** extraneous %q.`, curKeyword)
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900348 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900349 return nil
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900350}
351
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900352func (p *parser) parseElse(data []byte) {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900353 err := p.checkIfStack("else")
354 if err != nil {
355 p.err = err
356 return
357 }
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900358 state := &p.ifStack[len(p.ifStack)-1]
Fumitoshi Ukai0293c7a2015-03-31 16:26:53 +0900359 if state.inElse {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900360 p.err = p.srcpos().errorf(`*** only one "else" per conditional.`)
361 return
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900362 }
Fumitoshi Ukai0293c7a2015-03-31 16:26:53 +0900363 state.inElse = true
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900364 p.outStmts = &state.ast.falseStmts
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900365
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900366 nextIf := data
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900367 if len(nextIf) == 0 {
368 return
369 }
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900370 var ifDirectives = map[string]directiveFunc{
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900371 "ifdef": ifdefDirective,
372 "ifndef": ifndefDirective,
373 "ifeq": ifeqDirective,
374 "ifneq": ifneqDirective,
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900375 }
376 p.numIfNest = state.numNest + 1
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900377 if p.handleDirective(nextIf, ifDirectives) {
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900378 p.numIfNest = 0
379 return
380 }
381 p.numIfNest = 0
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900382 warnNoPrefix(p.srcpos(), "extraneous text after `else` directive")
383 return
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900384}
385
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900386func (p *parser) parseEndif(data []byte) {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900387 err := p.checkIfStack("endif")
388 if err != nil {
389 p.err = err
390 return
391 }
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900392 state := p.ifStack[len(p.ifStack)-1]
393 for t := 0; t <= state.numNest; t++ {
394 p.ifStack = p.ifStack[0 : len(p.ifStack)-1]
395 if len(p.ifStack) == 0 {
396 p.outStmts = &p.mk.stmts
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900397 } else {
Shinichiro Hamajia06760f2015-04-07 13:13:45 +0900398 state := p.ifStack[len(p.ifStack)-1]
399 if state.inElse {
400 p.outStmts = &state.ast.falseStmts
401 } else {
402 p.outStmts = &state.ast.trueStmts
403 }
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900404 }
405 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900406 return
Shinichiro Hamaji497754d2015-03-31 02:02:11 +0900407}
408
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900409func (p *parser) parseDefine(data []byte) {
410 p.defineVar = nil
411 p.inDef = nil
412 p.defineVar = append(p.defineVar, trimSpaceBytes(data)...)
413 return
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900414}
415
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900416type directiveFunc func(*parser, []byte)
417
418var makeDirectives map[string]directiveFunc
419
420func init() {
421 makeDirectives = map[string]directiveFunc{
422 "include": includeDirective,
423 "-include": sincludeDirective,
424 "sinclude": sincludeDirective,
425 "ifdef": ifdefDirective,
426 "ifndef": ifndefDirective,
427 "ifeq": ifeqDirective,
428 "ifneq": ifneqDirective,
429 "else": elseDirective,
430 "endif": endifDirective,
431 "define": defineDirective,
432 "override": overrideDirective,
433 "export": exportDirective,
434 "unexport": unexportDirective,
Shinichiro Hamajie103f652015-04-11 19:49:51 +0900435 }
Shinichiro Hamaji74b8cb52015-04-08 19:47:43 +0900436}
437
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900438func includeDirective(p *parser, data []byte) {
439 p.parseInclude("include", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900440}
441
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900442func sincludeDirective(p *parser, data []byte) {
443 p.parseInclude("-include", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900444}
445
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900446func ifdefDirective(p *parser, data []byte) {
447 p.parseIfdef("ifdef", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900448}
449
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900450func ifndefDirective(p *parser, data []byte) {
451 p.parseIfdef("ifndef", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900452}
453
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900454func ifeqDirective(p *parser, data []byte) {
455 p.parseIfeq("ifeq", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900456}
457
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900458func ifneqDirective(p *parser, data []byte) {
459 p.parseIfeq("ifneq", data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900460}
461
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900462func elseDirective(p *parser, data []byte) {
463 p.parseElse(data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900464}
465
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900466func endifDirective(p *parser, data []byte) {
467 p.parseEndif(data)
Fumitoshi Ukai82096302015-04-01 10:37:47 +0900468}
469
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900470func defineDirective(p *parser, data []byte) {
471 p.parseDefine(data)
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900472}
473
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900474func overrideDirective(p *parser, data []byte) {
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900475 p.defOpt = "override"
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900476 defineDirective := map[string]directiveFunc{
477 "define": defineDirective,
478 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900479 logf("override define? %q", data)
480 if p.handleDirective(data, defineDirective) {
481 return
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900482 }
483 // e.g. overrider foo := bar
484 // line will be "foo := bar".
Fumitoshi Ukai4cb507f2015-07-07 11:46:58 +0900485 if p.handleAssign(data) {
486 return
487 }
488 p.defOpt = ""
489 var line []byte
490 line = append(line, []byte("override ")...)
491 line = append(line, data...)
492 p.handleRuleOrAssign(line)
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900493}
494
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900495func handleExport(p *parser, data []byte, export bool) (hasEqual bool) {
496 i := bytes.IndexByte(data, '=')
497 if i > 0 {
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900498 hasEqual = true
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900499 switch data[i-1] {
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900500 case ':', '+', '?':
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900501 i--
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900502 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900503 data = data[:i]
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900504 }
505
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900506 east := &exportAST{
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900507 expr: data,
Shinichiro Hamajif61033d2015-05-29 15:01:48 +0900508 export: export,
Shinichiro Hamaji7e521422015-05-29 14:23:30 +0900509 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900510 east.srcpos = p.srcpos()
Fumitoshi Ukai91ed5d72015-06-25 13:08:09 +0900511 p.addStatement(east)
Shinichiro Hamajiea553f32015-05-29 17:03:33 +0900512 return hasEqual
Shinichiro Hamaji7e521422015-05-29 14:23:30 +0900513}
Shinichiro Hamaji07e76d52015-05-26 18:22:31 +0900514
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900515func exportDirective(p *parser, data []byte) {
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900516 p.defOpt = "export"
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900517 defineDirective := map[string]directiveFunc{
518 "define": defineDirective,
519 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900520 logf("export define? %q", data)
521 if p.handleDirective(data, defineDirective) {
522 return
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900523 }
Shinichiro Hamaji07e76d52015-05-26 18:22:31 +0900524
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900525 if !handleExport(p, data, true) {
526 return
Shinichiro Hamaji07e76d52015-05-26 18:22:31 +0900527 }
528
Fumitoshi Ukaib2c300f2015-04-23 00:59:26 +0900529 // e.g. export foo := bar
530 // line will be "foo := bar".
Fumitoshi Ukai4cb507f2015-07-07 11:46:58 +0900531 if p.handleAssign(data) {
532 return
533 }
534 p.defOpt = ""
535 var line []byte
536 line = append(line, []byte("export ")...)
537 line = append(line, data...)
538 p.handleRuleOrAssign(line)
Fumitoshi Ukai3d54db82015-04-01 11:03:31 +0900539}
540
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900541func unexportDirective(p *parser, data []byte) {
542 handleExport(p, data, false)
543 return
Shinichiro Hamajica668572015-06-17 06:36:45 +0900544}
545
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900546func (p *parser) parse() (mk makefile, err error) {
Shinichiro Hamajie1841582015-03-30 17:20:33 +0900547 for !p.done {
Shinichiro Hamaji0b93c862015-04-07 06:15:15 +0900548 line := p.readLine()
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900549 logf("line: %q", line)
550 if p.defineVar != nil {
551 p.processDefine(line)
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900552 if p.err != nil {
553 return makefile{}, p.err
554 }
Shinichiro Hamaji0b93c862015-04-07 06:15:15 +0900555 continue
556 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900557 p.defOpt = ""
558 if p.inRecipe {
559 if len(line) > 0 && line[0] == '\t' {
560 cast := &commandAST{cmd: string(line[1:])}
561 cast.srcpos = p.srcpos()
562 p.addStatement(cast)
Shinichiro Hamaji34e23242015-04-06 15:44:50 +0900563 continue
564 }
Fumitoshi Ukai119dc912015-03-30 16:52:41 +0900565 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900566 p.parseLine(line)
567 if p.err != nil {
568 return makefile{}, p.err
Shinichiro Hamaji685fecf2015-03-30 18:28:12 +0900569 }
Fumitoshi Ukai119dc912015-03-30 16:52:41 +0900570 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900571 return p.mk, p.err
Fumitoshi Ukai119dc912015-03-30 16:52:41 +0900572}
573
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900574func (p *parser) parseLine(line []byte) {
575 cline := concatline(line)
576 if len(cline) == 0 {
577 return
578 }
579 logf("concatline:%q", cline)
580 var dline []byte
581 cline, _ = removeComment(cline)
582 dline = append(dline, cline...)
583 dline = trimSpaceBytes(dline)
584 if len(dline) == 0 {
585 return
586 }
587 logf("directive?: %q", dline)
588 if p.handleDirective(dline, makeDirectives) {
589 return
590 }
591 logf("rule or assign?: %q", line)
592 p.handleRuleOrAssign(line)
593}
594
595func (p *parser) processDefine(line []byte) {
596 line = concatline(line)
597 logf("concatline:%q", line)
598 if !p.isEndef(line) {
Fumitoshi Ukai1d2c92d2015-07-07 12:10:20 +0900599 if p.inDef != nil {
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900600 p.inDef = append(p.inDef, '\n')
601 }
602 p.inDef = append(p.inDef, line...)
Fumitoshi Ukai1d2c92d2015-07-07 12:10:20 +0900603 if p.inDef == nil {
604 p.inDef = []byte{}
605 }
Fumitoshi Ukaib97be672015-07-02 15:12:48 +0900606 return
607 }
608 logf("multilineAssign %q %q", p.defineVar, p.inDef)
609 aast, err := newAssignAST(p, p.defineVar, p.inDef, "=")
610 if err != nil {
611 p.err = p.srcpos().errorf("assign error %q=%q: %v", p.defineVar, p.inDef, err)
612 return
613 }
614 aast.srcpos = p.srcpos()
615 aast.srcpos.lineno -= bytes.Count(p.inDef, []byte{'\n'})
616 p.addStatement(aast)
617 p.defineVar = nil
618 p.inDef = nil
619 return
620}
621
622func (p *parser) isEndef(line []byte) bool {
623 if bytes.Equal(line, []byte("endef")) {
624 return true
625 }
626 w, data := firstWord(line)
627 if bytes.Equal(w, []byte("endef")) {
628 data, _ = removeComment(data)
629 data = trimLeftSpaceBytes(data)
630 if len(data) > 0 {
631 warnNoPrefix(p.srcpos(), `extraneous text after "endef" directive`)
632 }
633 return true
634 }
635 return false
636}
637
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900638func defaultMakefile() (string, error) {
Shinichiro Hamajib0d2e2f2015-05-20 16:42:59 +0900639 candidates := []string{"GNUmakefile", "makefile", "Makefile"}
640 for _, filename := range candidates {
641 if exists(filename) {
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900642 return filename, nil
Shinichiro Hamajib0d2e2f2015-05-20 16:42:59 +0900643 }
644 }
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900645 return "", errors.New("no targets specified and no makefile found")
Shinichiro Hamajib0d2e2f2015-05-20 16:42:59 +0900646}
647
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900648func parseMakefileReader(rd io.Reader, loc srcpos) (makefile, error) {
649 parser := newParser(rd, loc.filename)
650 parser.lineno = loc.lineno
651 parser.elineno = loc.lineno
Shinichiro Hamaji370be722015-04-10 14:55:23 +0900652 parser.linenoFixed = true
Shinichiro Hamajia5dee372015-04-03 16:41:30 +0900653 return parser.parse()
Shinichiro Hamajic3840812015-04-02 02:10:20 +0900654}
Shinichiro Hamaji28ea5bc2015-04-11 12:41:08 +0900655
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900656func parseMakefileString(s string, loc srcpos) (makefile, error) {
657 return parseMakefileReader(strings.NewReader(s), loc)
Shinichiro Hamaji28ea5bc2015-04-11 12:41:08 +0900658}
659
Fumitoshi Ukai65c72332015-06-26 21:32:50 +0900660func parseMakefileBytes(s []byte, loc srcpos) (makefile, error) {
661 return parseMakefileReader(bytes.NewReader(s), loc)
Shinichiro Hamaji28ea5bc2015-04-11 12:41:08 +0900662}
Shinichiro Hamaji45cde1d2015-05-25 18:21:23 +0900663
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900664type mkCacheEntry struct {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900665 mk makefile
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900666 hash [sha1.Size]byte
667 err error
668 ts int64
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900669}
670
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900671type makefileCacheT struct {
672 mu sync.Mutex
673 mk map[string]mkCacheEntry
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900674}
675
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900676var makefileCache = &makefileCacheT{
677 mk: make(map[string]mkCacheEntry),
678}
679
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900680func (mc *makefileCacheT) lookup(filename string) (makefile, [sha1.Size]byte, bool, error) {
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900681 var hash [sha1.Size]byte
682 mc.mu.Lock()
683 c, present := mc.mk[filename]
684 mc.mu.Unlock()
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900685 if !present {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900686 return makefile{}, hash, false, nil
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900687 }
688 ts := getTimestamp(filename)
689 if ts < 0 || ts >= c.ts {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900690 return makefile{}, hash, false, nil
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900691 }
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900692 return c.mk, c.hash, true, c.err
693}
694
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900695func (mc *makefileCacheT) parse(filename string) (makefile, [sha1.Size]byte, error) {
Fumitoshi Ukai07cf1212015-06-25 17:16:25 +0900696 logf("parse Makefile %q", filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900697 mk, hash, ok, err := makefileCache.lookup(filename)
698 if ok {
Fumitoshi Ukai744bb2b2015-06-25 00:10:52 +0900699 if LogFlag {
Fumitoshi Ukai07cf1212015-06-25 17:16:25 +0900700 logf("makefile cache hit for %q", filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900701 }
702 return mk, hash, err
703 }
Fumitoshi Ukai744bb2b2015-06-25 00:10:52 +0900704 if LogFlag {
Fumitoshi Ukai07cf1212015-06-25 17:16:25 +0900705 logf("reading makefile %q", filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900706 }
707 c, err := ioutil.ReadFile(filename)
708 if err != nil {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900709 return makefile{}, hash, err
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900710 }
711 hash = sha1.Sum(c)
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900712 mk, err = parseMakefile(c, filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900713 if err != nil {
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900714 return makefile{}, hash, err
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900715 }
716 makefileCache.mu.Lock()
717 makefileCache.mk[filename] = mkCacheEntry{
718 mk: mk,
719 hash: hash,
720 err: err,
721 ts: time.Now().Unix(),
722 }
723 makefileCache.mu.Unlock()
724 return mk, hash, err
Shinichiro Hamaji584bb062015-06-04 13:25:13 +0900725}
726
Fumitoshi Ukai08eda652015-06-25 16:27:10 +0900727func parseMakefile(s []byte, filename string) (makefile, error) {
Shinichiro Hamaji45cde1d2015-05-25 18:21:23 +0900728 parser := newParser(bytes.NewReader(s), filename)
Fumitoshi Ukai9042b992015-06-23 16:10:27 +0900729 return parser.parse()
Shinichiro Hamaji45cde1d2015-05-25 18:21:23 +0900730}