The lib/src/crc_tbl.h which comes with TI ARM compiler v5.1.7 and the ARM Assembly Language Tools v5.1 User's Guide SPNU118L both report that the only supported CRC algorithm for the ARM linker is "TMS570_CRC64_ISO".
However, I found that the TI ARM v5.1.7 linker will also accept a CRC algorithm type of CRC32_PRIME, CRC16_802_15_4, CRC16_ALT or CRC32_C. These CRC algorithms are useful since they match the available algorithms in the CRC hardware module of Tiva TM4C129 devices.
Should the ARM Assembly Language Tool User's Guide and ARM RTS lib/src/crc_tbl.h be updated to describe these CRC algorithms, or are they not officially supported?