هذا هو الأمر llvm-extract-3.8 الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة على الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
استخراج llvm - استخراج دالة من وحدة LLVM
موجز
لفم استخراج [الخيارات] - فونك اسم وظيفة [اسم الملف]
الوصف
• لفم استخراج يأخذ الأمر اسم دالة ويستخرجها من المحدد
ملف LLVM bitcode. يتم استخدامه بشكل أساسي كأداة تصحيح لتقليل حالات الاختبار من
البرامج الأكبر التي تؤدي إلى حدوث خطأ.
بالإضافة إلى استخراج رمز البت للوظيفة المحددة ، لفم استخراج سوف أيضا
إزالة المتغيرات العالمية والنماذج الأولية والأنواع غير المستخدمة التي يتعذر الوصول إليها.
• لفم استخراج يقرأ الأمر مدخلاته من الإدخال القياسي إذا تم حذف اسم الملف أو إذا
اسم الملف هو -. يتم دائمًا كتابة الإخراج إلى الإخراج القياسي ، ما لم يكن -o الخيار
المحدد (انظر أدناه).
OPTIONS
-f
تمكين الإخراج الثنائي على المحطات. عادة، لفم استخراج سوف يرفض كتابة الخام
إخراج كود البت إذا كان تيار الإخراج محطة. مع هذا الخيار ، لفم استخراج سوف
كتابة كود البت الخام بغض النظر عن جهاز الإخراج.
- فونك اسم وظيفة
استخراج الوظيفة المسماة اسم وظيفة من رمز البت LLVM. قد تكون محددة
عدة مرات لاستخراج وظائف متعددة في وقت واحد.
- rfunc الوظيفة العادية expr
استخراج وظيفة (ق) مطابقة الوظيفة العادية expr من رمز البت LLVM. الجميع
سيتم استخراج الوظائف المطابقة للتعبير النمطي. قد تكون محددة متعددة
.
- الكرة الاسم العالمي
استخرج المتغير الشامل المسمى الاسم العالمي من رمز البت LLVM. قد تكون محددة
عدة مرات لاستخراج متغيرات عالمية متعددة مرة واحدة.
--rglob جلوب-عادي-إكسبر
استخرج مطابقة المتغير (المتغيرات) العامة جلوبال-عادي-إكسبر من رمز البت LLVM. الجميع
سيتم استخراج المتغيرات العامة التي تطابق التعبير العادي. قد تكون محددة
عدة مرات.
-مساعدة
اطبع ملخصًا لخيارات سطر الأوامر.
-o اسم الملف
حدد اسم ملف الإخراج. إذا كان اسم الملف هو "-" (الافتراضي) ، إذن لفم استخراج يرسل
ناتجها إلى الناتج القياسي.
-S
كتابة الإخراج بلغة LLVM المتوسطة (بدلاً من رمز البت).
EXIT الوضع
If لفم استخراج ينجح ، سيخرج بـ 0. وإلا ، إذا حدث خطأ ، فسيحدث
الخروج بقيمة غير صفرية.
استخدم llvm-extract-3.8 عبر الإنترنت باستخدام خدمات onworks.net
