creduce - מקוון בענן

תָכְנִית:

שֵׁם

creduce - מפחית תוכניות C ו-C++

תיאור

creduce 2.5.0 (לא ידוע) -- מפחית תוכניות C ו-C++

C-Reduce דורש "מבחן עניין" וקובץ אחד או יותר כדי להפחית, וזה חייב להיות
ניתן לכתיבה. מבחן העניין הוא תוכנית הפעלה (בדרך כלל סקריפט מעטפת) ש
מחזירה 0 כאשר קובץ מצומצם חלקית מעניין (מועמד להפחתה נוספת)
ומחזיר לא אפס כאשר קובץ מצומצם חלקית אינו מעניין (לא מועמד עבור
הפחתה נוספת -- כל הקבצים הלא מעניינים נמחקים).

C-Reduce מריץ את מבחן העניין בספרייה זמנית רעננה המכילה רק את
קבצים מופחתים חלקית. כך, כאשר מבחן העניין בוחן חלקית
קובץ מופחת, עליו לעשות זאת באמצעות נתיב יחסי לספריית העבודה הנוכחית. על
מצד שני, כאשר מבחן העניין מתייחס לכל קובץ שלא מצטמצם,
זה צריך להיעשות באמצעות נתיב מוחלט.

מבחן העניין לא אמור לצפות לארגומנטים של שורת פקודה. זה צריך להיות
דטרמיניסטי ואולי ירצה לאכוף מגבלות משאבים על פקודות משנה שהוא מפעיל
(למשל באמצעות ulimit). בפרט, ידוע ש-C-Reduce מציג לפעמים אינסוף
לולאה לתוך התוכנית המצטמצמת. לכן, אם מבחן העניין מריץ את
תוכנית מהודרת, היא כנראה צריכה לעשות זאת תחת פסק זמן.

כדוגמה מהירה, אם אתה מחשיב קובץ כמעניין אם הווקטורייזר של GCC יופעל
בזמן הקומפלציה, תוכל להשתמש במבחן העניין הזה:

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

כדי לראות אם מבחן העניין שלך עובד, נסה להפעיל את הפקודות הבאות:

DIR=`mktemp -d` cp file_to_reduce [אופציונלי, קבצים נוספים להפחתה] $DIR cd $DIR
/path/to/interestingness_test הד $?

זה אמור לגרום להדהוד של "0" למסוף. אם זה לא יקרה, ה
מבחן מעניין פגום ו-C-Reduce לא יוכל לעשות בו שימוש.

אם לא כתבת מבחן עניין בעבר, אנא עיין במדריך זה עבור
הדרכה נוספת:

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

אם זה אפשרי, הפעל את C-Reduce על קוד מעובד מראש, שנוצר למשל באמצעות:

gcc -E -P file.c

אם אינך יכול לצמצם את הקוד המעובד מראש, אתה יכול להפחית רק את הקוד הלא מעובד
קובץ או בצע צמצום ריבוי קבצים על הקובץ והטרנזיטיבי שלו כולל (או
כל תת-קבוצה שלהם). במקרה הראשון, עליך להגדיר את CREDUCE_INCLUDE_PATH
משתנה סביבה לרשימה מופרדת קולונית של ספריות כלול לפי סדר
clang_delta כדי למצוא אותם.

אם מבחן העניין שלך כולל מהדר צולב ואת המאפיינים של
מעבר יעד שונה מהמארח שתצטרך להגדיר את CREDUCE_TARGET_TRIPLE כדי להתאים את
לחצות מטרה. זה חשוב במיוחד אם אתה עובד עם קוד לא מעובד מראש
והשתמש ב-CREDUCE_INCLUDE_PATH.

לחץ על "s" בכל עת כדי לדלג למעבר הבא (תכונה זו מושבתת אלא אם כן ה-Perl
מודול Term::ReadKey זמין במערכת שלך).

<br> סיכום of אפשרויות:
--add-pass
הוסף את המעבר שצוין ללוח הזמנים

--גם-מעניין
קוד יציאה מהתהליך (אי שם בטווח 64-113 יהיה רגיל) שכאשר
מוחזר על ידי מבחן העניין, יגרום ל-C-Reduce לשמור עותק של
גרסה [ברירת מחדל: -אחד]

--לנפות
הדפס מידע על ניפוי באגים

--מת-על-מעבר-באג
סיים את C-Reduce אם מעבר נתקל בבעיה שאינה קטלנית אחרת

-- שיפור מקסימלי
השיפור הגדול ביותר בגודל הקובץ משינוי יחיד ש-C-Reduce צריך
קבל (שימושי רק להאטת C-Reduce)

--נ
מספר הליבות לשימוש; C-Reduce מנסה לבחור אוטומטית הגדרה טובה אבל שלה
ייתכן שהבחירה נמוכה או גבוהה מדי עבור המצב שלך [ברירת מחדל: 2]

--אין-ברירת מחדל-עובר
התחל עם לוח זמנים ריק

--לא לוותר
אל תוותר על מעבר שלא התקדם במשך 50000 איטרציות

--נוקיל
המתן עד שמקרים מקבילים יסתיימו מעצמם במקום להרוג אותם (בלבד
שימושי לניפוי באגים)

--print-diff
הצג שינויים שנעשו על ידי טרנספורמציות, לצורך ניפוי באגים

- לחטא
ניסיון לטשטש פרטים מקובץ המקור המקורי

--לשמור-טמפרטורות
אל תמחק /tmp/creduce-x ספריות בסיום

--שאדפ
דיכוי פלט לגבי שגיאות פנימיות לא קטלניות

--דילוג-ראשוני-מעברים
דלג על מעברים ראשוניים (שימושי אם הקלט כבר מופחת חלקית)

--דלג-מפתח כבוי
השבת את הדילוג על שאר המעבר הנוכחי כאשר "s" נלחץ

--איטי
נסה יותר להפחית, אבל אולי ייקח הרבה זמן לעשות זאת

--מסודר אל תיצור עותק גיבוי של כל קובץ כדי לצמצם אותו בתור file.orig

--תִזמוּן
הדפס חותמות זמן על התקדמות ההפחתה

שימוש: creduce [options] interestness_test file_to_reduce [אופציונלי, קבצים נוספים כדי
לְהַפחִית]

לשכנע - עזרה לפרטים נוספים

השתמש ב-creduce באינטרנט באמצעות שירותי onworks.net