1#!/bin/bash
2#
3#  findmisopt
4#
5#      This is a quick and dirty hack to potentially find a misoptimization
6#      problem. Mostly its to work around problems in bugpoint that prevent
7#      it from finding a problem unless the set of failing optimizations are
8#      known and given to it on the command line.
9#
10#      Given a bitcode file that produces correct output (or return code),
11#      this script will run through all the optimizations passes that gccas
12#      uses (in the same order) and will narrow down which optimizations
13#      cause the program either generate different output or return a
14#      different result code. When the passes have been narrowed down,
15#      bugpoint is invoked to further refine the problem to its origin. If a
16#      release version of bugpoint is available it will be used, otherwise
17#      debug.
18#
19#   Usage:
20#      findmisopt bcfile outdir progargs [match]
21#
22#   Where:
23#      bcfile
24#          is the bitcode file input (the unoptimized working case)
25#      outdir
26#          is a directory into which intermediate results are placed
27#      progargs
28#          is a single argument containing all the arguments the program needs
29#      proginput
30#          is a file name from which stdin should be directed
31#      match
32#          if specified to any value causes the result code of the program to
33#          be used to determine success/fail. If not specified success/fail is
34#          determined by diffing the program's output with the non-optimized
35#          output.
36#
37if [ "$#" -lt 3 ] ; then
38  echo "usage: findmisopt bcfile outdir progargs [match]"
39  exit 1
40fi
41
42dir="${0%%/utils/findmisopt}"
43if [ -x "$dir/Release/bin/bugpoint" ] ; then
44  bugpoint="$dir/Release/bin/bugpoint"
45elif [ -x "$dir/Debug/bin/bugpoint" ] ; then
46  bugpoint="$dir/Debug/bin/bugpoint"
47else
48  echo "findmisopt: bugpoint not found"
49  exit 1
50fi
51
52bcfile="$1"
53outdir="$2"
54args="$3"
55input="$4"
56if [ ! -f "$input" ] ; then
57  input="/dev/null"
58fi
59match="$5"
60name=`basename $bcfile .bc`
61ll="$outdir/${name}.ll"
62s="$outdir/${name}.s"
63prog="$outdir/${name}"
64out="$outdir/${name}.out"
65optbc="$outdir/${name}.opt.bc"
66optll="$outdir/${name}.opt.ll"
67opts="$outdir/${name}.opt.s"
68optprog="$outdir/${name}.opt"
69optout="$outdir/${name}.opt.out"
70ldflags="-lstdc++ -lm -ldl -lc"
71
72echo "Test Name: $name"
73echo "Unoptimized program: $prog"
74echo "  Optimized program: $optprog"
75
76# Define the list of optimizations to run. This comprises the same set of
77# optimizations that opt -O3 runs, in the same order.
78opt_switches=`llvm-as < /dev/null -o - | opt -O3 -disable-output -debug-pass=Arguments 2>&1 | sed 's/Pass Arguments: //'`
79all_switches="$opt_switches"
80echo "Passes : $all_switches"
81
82# Create output directory if it doesn't exist
83if [ -f "$outdir" ] ; then
84  echo "$outdir is not a directory"
85  exit 1
86fi
87
88if [ ! -d "$outdir" ] ; then
89  mkdir "$outdir" || exit 1
90fi
91
92# Generate the disassembly
93llvm-dis "$bcfile" -o "$ll" -f || exit 1
94
95# Generate the non-optimized program and its output
96llc "$bcfile" -o "$s" -f || exit 1
97gcc "$s" -o "$prog" $ldflags || exit 1
98"$prog" $args > "$out" 2>&1 <$input
99ex1=$?
100
101# Current set of switches is empty
102function tryit {
103  switches_to_use="$1"
104  opt $switches_to_use "$bcfile" -o "$optbc" -f || exit
105  llvm-dis "$optbc" -o "$optll" -f || exit
106  llc "$optbc" -o "$opts" -f || exit
107  gcc "$opts" -o "$optprog" $ldflags || exit
108  "$optprog" $args > "$optout" 2>&1 <"$input"
109  ex2=$?
110
111  if [ -n "$match" ] ; then
112    if [ "$ex1" -ne "$ex2" ] ; then
113      echo "Return code not the same with these switches:"
114      echo $switches
115      echo "Unoptimized returned: $ex1"
116      echo "Optimized   returned: $ex2"
117      return 0
118    fi
119  else
120    diff "$out" "$optout" > /dev/null
121    if [ $? -ne 0 ] ; then
122      echo "Diff fails with these switches:"
123      echo $switches
124      echo "Differences:"
125      diff "$out" "$optout" | head
126      return 0;
127    fi
128  fi
129  return 1
130}
131
132echo "Trying to find optimization that breaks program:"
133for sw in $all_switches ; do
134  echo -n " $sw"
135  switches="$switches $sw"
136  if tryit "$switches" ; then
137    break;
138  fi
139done
140
141# Terminate the previous output with a newline
142echo ""
143
144# Determine if we're done because none of the optimizations broke the program
145if [ "$switches" == " $all_switches" ] ; then
146  echo "The program did not miscompile"
147  exit 0
148fi
149
150final=""
151while [ ! -z "$switches" ] ; do
152  trimmed=`echo "$switches" | sed -e 's/^ *\(-[^ ]*\).*/\1/'`
153  switches=`echo "$switches" | sed -e 's/^ *-[^ ]* *//'`
154  echo "Trimmed $trimmed from left"
155  tryit "$final $switches"
156  if [ "$?" -eq "0" ] ; then
157    echo "Still Failing .. continuing ..."
158    continue
159  else
160    echo "Found required early pass: $trimmed"
161    final="$final $trimmed"
162    continue
163  fi
164  echo "Next Loop"
165done
166
167if [ "$final" == " $all_switches" ] ; then
168  echo "findmisopt: All optimizations pass. Perhaps this isn't a misopt?"
169  exit 0
170fi
171echo "Smallest Optimization list=$final"
172
173bpcmd="$bugpoint -run-llc -disable-loop-extraction --output "$out" --input /dev/null $bcfile $final --args $args"
174
175echo "Running: $bpcmd"
176$bpcmd
177echo "findmisopt finished."
178