arm-elf-gcc에 대해 궁금한점이 있습니다.

안녕하세요.
최근 크로스 컴파일에 대해 공부하고 있는 학생입니다.

arm-elf-gcc에 대해 공부하던중 이해가 안되는 현상이 발생하여 도움을 받고자 글을 남깁니다.

예를 들어 소스 코드에 int a = 10000; 존재 할때
gcc -S를 사용 하여 어셈블리어를 확인하면 10000이라는 상수를 그대로 사용하는 것을 알 수 있는 반면
arm-elf-gcc -S를 사용하여 어셈블리어를 확인하면 9984 + 16 이런식으로 10000이라는 수를 사용하는 것을 확인했습니다.

arm-elf-gcc에 어떠한 특징이 존재하기에 이러한 현상이 발생하게 되나요?ㅠ
고수님들 제게 조언을 부탁드려요 ㅠ