immcheck/Makefile at main · goodbadreviewer/immcheck · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
golangci := go run github.com/golangci/golangci-lint/cmd/golangci-lint@v1.46.2
benchstat := go run golang.org/x/perf/cmd/benchstat@v0.0.0-20220411212318-84e58bfe0a7e

test: clean
	go test ./...
	go test -tags immcheck ./...
	go test -race ./...
	go test -covermode atomic -coverprofile coverage.out ./...

lint:
	$(golangci) run

clean:
	@go clean
	@rm -f profile.out
	@rm -f coverage.out

format:
	go run mvdan.cc/gofumpt@v0.3.1 -l -w .

coverage: test
	go tool cover -html=coverage.out

bench:
	go test -timeout 3h -count=5 -run=xxx -bench=BenchmarkImmcheck ./... | tee immcheck_stat.txt
	$(benchstat) immcheck_stat.txt

profile: clean
	go test -run=xxx -bench=BenchmarkImmcheckTransactions ./... -cpuprofile profile.out
	go tool pprof -http=:8080 profile.out

profile_mem: clean
	go test -run=xxx -bench=BenchmarkImmcheckTransactions ./... -memprofile profile.out
	go tool pprof -http=:8080 profile.out

debug_inline:
	go build -gcflags='-m -d=ssa/check_bce/debug=1' ./immcheck.go

help:
	@awk '$$1 ~ /^.*:/ {print substr($$1, 0, length($$1)-1)}' Makefile