bugpoint-3.6 - Online în cloud

PROGRAM:

NUME

bugpoint - instrument de reducere automată a cazurilor de testare

REZUMAT

punct de eroare [Opțiuni] [intrare LLVM ll/bc fișiere] [LLVM trece] --args program argumente

DESCRIERE

punct de eroare restrânge sursa problemelor în instrumentele și trecerile LLVM. Poate fi folosit pentru
depanați trei tipuri de erori: blocări ale optimizatorului, compilari greșite de către optimizatori sau greșite
generarea codului nativ (inclusiv probleme la compilatoarele statice și JIT). Are ca scop
reduceți cazurile de testare mari la cele mici, utile. Pentru mai multe informații despre design și
lucrările interioare ale punct de eroare, precum și sfaturi pentru utilizarea bugpoint, vezi
llvm/docs/Bugpoint.html în distribuția LLVM.

OPŢIUNI

--în plus-deci bibliotecă
Încărcați obiectul partajat dinamic bibliotecă în programul de testare ori de câte ori este rulat. Acest
este util dacă depanați programe care depind de biblioteci non-LLVM (cum ar fi
X sau blesteme biblioteci) pentru a rula.

--adăugați-codul-de-ieșire={adevarat fals}
Adăugați codul de ieșire al programelor de testare la fișierul de ieșire, astfel încât să se producă o modificare a codului de ieșire
considerat un eșec al testului. Implicit la fals.

--args program args
Transmite toate argumentele specificate după --args la programul de testare ori de câte ori acesta rulează. Notă
că dacă vreuna din program args începe cu un "-", ar trebui să utilizați:

bugpoint [bugpoint args] --args -- [program args]

"--" imediat după --args optiunea spune punct de eroare să ia în considerare orice opțiune care începe
cu "-„a face parte din --args opțiune, nu ca opțiuni pentru punct de eroare însăși.

--tool-args instrument args
Transmite toate argumentele specificate după --tool-args la instrumentul LLVM testat (llc, LLI,
etc.) ori de câte ori rulează. Ar trebui să utilizați această opțiune în felul următor:

bugpoint [bugpoint args] --tool-args -- [tool args]

"--" imediat după --tool-args optiunea spune punct de eroare să ia în considerare orice opțiune
incepand cu "-„a face parte din --tool-args opțiune, nu ca opțiuni pentru punct de eroare
în sine. (Vedea --args, de mai sus.)

--safe-tool-args instrument args
Transmite toate argumentele specificate după --safe-tool-args la instrumentul de execuție „sigur”.

--gcc-tool-args gcc instrument args
Transmite toate argumentele specificate după --gcc-tool-args la invocarea de gcc.

--opt-args opta args
Transmite toate argumentele specificate după --opt-args la invocarea de opta.

--disable-{dce,simplifycfg}
Nu rulați trecerile specificate pentru a curăța și a reduce dimensiunea programului de testare. De
Mod implicit, punct de eroare folosește aceste treceri intern atunci când încearcă să reducă programele de testare.
Dacă încercați să găsiți o eroare într-una dintre aceste treceri, punct de eroare se poate prăbuși.

--enable-valgrind
Utilizați valgrind pentru a găsi defecțiuni în faza de optimizare. Acest lucru va permite bugpoint să găsească
altfel probleme asimptomatice cauzate de gestionarea greșită a memoriei.

-găsește-bug-uri
Randomizați în mod continuu trecerile specificate și rulați-le în programul de testare până când apare o eroare
este găsit sau utilizatorul ucide punct de eroare.

-Ajutor
Tipăriți un rezumat al opțiunilor liniei de comandă.

--intrare nume de fișier
Operatii Deschise nume de fișier și redirecționează intrarea standard a programului de testare, ori de câte ori rulează, către
provin din acel dosar.

--sarcină conecteaza
Încărcați obiectul dinamic conecteaza în punct de eroare în sine. Acest obiect ar trebui să se înregistreze nou
trece de optimizare. Odată încărcat, obiectul va adăuga noi opțiuni de linie de comandă la
permite diverse optimizări. Pentru a vedea noua listă completă de optimizări, utilizați
-Ajutor și --sarcină opțiuni împreună; de exemplu:

bugpoint --load myNewPass.so -help

--mlimit megaocteți
Specifică o limită superioară a utilizării memoriei pentru optimizare și codegen. Setați la zero
pentru a dezactiva limita.

--ieșire nume de fișier
Ori de câte ori programul de testare produce rezultate pe fluxul său standard de ieșire, ar trebui
se potrivesc cu conținutul nume de fișier („ieșirea de referință”). Dacă nu utilizați această opțiune,
punct de eroare va încerca să genereze o ieșire de referință prin compilarea programului cu
backend „sigur” și rulează-l.

--run-{int,jit,llc,custom}
Ori de câte ori programul de testare este compilat, punct de eroare ar trebui să genereze cod pentru acesta folosind
generatorul de cod specificat. Aceste opțiuni vă permit să alegeți interpretul, JIT
compilator, compilatorul de cod nativ static sau o comandă personalizată (vezi --exec-command)
respectiv.

--safe-{llc,custom}
Când depanați un generator de cod, punct de eroare ar trebui să utilizeze generatorul de cod specificat ca
generatorul de cod „sigur”. Acesta este un generator de cod cunoscut, folosit pentru a genera
„ieșire de referință” dacă nu a fost furnizată și pentru a compila porțiuni din program
că pe măsură ce sunt excluse din testcase. Aceste opțiuni vă permit să alegeți
compilator de cod nativ static sau o comandă personalizată (vezi --exec-command) respectiv.
Interpretul și backend-urile JIT nu pot fi utilizate în prezent ca backend-uri „sigure”.

--exec-command comandă
Această opțiune definește comanda de utilizat cu --run-personalizat și --sigur-personalizat Opțiuni
pentru a executa testcase-ul de cod de biți. Acest lucru poate fi util pentru compilarea încrucișată.

--compila-comandă comandă
Această opțiune definește comanda de utilizat cu --compilare-personalizat opțiunea de a compila
caz de testare cod de biți. Acest lucru poate fi util pentru testarea rezultatelor compilatorului fără a rula niciunul
legați sau executați etapele. Pentru a genera un test unitar redus, puteți adăuga directive CHECK
la testcase și transmiteți numele unui script de comandă de compilare executabil în această formă:

#!/ Bin / sh
llc „$@”
nu FileCheck [fișier de intrare bugpoint].ll < bugpoint-test-program.s

Acest script va „eșua” atâta timp cât trece FileCheck. Deci rezultatul va fi minim
cod de biți care trece FileCheck.

--cale-sigură cale
Această opțiune definește calea către comanda de executat cu
--safe-{int,jit,llc,custom} opțiune.

EXIT STAREA

If punct de eroare reușește să găsească o problemă, se va ieși cu 0. În caz contrar, dacă apare o eroare
apare, va ieși cu o valoare diferită de zero.

Utilizați online bugpoint-3.6 folosind serviciile onworks.net