diff --git a/etc/generate-list-intrin.sh b/etc/generate-list-intrin.sh new file mode 100755 index 00000000..8ff7d6cd --- /dev/null +++ b/etc/generate-list-intrin.sh @@ -0,0 +1,33 @@ +#!/bin/bash +set -e + +bold() { + printf "\033[1m%s\033[0m\n" "$*" +} + +if [[ $# -ne 0 ]]; then + bold "error expected no arguments, got $#!" + exit 1 +fi + +echo "Checking intrinsics used in code base versus declared in 'list_intrin.txt' . . ." + +grep -oh -e "_mm\w*\b" include/*.* | sort | uniq > intrin_actuals.txt + +python3 - <