| #!/usr/bin/env bash -e | |
| # Copyright 2020 The Verible Authors. | |
| # | |
| # Licensed under the Apache License, Version 2.0 (the "License"); | |
| # you may not use this file except in compliance with the License. | |
| # You may obtain a copy of the License at | |
| # | |
| # http://www.apache.org/licenses/LICENSE-2.0 | |
| # | |
| # Unless required by applicable law or agreed to in writing, software | |
| # distributed under the License is distributed on an "AS IS" BASIS, | |
| # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |
| # See the License for the specific language governing permissions and | |
| # limitations under the License. | |
| usage() { | |
| cat <<EOF | |
| $0 binary1 binary2 paths... > diff.diff | |
| Compares the results of two formatter builds. | |
| Runs from current directory, which should be some common ancestor of <paths>. | |
| Binary locations should be absolute. | |
| File copies and intermediate results are written to a temporary directory. | |
| Prints results to stdout (so best to redirect to file, like > diff.diff). | |
| The output is in unified-diff (-u) format. | |
| EOF | |
| } | |
| test "$#" -ge 3 || { usage; exit 1; } | |
| binary1="$(readlink -f $1)" | |
| binary2="$(readlink -f $2)" | |
| shift | |
| shift | |
| # remaining positional arguments are paths... | |
| date=$(date +%Y%m%d-%H%M%S) | |
| globs=("*.sv" "*.svh" "*.v" "*.vh") | |
| temproot=${TMPDIR:=/tmp} | |
| tempdir="$temproot/$(basename $0).tmp/run-$date" | |
| # Restrict paths, so it is (a little safer) to concatenate them | |
| # relative to a temporary dir. | |
| for path | |
| do [[ "$path" != .* ]] || | |
| { echo "Relative file paths may not start with '.'" ; exit 1; } | |
| done | |
| # echo "Working in $tempdir" | |
| mkdir -p "$tempdir" | |
| # gather filelist | |
| { | |
| for path | |
| do for glob in "${globs[@]}" | |
| do find "$path" -type f -name "$glob" | |
| done | |
| done | |
| wait | |
| } | sort > "$tempdir/filelist" | |
| # snapshot unformatted copies | |
| rsync --files-from="$tempdir/filelist" . "$tempdir/orig/" | |
| cp -r "$tempdir/orig" "$tempdir/formatted-1" | |
| cp -r "$tempdir/orig" "$tempdir/formatted-2" | |
| # Format all files in-place (ignore these exit statuses) | |
| (cd "$tempdir/formatted-1" && | |
| find . -type f | xargs -n 1 -P 8 "$binary1" --inplace || : | |
| ) & | |
| (cd "$tempdir/formatted-2" && | |
| find . -type f | xargs -n 1 -P 8 "$binary2" --inplace || : | |
| ) & | |
| wait | |
| # note version information | |
| echo "unformatted" > "$tempdir/orig/VERSION" | |
| "$binary1" --version > "$tempdir/formatted-1/VERSION" | |
| "$binary2" --version > "$tempdir/formatted-2/VERSION" | |
| (cd "$tempdir" && | |
| diff -u -r orig formatted-1 > common.diff || : | |
| diff -u -r formatted-1 formatted-2 > diff.diff || : | |
| ) | |
| # print to stdout | |
| cat "$tempdir/diff.diff" | |