tín dụng - Trực tuyến trên đám mây

CHƯƠNG TRÌNH:

TÊN

tín chỉ - trình giảm chương trình C và C ++

MÔ TẢ

tín chỉ 2.5.0 (không xác định) -- một trình giảm chương trình C và C ++

C-Reduce yêu cầu "kiểm tra mức độ thú vị" và một hoặc nhiều tệp để giảm, điều này phải
có thể ghi được. Bài kiểm tra mức độ thú vị là một chương trình thực thi (thường là một tập lệnh shell)
trả về 0 khi một tệp được giảm bớt một phần là thú vị (một ứng cử viên để giảm thêm)
và trả về khác XNUMX khi tệp bị giảm bớt một phần không thú vị (không phải là ứng cử viên cho
Giảm hơn nữa -- tất cả các tệp không quan tâm sẽ bị loại bỏ).

C-Reduce chạy kiểm tra mức độ thú vị trong một thư mục tạm thời mới chỉ chứa
giảm một phần (các) tệp. Do đó, khi kiểm tra mức độ thú vị kiểm tra một phần
giảm tệp, nó phải làm như vậy bằng cách sử dụng một đường dẫn tương đối đến thư mục làm việc hiện tại. Trên
mặt khác, khi kiểm tra mức độ thú vị đề cập đến bất kỳ tệp nào không bị giảm,
điều này nên được thực hiện bằng cách sử dụng một đường dẫn tuyệt đối.

Kiểm tra độ thú vị không nên mong đợi bất kỳ đối số dòng lệnh nào. Nó nên được
xác định và có thể muốn thực thi các giới hạn tài nguyên đối với các lệnh con mà nó gọi
(ví dụ: sử dụng ulimit). Đặc biệt, C-Reduce được biết đến là đôi khi giới thiệu một
vòng lặp vào chương trình bị giảm. Do đó, nếu bài kiểm tra độ thú vị chạy,
chương trình đã biên dịch, nó có thể sẽ làm như vậy trong khoảng thời gian chờ.

Ví dụ nhanh, nếu bạn coi một tệp là thú vị nếu vectơ của GCC kích hoạt
trong khi biên dịch nó, bạn có thể sử dụng bài kiểm tra độ thú vị này:

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

Để xem liệu bài kiểm tra mức độ thú vị của bạn có hoạt động hay không, hãy thử chạy các lệnh sau:

DIR = `mktemp -d`cp file_to_reduce [tùy chọn, giảm nhiều tệp hơn] $ DIR cd $ DIR
/ path / to / thú vị_test tiếng vang $?

Điều này sẽ dẫn đến "0" được lặp lại đến thiết bị đầu cuối. Nếu điều này không xảy ra,
Kiểm tra tính thú vị còn thiếu sót và C-Reduce sẽ không thể sử dụng nó.

Nếu bạn chưa viết một bài kiểm tra mức độ thú vị trước đây, hãy tham khảo hướng dẫn này để
hướng dẫn bổ sung:

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

Nếu có thể, hãy chạy C-Reduce trên mã được xử lý trước, được tạo ví dụ bằng cách sử dụng:

gcc -E -P tập tin.c

Nếu bạn không thể giảm mã được xử lý trước, bạn có thể chỉ giảm mã không được xử lý trước
tệp hoặc người khác thực hiện giảm nhiều tệp trên tệp và tính bắc cầu của nó bao gồm (hoặc
bất kỳ tập hợp con nào của chúng). Trong trường hợp đầu tiên, bạn cần đặt CREDUCE_INCLUDE_PATH
biến môi trường thành danh sách được phân tách bằng dấu hai chấm gồm các thư mục bao gồm để
clang_delta để tìm chúng.

Nếu kiểm tra mức độ thú vị của bạn liên quan đến trình biên dịch chéo và các đặc điểm của
mục tiêu chéo khác với máy chủ, bạn sẽ cần đặt CREDUCE_TARGET_TRIPLE để phù hợp với
mục tiêu chéo. Điều này đặc biệt quan trọng nếu bạn đang làm việc với mã không được xử lý trước
và sử dụng CREDUCE_INCLUDE_PATH.

Nhấn "s" bất kỳ lúc nào để chuyển sang lần vượt qua tiếp theo (tính năng này bị tắt trừ khi Perl
Mô-đun Thuật ngữ :: ReadKey có sẵn trên hệ thống của bạn).

Tổng kết of lựa chọn:
--add-pass
Thêm thẻ đã chỉ định vào lịch trình

- cũng thú vị
Một mã thoát quy trình (ở đâu đó trong phạm vi 64-113 sẽ là bình thường), khi
được trả về bởi bài kiểm tra mức độ thú vị, sẽ khiến C-Reduce lưu một bản sao của
biến thể [mặc định: -1]

--gỡ lỗi
In thông tin gỡ lỗi

--die-on-pass-bug
Chấm dứt C-Reduce nếu thẻ gặp phải sự cố không nghiêm trọng khác

- tối đa-cải tiến
Cải thiện lớn nhất về kích thước tệp từ một chuyển đổi duy nhất mà C-Reduce nên
chấp nhận (chỉ hữu ích để làm chậm C-Reduce)

--N
Số lõi sử dụng; C-Reduce cố gắng tự động chọn một cài đặt tốt nhưng
lựa chọn có thể quá thấp hoặc quá cao đối với tình huống của bạn [mặc định: 2]

--no-default-pass
Bắt đầu với một lịch trình trống

- không bỏ cuộc
Đừng bỏ cuộc khi chưa đạt được tiến bộ trong 50000 lần lặp

--Không được giết
Chờ các phiên bản song song tự kết thúc thay vì giết chúng (chỉ
hữu ích cho việc gỡ lỗi)

--print-diff
Hiển thị các thay đổi được thực hiện bởi các phép biến đổi, để gỡ lỗi

- vệ sinh
Cố gắng che khuất các chi tiết khỏi tệp nguồn ban đầu

--save-temps
Đừng xóa / tmp / creduce-x thư mục về việc chấm dứt

--shaddap
Ngăn chặn đầu ra về các lỗi nội bộ không nghiêm trọng

--skip-ban-đầu-vượt qua
Bỏ qua các lần vượt qua ban đầu (hữu ích nếu đầu vào đã được giảm một phần)

--bỏ qua phím-tắt
Tắt bỏ qua phần còn lại của thẻ hiện tại khi nhấn "s"

--sllooww
Cố gắng hơn để giảm, nhưng có lẽ mất nhiều thời gian để làm như vậy

--ngăn nắp Không tạo bản sao lưu của từng tệp để giảm dưới dạng tệp.orig

- kích thích
In dấu thời gian về tiến trình giảm

cách sử dụng: ghi có [tùy chọn] thú vị_test tệp_to_reduce [tùy chọn, nhiều tệp hơn để
giảm]

tín nhiệm --Cứu giúp để biết thêm thông tin

Sử dụng tín dụng trực tuyến bằng các dịch vụ onworks.net