-
Notifications
You must be signed in to change notification settings - Fork 246
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
analyze: unify similar metrics scripts
- Loading branch information
1 parent
08fb475
commit 833e5f6
Showing
5 changed files
with
118 additions
and
169 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,99 @@ | ||
#!/bin/bash | ||
set -euo pipefail | ||
|
||
# Run pointwise metrics on lighttpd_rust_amalgamated. | ||
|
||
if [[ $# -ne 1 ]]; then | ||
echo "Usage: $0 <path/to/lighttpd_rust_amalgamated/>" | ||
exit 1 | ||
fi | ||
|
||
SCRIPT_DIR="$(dirname "$0")" | ||
|
||
# Get the path to lighttpd_rust_amalgamated | ||
MODULE_DIR="$1" | ||
shift 1 | ||
|
||
# Find the sysroot directory of rustc | ||
SYSROOT="$(rustc --print sysroot)" | ||
|
||
# Find the necessary rlibs | ||
extern() { | ||
local name=$1 | ||
local rlib=$(find "$MODULE_DIR/target/debug/deps" -name "lib${name}*.rlib" -print -quit) | ||
echo >&2 "found rlib for $name: $rlib" | ||
echo --extern $name=$rlib | ||
} | ||
|
||
now=$(date +%Y%m%d-%H%M%S) | ||
|
||
|
||
# Set $rustc_flags and run the analysis as appropriate for the target project. | ||
# $rustc_flags is also used below for `pointwise_try_build.sh`. | ||
project="$(basename "$MODULE_DIR")" | ||
case "$project" in | ||
lighttpd_*) | ||
rustc_flags=( | ||
--edition 2021 | ||
--crate-type rlib | ||
#--sysroot "$SYSROOT" | ||
-L "dependency=$MODULE_DIR/target/debug/deps" | ||
$(extern c2rust_bitfields) | ||
$(extern libc) | ||
-A warnings | ||
) | ||
|
||
C2RUST_ANALYZE_NO_CARGO=1 \ | ||
C2RUST_ANALYZE_REWRITE_MODE=pointwise \ | ||
C2RUST_ANALYZE_USE_MANUAL_SHIMS=1 \ | ||
cargo run --bin c2rust-analyze --release -- "$MODULE_DIR/src/main.rs" \ | ||
--crate-name "$(basename "$MODULE_DIR")" \ | ||
"${rustc_flags[@]}" \ | ||
|& tee pointwise-lighttpd-analyze-$now.log \ | ||
|| true | ||
|
||
;; | ||
|
||
cfs_*) | ||
: cargo run --bin c2rust-analyze --release -- \ | ||
--rewrite-mode pointwise --use-manual-shims -- \ | ||
build --manifest-path "$MODULE_DIR/Cargo.toml" \ | ||
|& tee pointwise-cfs-analyze-$now.log \ | ||
|| true | ||
|
||
rustc_flags=( | ||
--edition 2021 | ||
--crate-type rlib | ||
#--sysroot "$SYSROOT" | ||
-L "dependency=$MODULE_DIR/target/debug/deps" | ||
$(extern c2rust_bitfields) | ||
$(extern f128) | ||
$(extern libc) | ||
$(extern memoffset) | ||
-A warnings | ||
) | ||
|
||
;; | ||
|
||
*) | ||
echo "unsupported project $project" 1>&2 | ||
exit 1 | ||
esac | ||
|
||
|
||
# Try to compile each function separately. | ||
|
||
pointwise_log_file=pointwise-lighttpd-pointwise-$now.log | ||
for f in "$MODULE_DIR"/src/main.*.rs; do | ||
"$SCRIPT_DIR/pointwise_try_build.sh" "$f" pointwise "${rustc_flags[@]}" || true | ||
done |& tee "$pointwise_log_file" | ||
|
||
unmodified_log_file=pointwise-lighttpd-unmodified-$now.log | ||
for f in "$MODULE_DIR"/src/main.*.rs; do | ||
"$SCRIPT_DIR/pointwise_try_build.sh" "$f" unmodified "${rustc_flags[@]}" || true | ||
done |& tee "$unmodified_log_file" | ||
|
||
echo | ||
echo | ||
|
||
python3 "$SCRIPT_DIR/pointwise_metrics.py" "$pointwise_log_file" "$unmodified_log_file" |
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.