Cortex-M 프로세서에서 부동 소수점 연산을 다루는 방법

AI 요약

본 기사는 Arm Cortex-M 프로세서 환경에서 부동 소수점(Floating-Point) 연산을 구현할 때 발생하는 기술적 선택지와 그에 따른 영향을 심도 있게 분석합니다. 필자는 nRF52840(Cortex-M4)과 ESP32-S3 MCU를 활용한 PSA Crypto API 실습 중 발견된 ABI(Application Binary Interface) 불일치 문제를 서두로, 개발자가 직면할 수 있는 링커 에러의 원인을 규명합니다. Armv7-M 아키텍처 기반의 부동 소수점 확장 기능은 CP10 및 CP11 코프로세서를 통해 구현되며, 이는 범용 레지스터 외에 추가적인 32개의 부동 소수점 레지스터(s0-s31)를 제공합니다. 기사는 컴파일러 플래그인 -mfloat-abi의 세 가지 옵션(soft, softfp, hard)이 하드웨어 FPU 활용 여부와 서브루틴 간 인자 전달 방식(r0-r3 GPR 사용 vs s0-s15 FP 레지스터 사용)을 어떻게 결정하는지 설명하며, 임베디드 개발자가 하드웨어 성능을 최적화하기 위해 이해해야 할 핵심 구조를 제시합니다.

핵심 인사이트

• 세 가지 ABI 옵션: Arm은 -mfloat-abi 컴파일러 플래그를 통해 soft(FPU 미사용), softfp(하드웨어 FPU 사용하나 인자 전달은 정수 레지스터 사용), hard(하드웨어 FPU 및 전용 호출 규칙 사용) 옵션을 제공합니다.
• 전용 레지스터 뱅크: Armv7-M 아키텍처(Cortex-M4 등)에서 FPU 확장이 포함될 경우, 32개의 부동 소수점 레지스터(s0-s31)가 추가로 제공되어 연산에 활용됩니다.
• 인자 전달 메커니즘: hard ABI 사용 시 s0-s15 레지스터가 서브루틴 인자 전달에 직접 사용되어 정수 레지스터(r0-r3)의 부담을 줄이고 성능을 향상시킵니다.
• VFP 명명 규칙: Armv7-A/R에서는 VFP(Vector Floating Point)라고 불리던 용어가 Armv7-M에서는 'FP 명령어'로 통칭되지만, 어셈블리어의 일관성을 위해 'V'로 시작하는 니모닉(Mnemonic)은 그대로 유지됩니다.

주요 디테일

• 링커 에러의 원인: nrf_cc310_mbedcrypto 라이브러리와 같이 특정 ABI(hard-float vs soft-float)로 빌드된 바이너리를 섞어 쓸 경우 VFP register arguments 불일치 에러가 발생합니다.
• soft-float 방식: 모든 부동 소수점 연산을 런타임 라이브러리 함수가 처리하며, 값은 항상 정수 레지스터 뱅크를 통해 전달됩니다.
• softfp의 중간적 성격: 루틴 내부에서는 FPU 하드웨어 명령어를 직접 사용하여 연산 속도를 높이지만, 외부 함수 호출 시에는 여전히 정수 레지스터를 사용하는 soft-float 호출 규칙을 따릅니다.
• 하드웨어 구성: Cortex-M4 프로세서와 Arm TrustZone CryptoCell 310 보안 서브시스템 간의 통신에서 부동 소수점 처리 방식이 라이브러리 선택의 핵심 기준이 됩니다.
• 레지스터 오버플로우 처리: 인자의 수나 크기가 가용한 GPR(r0-r3)을 초과할 경우, 데이터는 스택(Stack)으로 'Spilled'되어 처리되는 아키텍처적 특성을 가집니다.

향후 전망

• 라이브러리 표준화 필요성: 복잡해지는 임베디드 보안 솔루션에서 서드파티 라이브러리(nrf_cc310 등) 도입 시 ABI 호환성 검증이 개발 초기 단계의 필수 프로세스로 자리 잡을 것입니다.
• 성능 최적화 가속: IoT 기기의 연산 복잡도가 증가함에 따라, hard ABI를 통한 FPU 하드웨어 활용 극대화는 전력 효율과 응답 속도 최적화의 핵심 전략이 될 것으로 보입니다.