5
# This script helps find the optimization difference between two llvm
6
# builds. It is useful when you have a build that is known to work and
7
# one that exhibits an optimization problem. Identifying the difference
8
# between the two builds can lead to discovery of the source of a
11
# The script takes two llvm build paths as arguments. These specify the
12
# the two llvm builds to compare. It is generally expected that they
13
# are "close cousins". That is, they are the same except that the
14
# second build contains some experimental optimization features that
15
# are suspected of producing a misoptimization.
17
# The script takes two bytecode files, one from each build. They are
18
# presumed to be a compilation of the same program or program fragment
19
# with the only difference being the builds.
21
# The script operates by iteratively applying the optimizations that gccas
22
# and gccld run until there is a difference in the assembly resulting
23
# from the optimization. The difference is then reported with the set of
24
# optimization passes that produce the difference. The processing
25
# continues until all optimization passes have been tried. The differences
26
# for each pass, if they do differ, are placed in a diffs.# file.
28
# To work around differences in the assembly language format, the script
29
# can also take two filter arguments that post-process the assembly
30
# so they can be differenced without making false positives for known
31
# differences in the two builds. These filters are optional.
34
# findoptdiff llvm1 llvm2 bc1 bc2 filter1 filter2
38
# is the path to the first llvm build dir
40
# is the path to the second llvm build dir
42
# is the bytecode file for the first llvm environment
44
# is the bytecode file for the second llvm environment
46
# is an optional filter for filtering the llvm1 generated assembly
48
# is an optional filter for filtering the llvm2 generated assembly
56
if [ -z "$filt1" ] ; then
59
if [ -z "$filt2" ] ; then
66
opt1ll="${bc1}.opt.ll"
67
opt2ll="${bc2}.opt.ll"
68
dis1="$llvm1/Debug/bin/llvm-dis"
69
dis2="$llvm2/Debug/bin/llvm-dis"
70
opt1="$llvm1/Debug/bin/opt"
71
opt2="$llvm2/Debug/bin/opt"
73
all_switches="-verify -lowersetjmp -simplifycfg -mem2reg -globalopt -globaldce -ipconstprop -deadargelim -instcombine -simplifycfg -prune-eh -inline -simplify-libcalls -argpromotion -tailduplicate -simplifycfg -scalarrepl -instcombine -predsimplify -condprop -tailcallelim -simplifycfg -reassociate -licm -loop-unswitch -instcombine -indvars -loop-unroll -instcombine -load-vn -gcse -sccp -instcombine -condprop -dse -dce -simplifycfg -deadtypeelim -constmerge -internalize -ipsccp -globalopt -constmerge -deadargelim -inline -prune-eh -globalopt -globaldce -argpromotion -instcombine -predsimplify -scalarrepl -globalsmodref-aa -licm -load-vn -gcse -dse -instcombine -simplifycfg -verify"
78
$opt1 $switches_to_use "$bc1" -o - | $dis1 | $filt1 > "$opt1ll"
79
$opt2 $switches_to_use "$bc2" -o - | $dis2 | $filt2 > "$opt2ll"
80
diffs="diffs."$((counter++))
81
diff "$opt1ll" "$opt2ll" > $diffs
82
if [ $? -ne 0 ] ; then
84
echo "Diff fails with these switches:"
88
echo 'Switches:' $switches_to_use >> $diffs
95
for sw in $all_switches ; do
97
switches="$switches $sw"
98
if tryit "$switches" ; then