← Back to branch summary

~ubuntu-branches/ubuntu/feisty/clamav/feisty

« back to all changes in this revision

Viewing changes to libclamav/c++/llvm/utils/findoptdiff

  • Committer: Bazaar Package Importer
  • Author(s): Kees Cook
  • Date: 2007-02-20 10:33:44 UTC
  • mto: This revision was merged to the branch mainline in revision 16.
  • Revision ID: james.westby@ubuntu.com-20070220103344-zgcu2psnx9d98fpa
Tags: upstream-0.90
Import upstream version 0.90

Show diffs side-by-side

added added

removed removed

Lines of Context:
libclamav/c++/llvm/utils/findoptdiff
1
 
#!/bin/bash
2
 
#
3
 
#  findoptdiff
4
 
#
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
9
 
#      mis-optimization.
10
 
#
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.
16
 
#
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.
20
 
#
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.
27
 
#
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.
32
 
#
33
 
#   Usage:
34
 
#      findoptdiff llvm1 llvm2 bc1 bc2 filter1 filter2
35
 
#
36
 
#   Where:
37
 
#      llvm1
38
 
#          is the path to the first llvm build dir
39
 
#      llvm2
40
 
#          is the path to the second llvm build dir
41
 
#      bc1
42
 
#          is the bytecode file for the first llvm environment
43
 
#      bc2
44
 
#          is the bytecode file for the second llvm environment
45
 
#      filter1
46
 
#          is an optional filter for filtering the llvm1 generated assembly
47
 
#      filter2
48
 
#          is an optional filter for filtering the llvm2 generated assembly
49
 
#       
50
 
llvm1=$1
51
 
llvm2=$2
52
 
bc1=$3
53
 
bc2=$4
54
 
filt1=$5
55
 
filt2=$6
56
 
if [ -z "$filt1" ] ; then
57
 
  filt1="cat"
58
 
fi
59
 
if [ -z "$filt2" ] ; then
60
 
  filt2="cat"
61
 
fi
62
 
opt1="${bc1}.opt"
63
 
opt2="${bc2}.opt" 
64
 
ll1="${bc1}.ll"
65
 
ll2="${bc2}.ll"
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"
72
 
 
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"
74
 
 
75
 
#counter=0
76
 
function tryit {
77
 
  switches_to_use="$1"
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
83
 
    echo
84
 
    echo "Diff fails with these switches:"
85
 
    echo $switches
86
 
    echo "Differences:"
87
 
    head $diffs
88
 
    echo 'Switches:' $switches_to_use >> $diffs
89
 
  else
90
 
    rm $diffs
91
 
  fi
92
 
  return 1
93
 
}
94
 
 
95
 
for sw in $all_switches ; do
96
 
  echo -n " $sw"
97
 
  switches="$switches $sw"
98
 
  if tryit "$switches" ; then
99
 
    break;
100
 
  fi
101
 
done