set -ex 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*) for t in $(ls tests); do t=${t%.rs} # TODO(#154) enable these tests when aeabi_*mul are implemented case $t in powi*f2) continue ;; esac # FIXME(#150) debug assertion in divmoddi4 case $1 in thumbv6m-*) case $t in divdi3 | divmoddi4 | moddi3 | modsi3 | udivmoddi4 | udivmodsi4 | umoddi3 | \ umodsi3) continue ;; esac ;; esac xargo test --test $t --target $1 --features 'mem gen-tests' --no-run qemu-arm-static target/${1}/debug/$t-* xargo test --test $t --target $1 --features 'mem gen-tests' --no-run --release qemu-arm-static target/${1}/release/$t-* done ;; *) run="cargo test --no-default-features --target $1" $run --features 'gen-tests mangled-names' $run --features 'gen-tests mangled-names' --release $run --features 'gen-tests mangled-names c' $run --features 'gen-tests mangled-names 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 case "$TRAVIS_OS_NAME" in osx) # NOTE OSx's nm doesn't accept the `--defined-only` or provide an equivalent. # Use GNU nm instead NM=gnm brew install binutils ;; *) NM=nm ;; esac 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 'T __' if test $? = 0; then exit 1 fi set -ex done rm -f $path # Verification of the `intrinsics` program doesn't work on thumb targets right # now. case $1 in thumb*) exit 0 ;; *) ;; esac # Verify that we haven't drop any intrinsic/symbol RUSTFLAGS="-C debug-assertions=no" \ $cargo build --features "$INTRINSICS_FEATURES" --target $1 --example intrinsics # 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 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