#!/bin/sh

objdir="$1"

num_errors=0

check_syms() {

    global_count=0

    entry_count=0

    while read value type name; do

	if [ $value = "U" ]; then

	    name=$type

	    # undefined symbols must start with double-underscore

	    if [ $(expr $name : '\(..\)') != "__" ]; then

		echo -e "$(basename $file):\tError: undefined reference $name doesn't start with \"__\"."

		num_errors=$(($num_errors + 1))

	    fi

	    continue

	fi

	case "$type" in

	    W)

		entry_count=$(($entry_count + 1))

		;;

	    *)

		entry_count=$(($entry_count + 1))

		if [ "$(expr $name : '\(..\)')" != "__" ]; then

		    global_count=$(($global_count + 1))

		fi

		;;

	esac

    done

    if [ $entry_count -gt 1 -a $global_count -gt 0 ]; then

	echo -e "$(basename $file):\tError: detected $global_count strong " \

	    "global and $entry_count entry-points."

	num_errors=$(($num_errors + 1))

    fi

}

check_file() {

    file=$1

    size=$(readelf -S $file | \

	(sz=0; while read line; do

		if echo $line | fgrep -q " .rodata"; then

		    read sz rest

		    break

		fi

	    done;

	    printf "%d" 0x$sz))

    summands=$(readelf -s $file | fgrep " OBJECT " | tr -s ' ' |

	cut -f4 -d' ' | sed 's,$,+,')0

    sum=$(($summands))

    if [ $sum != $size ]; then

	echo -e "$(basename $file):\tError: sum of objects=$sum bytes, .rodata size=$size bytes"

	num_errors=$(($num_errors + 1))

    fi

    tmp=$(tempfile -p syms)

    nm -g $file > $tmp

    check_syms < $tmp

}

do_checks() {

    echo "Note: 1 error expected in w_tgammal.o due to 64-byte alignment-padding."

    while read func_pattern src_file dst_file; do

	if [ "$(expr $dst_file : '.*\(S\)$')" = "S" ]; then

	    objfile=$(expr $dst_file : '\(.*\)[.]S$')

	    check_file $objdir/$objfile.o

	fi

    done

}

do_checks < import_file_list

if [ $num_errors -gt 0 ]; then

    echo "FAILURE: Detected $num_errors error(s)."

    exit 1

fi

echo SUCCESS

exit 0