Added note about being able to XFAIL based on llvmgcc version.
[oota-llvm.git] / docs / TestingGuide.html
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
2                       "http://www.w3.org/TR/html4/strict.dtd">
3 <html>
4 <head>
5   <title>LLVM Test Suite Guide</title>
6   <link rel="stylesheet" href="llvm.css" type="text/css">
7 </head>
8 <body>
9       
10 <div class="doc_title">
11   LLVM Test Suite Guide
12 </div>
13
14 <ol>
15   <li><a href="#overview">Overview</a></li>
16   <li><a href="#Requirements">Requirements</a></li>
17   <li><a href="#quick">Quick Start</a></li>
18   <li><a href="#org">LLVM Test Suite Organization</a>
19     <ul>
20       <li><a href="#codefragments">Code Fragments</a></li>
21       <li><a href="#wholeprograms">Whole Programs</a></li>
22     </ul>
23   </li>
24   <li><a href="#tree">LLVM Test Suite Tree</a></li>
25   <li><a href="#dgstructure">DejaGNU Structure</a></li>
26   <li><a href="#progstructure"><tt>llvm-test</tt> Structure</a></li>
27   <li><a href="#run">Running the LLVM Tests</a></li>
28   <li><a href="#nightly">Running the nightly tester</a></li>
29 </ol>
30
31 <div class="doc_author">
32   <p>Written by John T. Criswell, <a
33   href="http://llvm.x10sys.com/rspencer">Reid Spencer</a>, and Tanya Lattner</p>
34 </div>
35
36 <!--=========================================================================-->
37 <div class="doc_section"><a name="overview">Overview</a></div>
38 <!--=========================================================================-->
39
40 <div class="doc_text">
41
42 <p>This document is the reference manual for the LLVM test suite.  It documents
43 the structure of the LLVM test suite, the tools needed to use it, and how to add
44 and run tests.</p>
45
46 </div>
47
48 <!--=========================================================================-->
49 <div class="doc_section"><a name="Requirements">Requirements</a></div>
50 <!--=========================================================================-->
51
52 <div class="doc_text">
53
54 <p>In order to use the LLVM test suite, you will need all of the software
55 required to build LLVM, plus the following:</p>
56
57 <dl>
58 <dt><a href="http://www.gnu.org/software/dejagnu/">DejaGNU</a></dt>
59 <dd>The Feature and Regressions tests are organized and run by DejaGNU.</dd>
60 <dt><a href="http://expect.nist.gov/">Expect</a></dt>
61 <dd>Expect is required by DejaGNU.</dd>
62 <dt><a href="http://www.tcl.tk/software/tcltk/">tcl</a></dt>
63 <dd>Tcl is required by DejaGNU. </dd>
64
65 <dt><a href="http://www.netlib.org/f2c">F2C</a></dt>
66 <dd>For now, LLVM does not have a Fortran front-end, but using F2C, we can run
67 Fortran benchmarks.  F2C support must be enabled via <tt>configure</tt> if not
68 installed in a standard place.  F2C requires three items: the <tt>f2c</tt>
69 executable, <tt>f2c.h</tt> to compile the generated code, and <tt>libf2c.a</tt>
70 to link generated code.  By default, given an F2C directory <tt>$DIR</tt>, the
71 configure script will search <tt>$DIR/bin</tt> for <tt>f2c</tt>,
72 <tt>$DIR/include</tt> for <tt>f2c.h</tt>, and <tt>$DIR/lib</tt> for
73 <tt>libf2c.a</tt>.  The default <tt>$DIR</tt> values are: <tt>/usr</tt>,
74 <tt>/usr/local</tt>, <tt>/sw</tt>, and <tt>/opt</tt>.  If you installed F2C in a
75 different location, you must tell <tt>configure</tt>:
76
77 <ul>
78 <li><tt>./configure --with-f2c=$DIR</tt><br>
79 This will specify a new <tt>$DIR</tt> for the above-described search
80 process.  This will only work if the binary, header, and library are in their
81 respective subdirectories of <tt>$DIR</tt>.</li>
82
83 <li><tt>./configure --with-f2c-bin=/binary/path --with-f2c-inc=/include/path
84 --with-f2c-lib=/lib/path</tt><br>
85 This allows you to specify the F2C components separately.  Note: if you choose
86 this route, you MUST specify all three components, and you need to only specify
87 <em>directories</em> where the files are located; do NOT include the
88 filenames themselves on the <tt>configure</tt> line.</li>
89 </ul></dd>
90 </dl>
91
92 <p>Darwin (Mac OS X) developers can simplify the installation of Expect and tcl
93 by using fink.  <tt>fink install expect</tt> will install both. Alternatively,
94 Darwinports users can use <tt>sudo port install expect</tt> to install Expect
95 and tcl.</p>
96
97 </div>
98
99 <!--=========================================================================-->
100 <div class="doc_section"><a name="quick">Quick Start</a></div>
101 <!--=========================================================================-->
102
103 <div class="doc_text">
104
105 <p>The tests are located in two separate CVS modules. The basic feature and 
106 regression tests are in the main "llvm" module under the directory 
107 <tt>llvm/test</tt>. A more comprehensive test suite that includes whole 
108 programs in C and C++ is in the <tt>llvm-test</tt> module. This module should 
109 be checked out to the <tt>llvm/projects</tt> directory. When you
110 <tt>configure</tt> the <tt>llvm</tt> module, the <tt>llvm-test</tt> module
111 will be automatically configured. Alternatively, you can configure the <tt>llvm-test</tt> module manually.</p>
112 <p>To run all of the simple tests in LLVM using DejaGNU, use the master Makefile in the
113 <tt>llvm/test</tt> directory:</p>
114 <pre>
115 % gmake -C llvm/test
116 </pre>
117 or<br>
118 <pre>
119 % gmake check
120 </pre>
121
122 <p>To run only a subdirectory of tests in llvm/test using DejaGNU (ie.
123 Regression/Transforms), just set the TESTSUITE variable to the path of the
124 subdirectory (relative to <tt>llvm/test</tt>):</p>
125 <pre>
126 % gmake -C llvm/test TESTSUITE=Regression/Transforms
127 </pre>
128
129 <p><b>Note: If you are running the tests with <tt>objdir != subdir</tt>, you
130 must have run the complete testsuite before you can specify a
131 subdirectory.</b></p>
132
133 <p>To run the comprehensive test suite (tests that compile and execute whole 
134 programs), run the <tt>llvm-test</tt> tests:</p>
135
136 <pre>
137 % cd llvm/projects
138 % cvs co llvm-test
139 % cd llvm-test
140 % ./configure --with-llvmsrc=$LLVM_SRC_ROOT --with-llvmobj=$LLVM_OBJ_ROOT
141 % gmake
142 </pre>
143
144 </div>
145
146 <!--=========================================================================-->
147 <div class="doc_section"><a name="org">LLVM Test Suite Organization</a></div>
148 <!--=========================================================================-->
149
150 <div class="doc_text">
151
152 <p>The LLVM test suite contains two major categories of tests: code
153 fragments and whole programs. Code fragments are in the <tt>llvm</tt> module
154 under the <tt>llvm/test</tt> directory. The whole programs
155 test suite is in the <tt>llvm-test</tt> module under the main directory.</p>
156
157 </div>
158
159 <div class="doc_subsection"><a name="codefragments">Code Fragments</a> 
160 </div>
161
162 <div class="doc_text">
163
164 <p>Code fragments are small pieces of code that test a specific feature of LLVM
165 or trigger a specific bug in LLVM.  They are usually written in LLVM assembly
166 language, but can be written in other languages if the test targets a particular
167 language front end.</p>
168
169 <p>Code fragments are not complete programs, and they are never executed to
170 determine correct behavior.</p> 
171
172 <p>These code fragment tests are located in the <tt>llvm/test/Features</tt> and 
173 <tt>llvm/test/Regression</tt> directories.</p>
174
175 </div>
176
177 <div class="doc_subsection"><a name="wholeprograms">Whole Programs</a></div>
178
179 <div class="doc_text">
180
181 <p>Whole Programs are pieces of code which can be compiled and linked into a
182 stand-alone program that can be executed.  These programs are generally written
183 in high level languages such as C or C++, but sometimes they are written
184 straight in LLVM assembly.</p>
185
186 <p>These programs are compiled and then executed using several different
187 methods (native compiler, LLVM C backend, LLVM JIT, LLVM native code generation,
188 etc).  The output of these programs is compared to ensure that LLVM is compiling
189 the program correctly.</p>
190
191 <p>In addition to compiling and executing programs, whole program tests serve as
192 a way of benchmarking LLVM performance, both in terms of the efficiency of the
193 programs generated as well as the speed with which LLVM compiles, optimizes, and
194 generates code.</p>
195
196 <p>All "whole program" tests are located in the <tt>llvm-test</tt> CVS
197 module.</p> 
198
199 </div>
200
201 <!--=========================================================================-->
202 <div class="doc_section"><a name="tree">LLVM Test Suite Tree</a></div>
203 <!--=========================================================================-->
204
205 <div class="doc_text">
206
207 <p>Each type of test in the LLVM test suite has its own directory. The major
208 subtrees of the test suite directory tree are as follows:</p>
209     
210 <ul>
211 <li><tt>llvm/test/Features</tt>
212 <p>This directory contains sample codes that test various features of the
213 LLVM language.  These pieces of sample code are run through various
214 assembler, disassembler, and optimizer passes.</p>
215 </li>
216
217 <li><tt>llvm/test/Regression</tt>
218 <p>This directory contains regression tests for LLVM.  When a bug is found
219 in LLVM, a regression test containing just enough code to reproduce the
220 problem should be written and placed somewhere underneath this directory.
221 In most cases, this will be a small piece of LLVM assembly language code,
222 often distilled from an actual application or benchmark.</p>
223 </li>
224
225 <li><tt>llvm-test</tt>
226 <p>The <tt>llvm-test</tt> CVS module contains programs that can be compiled 
227 with LLVM and executed.  These programs are compiled using the native compiler
228 and various LLVM backends.  The output from the program compiled with the 
229 native compiler is assumed correct; the results from the other programs are
230 compared to the native program output and pass if they match.</p>
231
232 <p>In addition for testing correctness, the <tt>llvm-test</tt> directory also
233 performs timing tests of various LLVM optimizations.  It also records
234 compilation times for the compilers and the JIT.  This information can be
235 used to compare the effectiveness of LLVM's optimizations and code
236 generation.</p></li>
237
238 <li><tt>llvm-test/SingleSource</tt>
239 <p>The SingleSource directory contains test programs that are only a single 
240 source file in size.  These are usually small benchmark programs or small 
241 programs that calculate a particular value.  Several such programs are grouped 
242 together in each directory.</p></li>
243
244 <li><tt>llvm-test/MultiSource</tt>
245 <p>The MultiSource directory contains subdirectories which contain entire 
246 programs with multiple source files.  Large benchmarks and whole applications 
247 go here.</p></li>
248
249 <li><tt>llvm-test/External</tt>
250 <p>The External directory contains Makefiles for building code that is external
251 to (i.e., not distributed with) LLVM.  The most prominent members of this
252 directory are the SPEC 95 and SPEC 2000 benchmark suites.  The presence and
253 location of these external programs is configured by the llvm-test
254 <tt>configure</tt> script.</p></li>
255       
256 </ul>
257
258 </div>
259 <!--=========================================================================-->
260 <div class="doc_section"><a name="dgstructure">DejaGNU Structure</a></div>
261 <!--=========================================================================-->
262
263 <div class="doc_text">
264 <p>The LLVM test suite is partially driven by DejaGNU and partially
265 driven by GNU Make. Specifically, the Features and Regression tests
266 are all driven by DejaGNU. The <tt>llvm-test</tt>
267 module is currently driven by a set of Makefiles.</p>
268
269 <p>The DejaGNU structure is very simple, but does require some
270 information to be set. This information is gathered via <tt>configure</tt> and
271 is written to a file, <tt>site.exp</tt> in <tt>llvm/test</tt>. The
272 <tt>llvm/test</tt>
273 Makefile does this work for you.</p>
274
275 <p>In order for DejaGNU to work, each directory of tests must have a
276 <tt>dg.exp</tt> file. This file is a program written in tcl that calls
277 the <tt>llvm-runtests</tt> procedure on each test file. The
278 llvm-runtests procedure is defined in
279 <tt>llvm/test/lib/llvm-dg.exp</tt>. Any directory that contains only
280 directories does not need the <tt>dg.exp</tt> file.</p>
281
282 <p>In order for a test to be run, it must contain information within
283 the test file on how to run the test. These are called <tt>RUN</tt>
284 lines. Run lines are specified in the comments of the test program
285 using the keyword <tt>RUN</tt> followed by a colon, and lastly the
286 commands to execute. These commands will be executed in a bash script,
287 so any bash syntax is acceptable. You can specify as many RUN lines as
288 necessary.  Each RUN line translates to one line in the resulting bash
289 script. Below is an example of legal RUN lines in a <tt>.ll</tt>
290 file:</p>
291 <pre>
292 ; RUN: llvm-as < %s | llvm-dis > %t1
293 ; RUN: llvm-dis < %s.bc-13 > %t2
294 ; RUN: diff %t1 %t2
295 </pre>
296 <p>There are a couple patterns within a <tt>RUN</tt> line that the
297 llvm-runtest procedure looks for and replaces with the appropriate
298 syntax:</p>
299
300 <dl style="margin-left: 25px">
301 <dt>%p</dt> 
302 <dd>The path to the source directory. This is for locating
303 any supporting files that are not generated by the test, but used by
304 the test.</dd> 
305 <dt>%s</dt> 
306 <dd>The test file.</dd> 
307
308 <dt>%t</dt>
309 <dd>Temporary filename: testscript.test_filename.tmp, where
310 test_filename is the name of the test file. All temporary files are
311 placed in the Output directory within the directory the test is
312 located.</dd> 
313
314 <dt>%prcontext</dt> 
315 <dd>Path to a script that performs grep -C. Use this since not all
316 platforms support grep -C.</dd>
317
318 <dt>%llvmgcc</dt> <dd>Full path to the llvm-gcc executable.</dd>
319 <dt>%llvmgxx</dt> <dd>Full path to the llvm-g++ executable.</dd>
320 </dl>
321
322 <p>There are also several scripts in the llvm/test/Scripts directory
323 that you might find useful when writing <tt>RUN</tt> lines.</p>
324
325 <p>Lastly, you can easily mark a test that is expected to fail on a
326 specific platform or with a specific version of llvmgcc by using the <tt>XFAIL</tt> keyword. Xfail lines are
327 specified in the comments of the test program using <tt>XFAIL</tt>,
328 followed by a colon, and one or more regular expressions (separated by
329 a comma) that will match against the target triplet for the
330 machine. You can use * to match all targets. Here is an example of an
331 <tt>XFAIL</tt> line:</p>
332 <pre>
333 ; XFAIL: darwin,sun,llvmgcc4
334 </pre>
335
336 </div>
337
338 <!--=========================================================================-->
339 <div class="doc_section"><a name="progstructure"><tt>llvm-test</tt> 
340 Structure</a></div>
341 <!--=========================================================================-->
342
343 <div class="doc_text">
344
345 <p>As mentioned previously, the <tt>llvm-test</tt> module  provides three types
346 of tests: MultiSource, SingleSource, and External.  Each tree is then subdivided
347 into several categories, including applications, benchmarks, regression tests,
348 code that is strange grammatically, etc.  These organizations should be
349 relatively self explanatory.</p>
350
351 <p>In addition to the regular "whole program"  tests, the <tt>llvm-test</tt>
352 module also provides a mechanism for compiling the programs in different ways.
353 If the variable TEST is defined on the gmake command line, the test system will
354 include a Makefile named <tt>TEST.&lt;value of TEST variable&gt;.Makefile</tt>.
355 This Makefile can modify build rules to yield different results.</p>
356
357 <p>For example, the LLVM nightly tester uses <tt>TEST.nightly.Makefile</tt> to
358 create the nightly test reports.  To run the nightly tests, run <tt>gmake
359 TEST=nightly</tt>.</p>
360
361 <p>There are several TEST Makefiles available in the tree.  Some of them are
362 designed for internal LLVM research and will not work outside of the LLVM
363 research group.  They may still be valuable, however, as a guide to writing your
364 own TEST Makefile for any optimization or analysis passes that you develop with
365 LLVM.</p>
366
367 <p>Note, when configuring the <tt>llvm-test</tt> module, you might want to
368 specify the following configuration options:</p>
369 <dl>
370   <dt><i>--enable-spec2000</i>
371   <dt><i>--enable-spec2000=&lt;<tt>directory</tt>&gt;</i>
372   <dd>
373     Enable the use of SPEC2000 when testing LLVM.  This is disabled by default
374     (unless <tt>configure</tt> finds SPEC2000 installed).  By specifying
375     <tt>directory</tt>, you can tell configure where to find the SPEC2000
376     benchmarks.  If <tt>directory</tt> is left unspecified, <tt>configure</tt>
377     uses the default value
378     <tt>/home/vadve/shared/benchmarks/speccpu2000/benchspec</tt>.
379     <p>
380   <dt><i>--enable-spec95</i>
381   <dt><i>--enable-spec95=&lt;<tt>directory</tt>&gt;</i>
382   <dd>
383     Enable the use of SPEC95 when testing LLVM.  It is similar to the
384     <i>--enable-spec2000</i> option.
385     <p>
386   <dt><i>--enable-povray</i>
387   <dt><i>--enable-povray=&lt;<tt>directory</tt>&gt;</i>
388   <dd>
389     Enable the use of Povray as an external test.  Versions of Povray written
390     in C should work.  This option is similar to the <i>--enable-spec2000</i>
391     option.
392 </dl>
393 </div>
394
395 <!--=========================================================================-->
396 <div class="doc_section"><a name="run">Running the LLVM Tests</a></div>
397 <!--=========================================================================-->
398
399 <div class="doc_text">
400
401 <p>First, all tests are executed within the LLVM object directory tree.  They
402 <i>are not</i> executed inside of the LLVM source tree. This is because the
403 test suite creates temporary files during execution.</p>
404
405 <p>The master Makefile in llvm/test is capable of running only the DejaGNU driven
406 tests. By default, it will run all of these tests.</p>
407
408 <p>To run only the DejaGNU driven tests, run <tt>gmake</tt> at the
409 command line in <tt>llvm/test</tt>.  To run a specific directory of tests, use
410 the TESTSUITE variable.
411 </p>
412
413 <p>For example, to run the Regression tests, type 
414 <tt>gmake TESTSUITE=Regression</tt> in <tt>llvm/tests</tt>.</p>
415
416 <p>Note that there are no Makefiles in <tt>llvm/test/Features</tt> and
417 <tt>llvm/test/Regression</tt>. You must use DejaGNU from the <tt>llvm/test</tt>
418 directory to run them.</p>
419
420 <p>To run the <tt>llvm-test</tt> suite, you need to use the following steps:
421 </p>
422 <ol>
423   <li>cd into the llvm/projects directory</li>
424   <li>check out the <tt>llvm-test</tt> module with:<br/>
425   <tt>cvs -d :pserver:anon@llvm.org:/var/cvs/llvm co -PR llvm-test</tt><br> 
426   This will get the test suite into <tt>llvm/projects/llvm-test</tt></li>
427   <li>configure the test suite. You can do this one of two ways:
428   <ol>
429     <li>Use the regular llvm configure:<br/>
430     <tt>cd $LLVM_OBJ_ROOT ; $LLVM_SRC_ROOT/configure</tt><br/>
431     This will ensure that the <tt>projects/llvm-test</tt> directory is also
432     properly configured.</li>
433     <li>Use the <tt>configure</tt> script found in the <tt>llvm-test</tt> source
434     directory:<br/>
435     <tt>$LLVM_SRC_ROOT/projects/llvm-test/configure --with-llvmsrc=$LLVM_SRC_ROOT --with-llvmobj=$LLVM_OBJ_ROOT</tt>
436     </li>
437   </ol>
438   <li>gmake</li>
439 </ol>
440 <p>Note that the second and third steps only need to be done once. After you
441 have the suite checked out and configured, you don't need to do it again (unless
442 the test code or configure script changes).</p>
443
444 <p>To make a specialized test (use one of the
445 <tt>llvm-test/TEST.&lt;type&gt;.Makefile</tt>s), just run:<br/>
446 <tt>gmake TEST=&lt;type&gt; test</tt><br/>For example, you could run the
447 nightly tester tests using the following commands:</p>
448
449 <pre>
450  % cd llvm/projects/llvm-test
451  % gmake TEST=nightly test
452 </pre>
453
454 <p>Regardless of which test you're running, the results are printed on standard
455 output and standard error.  You can redirect these results to a file if you
456 choose.</p>
457
458 <p>Some tests are known to fail.  Some are bugs that we have not fixed yet;
459 others are features that we haven't added yet (or may never add).  In DejaGNU,
460 the result for such tests will be XFAIL (eXpected FAILure).  In this way, you
461 can tell the difference between an expected and unexpected failure.</p>
462
463 <p>The tests in <tt>llvm-test</tt> have no such feature at this time. If the
464 test passes, only warnings and other miscellaneous output will be generated.  If
465 a test fails, a large &lt;program&gt; FAILED message will be displayed.  This
466 will help you separate benign warnings from actual test failures.</p>
467
468 </div>
469
470 <!--=========================================================================-->
471 <div class="doc_section"><a name="nightly">Running the nightly tester</a></div>
472 <!--=========================================================================-->
473
474 <div class="doc_text">
475
476 <p>
477 The <a href="http://llvm.org/testresults/">LLVM Nightly Testers</a>
478 automatically check out an LLVM tree, build it, run the "nightly" 
479 program test (described above), run  all of the feature and regression tests, 
480 and then delete the checked out tree.  This tester is designed to ensure that 
481 programs don't break as well as keep track of LLVM's progress over time.</p>
482
483 <p>If you'd like to set up an instance of the nightly tester to run on your
484 machine, take a look at the comments at the top of the
485 <tt>utils/NightlyTester.pl</tt> file.  We usually run it from a crontab entry
486 that looks ilke this:</p>
487
488 <div class="doc_code">
489 <pre>
490 5 3 * * *  $HOME/llvm/utils/NightlyTest.pl -parallel $CVSROOT $HOME/buildtest-X86 $HOME/cvs/testresults-X86
491 </pre>
492 </div>
493
494 <p>Or, you can create a shell script to encapsulate the running of the script.
495 The optimized x86 Linux nightly test is run from just such a script:</p>
496
497 <div class="doc_code">
498 <pre>
499 #!/bin/bash
500 BASE=/proj/work/llvm/nightlytest
501 export CVSROOT=:pserver:anon@llvm.org:/var/cvs/llvm
502 export BUILDDIR=$BASE/build 
503 export WEBDIR=$BASE/testresults 
504 export LLVMGCCDIR=/proj/work/llvm/cfrontend/install
505 export PATH=/proj/install/bin:$LLVMGCCDIR/bin:$PATH
506 export LD_LIBRARY_PATH=/proj/install/lib
507 cd $BASE
508 cp /proj/work/llvm/llvm/utils/NightlyTest.pl .
509 nice ./NightlyTest.pl -nice -release -verbose -parallel -enable-linscan -noexternals 2&gt;&amp;1 &gt; output.log
510 mail -s 'X86 nightly tester results' <a href="http://mail.cs.uiuc.edu/mailman/listinfo/llvm-testresults">llvm-testresults@cs.uiuc.edu</a> &lt; output.log
511 </pre>
512 </div>
513
514 <p>Take a look at the <tt>NightlyTest.pl</tt> file to see what all of the flags
515 and strings do.  If you start running the nightly tests, please let us know and
516 we'll link your page to the global tester page.  Thanks!</p>
517
518 </div>
519
520 <!-- *********************************************************************** -->
521
522 <hr>
523 <address>
524   <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
525   src="http://jigsaw.w3.org/css-validator/images/vcss" alt="Valid CSS!"></a>
526   <a href="http://validator.w3.org/check/referer"><img
527   src="http://www.w3.org/Icons/valid-html401" alt="Valid HTML 4.01!" /></a>
528
529   John T. Criswell, Reid Spencer, and Tanya Lattner<br>
530   <a href="http://llvm.org">The LLVM Compiler Infrastructure</a><br/>
531   Last modified: $Date$
532 </address>
533 </body>
534 </html>