creduce - En ligne dans le Cloud

PROGRAMME:

Nom

creduce - réducteur de programme C et C++

DESCRIPTION

creduc 2.5.0 (inconnu) -- un réducteur de programme C et C++

C-Reduce nécessite un "test d'intérêt" et un ou plusieurs fichiers à réduire, qui doivent être
inscriptible. Le test d'intérêt est un programme exécutable (généralement un script shell) qui
renvoie 0 lorsqu'un fichier partiellement réduit est intéressant (candidat pour une réduction supplémentaire)
et renvoie non nul lorsqu'un dossier partiellement réduit n'est pas intéressant (pas candidat à
réduction supplémentaire -- tous les fichiers inintéressants sont supprimés).

C-Reduce exécute le test d'intérêt dans un nouveau répertoire temporaire contenant uniquement le
fichier(s) partiellement réduit(s). Ainsi, lorsque le test d'intérêt examine une partie
fichier réduit, il doit le faire en utilisant un chemin relatif vers le répertoire de travail actuel. Sur le
d'autre part, lorsque le test d'intérêt se réfère à tout fichier qui n'est pas en cours de réduction,
cela doit être fait en utilisant un chemin absolu.

Le test d'intérêt ne doit pas attendre d'arguments de ligne de commande. Ça devrait être
déterministe et peut vouloir appliquer des limites de ressources sur les sous-commandes qu'il invoque
(par exemple en utilisant ulimit). En particulier, C-Reduce est connu pour introduire parfois un nombre infini
boucle dans le programme en cours de réduction. Par conséquent, si le test d'intérêt exécute le
programme compilé, il devrait probablement le faire sous un délai d'attente.

À titre d'exemple rapide, si vous considérez qu'un fichier est intéressant si le vectoriseur de GCC se déclenche
lors de la compilation, vous pouvez utiliser ce test d'intérêt :

gcc -w -O3 foo.c -S && grep xmm foo.s

Pour voir si votre test d'intérêt fonctionne, essayez d'exécuter ces commandes :

DIR=`mktemp -d` cp file_to_reduce [éventuellement, plus de fichiers à réduire] $DIR cd $DIR
/chemin/vers/test_intéressant écho $?

Cela devrait entraîner un écho de « 0 » vers le terminal. Si cela ne se produit pas, le
Le test d'intérêt est défectueux et C-Reduce ne pourra pas l'utiliser.

Si vous n'avez jamais écrit de test d'intérêt auparavant, veuillez vous référer à ce tutoriel pour
conseils supplémentaires :

https://embed.cs.utah.edu/creduce/using/

Si possible, exécutez C-Reduce sur du code prétraité, généré par exemple à l'aide de :

gcc -E -P fichier.c

Si vous ne pouvez pas réduire le code prétraité, vous pouvez soit réduire uniquement le code non prétraité
fichier ou bien effectuer une réduction multi-fichiers sur le fichier et ses inclusions transitives (ou
tout sous-ensemble d'entre eux). Dans le premier cas, vous devez définir le CREDUCE_INCLUDE_PATH
variable d'environnement à une liste séparée par des deux-points de répertoires d'inclusion afin que
clang_delta pour les trouver.

Si votre test d'intérêt implique un compilateur croisé et les caractéristiques du
cross target diffère de l'hôte, vous devrez définir CREDUCE_TARGET_TRIPLE pour correspondre à la
cible croisée. Ceci est particulièrement important si vous travaillez avec du code non prétraité
et utilisez CREDUCE_INCLUDE_PATH.

Appuyez sur "s" à tout moment pour passer à la passe suivante (cette fonctionnalité est désactivée à moins que Perl
module Term::ReadKey est disponible sur votre système).

Résumé of options:
--ajouter-passe
Ajouter le pass spécifié à l'horaire

--aussi-intéressant
Un code de sortie de processus (quelque part dans la plage 64-113 serait habituel) qui, lorsque
renvoyé par le test d'intérêt, C-Reduce enregistrera une copie du
variante [par défaut : -dix]

--déboguer
Imprimer les informations de débogage

--die-on-pass-bogue
Mettre fin à C-Reduce si une passe rencontre un problème autrement non fatal

--max-amélioration
Plus grande amélioration de la taille du fichier à partir d'une seule transformation que C-Reduce devrait
accepter (utile uniquement pour ralentir C-Reduce)

--n
Nombre de cœurs à utiliser ; C-Reduce essaie de sélectionner automatiquement un bon réglage mais son
le choix peut être trop faible ou trop élevé pour votre situation [par défaut : 2]

--aucun-passe-par-défaut
Commencez avec un calendrier de laissez-passer vide

--pas d'abandon
N'abandonnez pas une passe qui n'a pas progressé depuis 50000 itérations

--nokill
Attendez que les instances parallèles se terminent d'elles-mêmes au lieu de les tuer (uniquement
utile pour le débogage)

--print-diff
Afficher les modifications apportées par les transformations, pour le débogage

--désinfecter
Tenter de masquer les détails du fichier source d'origine

--sauve-temps
Ne pas supprimer /tmp/creduce-x annuaires en cas de résiliation

--shaddap
Supprimer la sortie sur les erreurs internes non fatales

--skip-initial-passes
Ignorer les passes initiales (utile si l'entrée est déjà partiellement réduite)

--skip-key-off
Désactiver le saut du reste de la passe en cours lorsque « s » est enfoncé

--slloww
Essayer plus fort de réduire, mais peut-être prendre beaucoup de temps pour le faire

--bien rangé Ne faites pas de copie de sauvegarde de chaque fichier pour le réduire en file.orig

--Horaire
Imprimer des horodatages sur la progression de la réduction

utilisation : creduce [options] Interestness_test file_to_reduce [éventuellement, plus de fichiers à
réduire]

creduire --Aidez-moi pour plus d'informations

Utilisez creduce en ligne en utilisant les services onworks.net