28 lines
1021 B
Bash
Executable File
28 lines
1021 B
Bash
Executable File
#!/usr/bin/env sh
|
|
set -eu
|
|
|
|
nm=$(printenv RISCV_NM || true)
|
|
readelf=$(printenv RISCV_READELF || true)
|
|
test -n "$nm" || nm=riscv64-unknown-elf-nm
|
|
test -n "$readelf" || readelf=riscv64-unknown-elf-readelf
|
|
elf=build/task01_isr_semaphore/prog.elf
|
|
|
|
if "$nm" --defined-only "$elf" | awk '{print $3}' | grep -Eq '^_Z|^__cxa_|^_Unwind_'; then
|
|
echo "unexpected C++ or unwind symbol in FC07" >&2
|
|
exit 1
|
|
fi
|
|
if "$readelf" -S "$elf" | grep -Eq '\.init_array|\.eh_frame|\.gcc_except_table'; then
|
|
echo "unexpected C++ initialization or unwind section in FC07" >&2
|
|
exit 1
|
|
fi
|
|
for symbol in freertos_risc_v_application_interrupt_handler \
|
|
fc07_waiter_entry fc07_stimulus_entry fc07_verifier_entry \
|
|
fc07_checkpoint_committed isr_external_irq xQueueGiveFromISR \
|
|
xQueueSemaphoreTake vTaskSwitchContext; do
|
|
"$nm" --defined-only "$elf" | grep -Eq "[[:space:]]$symbol$" || {
|
|
echo "required symbol is missing: $symbol" >&2
|
|
exit 1
|
|
}
|
|
done
|
|
echo "PASS ABI: FC07 is freestanding C11 with real external IRQ and FromISR APIs"
|