OLD | NEW |
1 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> | 1 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
2 <html> | 2 <html> |
3 <head> | 3 <head> |
4 <meta name="generator" content= | 4 <meta name="generator" content= |
5 "HTML Tidy for Linux (vers 25 March 2009), see www.w3.org"> | 5 "HTML Tidy for Linux (vers 25 March 2009), see www.w3.org"> |
6 <title>RDFA testing</title> | 6 <title>RDFA testing</title> |
7 | 7 |
8 <style type="text/css"> | 8 <style type="text/css"> |
9 ol{margin:0;padding:0}.c5{list-style-type:disc;margin:0;padding:0}.c7{max-width:
468pt;background-color:#ffffff;padding:72pt 72pt 72pt 72pt}.c8{color:inherit;tex
t-decoration:inherit}.c3{color:#1155cc;text-decoration:underline}.c1{padding-lef
t:0pt;margin-left:36pt}.c4{font-size:8pt;font-family:"Courier New"}.c6{margin-le
ft:18pt}.c9{margin-left:36pt}.c0{direction:ltr}.c2{height:11pt}.c10{height:12pt}
.title{padding-top:0pt;line-height:1.15;text-align:left;color:#000000;font-size:
21pt;font-family:"Trebuchet MS";padding-bottom:0pt}.subtitle{padding-top:0pt;lin
e-height:1.15;text-align:left;color:#666666;font-style:italic;font-size:13pt;fon
t-family:"Trebuchet MS";padding-bottom:10pt}li{color:#000000;font-size:11pt;font
-family:"Arial"}p{color:#000000;font-size:11pt;margin:0;font-family:"Arial"}h1{p
adding-top:10pt;line-height:1.15;text-align:left;color:#000000;font-size:16pt;fo
nt-family:"Trebuchet MS";padding-bottom:0pt}h2{padding-top:10pt;line-height:1.15
;text-align:left;color:#000000;font-size:13pt;font-family:"Trebuchet MS";font-we
ight:bold;padding-bottom:0pt}h3{padding-top:8pt;line-height:1.15;text-align:left
;color:#666666;font-size:12pt;font-family:"Trebuchet MS";font-weight:bold;paddin
g-bottom:0pt}h4{padding-top:8pt;line-height:1.15;text-align:left;color:#666666;f
ont-size:11pt;text-decoration:underline;font-family:"Trebuchet MS";padding-botto
m:0pt}h5{padding-top:8pt;line-height:1.15;text-align:left;color:#666666;font-siz
e:11pt;font-family:"Trebuchet MS";padding-bottom:0pt}h6{padding-top:8pt;line-hei
ght:1.15;text-align:left;color:#666666;font-style:italic;font-size:11pt;font-fam
ily:"Trebuchet MS";padding-bottom:0pt} | 9 ol{margin:0;padding:0}.c5{list-style-type:disc;margin:0;padding:0}.c7{max-width:
468pt;background-color:#ffffff;padding:72pt 72pt 72pt 72pt}.c8{color:inherit;tex
t-decoration:inherit}.c3{color:#1155cc;text-decoration:underline}.c1{padding-lef
t:0pt;margin-left:36pt}.c4{font-size:8pt;font-family:"Courier New"}.c6{margin-le
ft:18pt}.c9{margin-left:36pt}.c0{direction:ltr}.c2{height:11pt}.c10{height:12pt}
.title{padding-top:0pt;line-height:1.15;text-align:left;color:#000000;font-size:
21pt;font-family:"Trebuchet MS";padding-bottom:0pt}.subtitle{padding-top:0pt;lin
e-height:1.15;text-align:left;color:#666666;font-style:italic;font-size:13pt;fon
t-family:"Trebuchet MS";padding-bottom:10pt}li{color:#000000;font-size:11pt;font
-family:"Arial"}p{color:#000000;font-size:11pt;margin:0;font-family:"Arial"}h1{p
adding-top:10pt;line-height:1.15;text-align:left;color:#000000;font-size:16pt;fo
nt-family:"Trebuchet MS";padding-bottom:0pt}h2{padding-top:10pt;line-height:1.15
;text-align:left;color:#000000;font-size:13pt;font-family:"Trebuchet MS";font-we
ight:bold;padding-bottom:0pt}h3{padding-top:8pt;line-height:1.15;text-align:left
;color:#666666;font-size:12pt;font-family:"Trebuchet MS";font-weight:bold;paddin
g-bottom:0pt}h4{padding-top:8pt;line-height:1.15;text-align:left;color:#666666;f
ont-size:11pt;text-decoration:underline;font-family:"Trebuchet MS";padding-botto
m:0pt}h5{padding-top:8pt;line-height:1.15;text-align:left;color:#666666;font-siz
e:11pt;font-family:"Trebuchet MS";padding-bottom:0pt}h6{padding-top:8pt;line-hei
ght:1.15;text-align:left;color:#666666;font-style:italic;font-size:11pt;font-fam
ily:"Trebuchet MS";padding-bottom:0pt} |
10 </style> | 10 </style> |
(...skipping 284 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
295 restricted register). So we have to ensure that specification and | 295 restricted register). So we have to ensure that specification and |
296 RDFA validator agree on instruction pre- and post- | 296 RDFA validator agree on instruction pre- and post- |
297 conditions.</span></p> | 297 conditions.</span></p> |
298 <p class="c0 c2"></p> | 298 <p class="c0 c2"></p> |
299 <p class="c0"><span>Also, just as in exhaustive decoder test, we | 299 <p class="c0"><span>Also, just as in exhaustive decoder test, we |
300 actually do not try all possible values for ‘anybytes’ | 300 actually do not try all possible values for ‘anybytes’ |
301 (and direct jump targets fall into this category). Anyway, checking | 301 (and direct jump targets fall into this category). Anyway, checking |
302 jump targets logic is not the goal of this test (we rely on | 302 jump targets logic is not the goal of this test (we rely on |
303 manually written targeted tests for jumps instead).</span></p> | 303 manually written targeted tests for jumps instead).</span></p> |
304 <p class="c0 c2"></p> | 304 <p class="c0 c2"></p> |
305 <p class="c0"><span>There is similar test in | |
306 validator_ragel/verify_regular_instruction_old.py. Instead of | |
307 comparing against text-based specification, it compares against old | |
308 validator (and additionally objdump is used to check that | |
309 instruction length is determined correctly). Hopefully we will be | |
310 able to get rid of it soon.</span></p> | |
311 <p class="c0 c2"></p> | |
312 <p class="c0"><span>How to run:</span></p> | 305 <p class="c0"><span>How to run:</span></p> |
313 <p class="c0"><span> ./scons dfacheckvalidator | 306 <p class="c0"><span> ./scons dfacheckvalidator |
314 platform=x86-64</span></p> | 307 platform=x86-64</span></p> |
315 <p class="c0"><span>This test requires ragel and takes a lot of | 308 <p class="c0"><span>This test requires ragel and takes a lot of |
316 time, so it can only be run on linux. It uses python interface to | 309 time, so it can only be run on linux. It uses python interface to |
317 validator (implemented as DSO), so supplied value of | 310 validator (implemented as DSO), so supplied value of |
318 ‘platform’ parameter should match python bitness. | 311 ‘platform’ parameter should match python bitness. |
319 Additionally, since it uses both 32-bit and 64-bit ncvals, | 312 Additionally, since it uses both 32-bit and 64-bit ncvals, |
320 following commands should be run before manually:</span></p> | 313 following commands should be run before manually:</span></p> |
321 <p class="c0"><span> ./scons ncval platform=x86-32</span></p> | 314 <p class="c0"><span> ./scons ncval platform=x86-32</span></p> |
(...skipping 86 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
408 <li class="c1 c0"><span>when files that can affect generated | 401 <li class="c1 c0"><span>when files that can affect generated |
409 validator files are updated, it reminds developer to run ./scons | 402 validator files are updated, it reminds developer to run ./scons |
410 dfagen to regenerate these files</span></li> | 403 dfagen to regenerate these files</span></li> |
411 <li class="c1 c0"><span>when files that determine validator | 404 <li class="c1 c0"><span>when files that determine validator |
412 behavior (including generated files) are changed, it reminds | 405 behavior (including generated files) are changed, it reminds |
413 developer to run ./scons dfacheckvalidator (because it can be only | 406 developer to run ./scons dfacheckvalidator (because it can be only |
414 run locally)</span></li> | 407 run locally)</span></li> |
415 </ol> | 408 </ol> |
416 </body> | 409 </body> |
417 </html> | 410 </html> |
OLD | NEW |