TM4C123GH6PM SIMD指令问题

datasheet中说有16 位 SIMD 矢量处理单元，没有更多介绍，请问下怎么用。

我之前用STM32时有core_cm4_simd.h，定义了simd指令，可以用C直接调用。

例如：

__attribute__( ( always_inline ) ) static __INLINE uint32_t __USADA8(uint32_t op1, uint32_t op2, uint32_t op3)
{
uint32_t result;

__ASM volatile ("usada8 %0, %1, %2, %3" : "=r" (result) : "r" (op1), "r" (op2), "r" (op3) );
return(result);
}

TM4C123G有相似的定义文件吗？没有找到。