符合标准的编译器是否可以破坏uint32_t – > int16_t – >

代码看起来大致如下：

#include <stdint.h>
uint32_t sign_extend16(uint32_t val)
{
   return (int32_t)(int16_t)val;
}

它是模拟器的一部分,因此有问题的操作不应该太奇怪.
通常,我希望这只考虑较低的16位并将其扩展为32位.
显然,这是它多年来的行为.在x86_64上,GCC给出了这个结果：

0000000000000000 <sign_extend16>:
   0:   0f bf c7                movswl %di,%eax
   3:   c3                      retq

但是,根据我对标准的理解,如果不能用带符号类型表示无符号的值,则无法定义将无符号转换为有符号.

那么编译器是否可以假设无符号值必须在[0,32767]的范围内,因为任何其他值都是未定义的？在这种情况下,转换为int16_t而另一个转换为int32_t将不执行任何操作.在这种情况下,编译器将代码转换为简单的移动是否合法？