diff options
| -rwxr-xr-x | scripts/check-software-div.sh | 22 | ||||
| -rwxr-xr-x | scripts/ci-build.sh | 1 |
2 files changed, 23 insertions, 0 deletions
diff --git a/scripts/check-software-div.sh b/scripts/check-software-div.sh new file mode 100755 index 00000000..210e6e3c --- /dev/null +++ b/scripts/check-software-div.sh @@ -0,0 +1,22 @@ +#!/bin/bash +# Check if a binary appears to have a software library divide operator + +CFGFILE="$1" +ELFOBJ="$2" +OBJDUMP=objdump + +objdump -t ${ELFOBJ} | grep -Eq '\<(__[a-z0-9]*div|__[a-z0-9]*mod)' +if [ $? -eq 0 ]; then + + if grep -Eq '^CONFIG_HAVE_SOFTWARE_DIVIDE_REQUIRED=y$' ${CFGFILE}; then + echo "" + echo "Software divide detected and that is normal for this chip" + echo "" + exit 0 + fi + + echo "" + echo "ERROR: A software run-time divide operation was found" + echo "" + exit 99 +fi diff --git a/scripts/ci-build.sh b/scripts/ci-build.sh index ec37cbe0..b09b3ef7 100755 --- a/scripts/ci-build.sh +++ b/scripts/ci-build.sh @@ -56,6 +56,7 @@ for TARGET in test/configs/*.config ; do make olddefconfig make V=1 size out/*.elf + ./scripts/check-software-div.sh .config out/*.elf finish_test mcu_compile "$TARGET" cp out/klipper.dict ${DICTDIR}/$(basename ${TARGET} .config).dict done |