128 lines
3.2 KiB
Bash
Executable File
128 lines
3.2 KiB
Bash
Executable File
set -ex
|
|
|
|
# FIXME(japarix/xargo#186) this shouldn't be necessary
|
|
export RUST_TARGET_PATH=`pwd`
|
|
|
|
case $1 in
|
|
thumb*)
|
|
cargo=xargo
|
|
;;
|
|
*)
|
|
cargo=cargo
|
|
;;
|
|
esac
|
|
|
|
INTRINSICS_FEATURES="c"
|
|
|
|
# Some architectures like ARM apparently seem to require the `mem` feature
|
|
# enabled to successfully compile the `intrinsics` example, and... we're not
|
|
# sure why!
|
|
if [ -z "$INTRINSICS_FAILS_WITH_MEM_FEATURE" ]; then
|
|
INTRINSICS_FEATURES="$INTRINSICS_FEATURES mem"
|
|
fi
|
|
|
|
# Test our implementation
|
|
case $1 in
|
|
thumb*)
|
|
run="xargo test --manifest-path testcrate/Cargo.toml --target $1"
|
|
for t in $(ls testcrate/tests); do
|
|
t=${t%.rs}
|
|
|
|
RUSTFLAGS="-C debug-assertions=no -C lto" \
|
|
CARGO_INCREMENTAL=0 \
|
|
$run --test $t --no-default-features --features 'mem c' --no-run
|
|
qemu-arm-static target/${1}/debug/$t-*
|
|
done
|
|
|
|
for t in $(ls testcrate/tests); do
|
|
t=${t%.rs}
|
|
RUSTFLAGS="-C lto" \
|
|
CARGO_INCREMENTAL=0 \
|
|
$run --test $t --no-default-features --features 'mem c' --no-run --release
|
|
qemu-arm-static target/${1}/release/$t-*
|
|
done
|
|
;;
|
|
*)
|
|
run="cargo test --manifest-path testcrate/Cargo.toml --target $1"
|
|
$run
|
|
$run --release
|
|
$run --features c
|
|
$run --features c --release
|
|
;;
|
|
esac
|
|
|
|
PREFIX=$(echo $1 | sed -e 's/unknown-//')-
|
|
case $1 in
|
|
armv7-*)
|
|
PREFIX=arm-linux-gnueabihf-
|
|
;;
|
|
thumb*)
|
|
PREFIX=arm-none-eabi-
|
|
;;
|
|
*86*-*)
|
|
PREFIX=
|
|
;;
|
|
esac
|
|
|
|
NM=nm
|
|
|
|
if [ -d /target ]; then
|
|
path=/target/${1}/debug/deps/libcompiler_builtins-*.rlib
|
|
else
|
|
path=target/${1}/debug/deps/libcompiler_builtins-*.rlib
|
|
fi
|
|
|
|
# Look out for duplicated symbols when we include the compiler-rt (C) implementation
|
|
for rlib in $(echo $path); do
|
|
set +x
|
|
stdout=$($PREFIX$NM -g --defined-only $rlib 2>&1)
|
|
|
|
# NOTE On i586, It's normal that the get_pc_thunk symbol appears several
|
|
# times so ignore it
|
|
#
|
|
# FIXME(#167) - we shouldn't ignore `__builtin_cl` style symbols here.
|
|
set +e
|
|
echo "$stdout" | \
|
|
sort | \
|
|
uniq -d | \
|
|
grep -v __x86.get_pc_thunk | \
|
|
grep -v __builtin_cl | \
|
|
grep -v __builtin_ctz | \
|
|
grep 'T __'
|
|
|
|
if test $? = 0; then
|
|
exit 1
|
|
fi
|
|
set -ex
|
|
done
|
|
|
|
rm -f $path
|
|
|
|
# Verify that we haven't drop any intrinsic/symbol
|
|
RUSTFLAGS="-C debug-assertions=no" \
|
|
$cargo build --features "$INTRINSICS_FEATURES" --target $1 --example intrinsics -v
|
|
|
|
# Verify that there are no undefined symbols to `panic` within our
|
|
# implementations
|
|
#
|
|
# TODO(#79) fix the undefined references problem for debug-assertions+lto
|
|
if [ -z "$DEBUG_LTO_BUILD_DOESNT_WORK" ]; then
|
|
RUSTFLAGS="-C debug-assertions=no" \
|
|
CARGO_INCREMENTAL=0 \
|
|
$cargo rustc --features "$INTRINSICS_FEATURES" --target $1 --example intrinsics -- -C lto
|
|
fi
|
|
$cargo rustc --features "$INTRINSICS_FEATURES" --target $1 --example intrinsics --release -- -C lto
|
|
|
|
# Ensure no references to a panicking function
|
|
for rlib in $(echo $path); do
|
|
set +ex
|
|
$PREFIX$NM -u $rlib 2>&1 | grep panicking
|
|
|
|
if test $? = 0; then
|
|
exit 1
|
|
fi
|
|
set -ex
|
|
done
|
|
|
|
true
|