184. 산술 연산 명령어 (Arithmetic Instructions)

핵심 인사이트 (3줄 요약)

본질: 산술 연산 명령어 (Arithmetic Instructions)는 CPU (Central Processing Unit)가 레지스터의 값을 수학적으로 바꿔 프로그램 상태를 전진시키는 가장 기본적인 상태 변화 명령이다.

가치: 덧셈과 뺄셈은 루프 카운터, 주소 계산, 길이 누적, 조건 분기까지 떠받치므로, 단순 계산 기능을 넘어 제어 흐름과 성능의 중심축이 된다.

판단 포인트: 같은 ADD라도 정수/부동소수점, signed/unsigned, overflow 처리, 곱셈·나눗셈의 지연 차이를 구분하지 못하면 결과도 틀리고 성능도 크게 손해 본다.

Ⅰ. 개요 및 필요성

산술 연산 명령어는 숫자를 옮기는 것이 아니라 숫자의 의미를 바꾸는 명령어다. 데이터 전송 명령어가 피연산자를 레지스터로 가져오는 공급망이라면, 산술 연산 명령어는 그 재료를 이용해 합계, 차이, 주소 오프셋, 반복 횟수 같은 새로운 상태를 만든다. 운영체제의 tick 카운터, 배열 인덱스 증가, 스택 포인터 조정, 루프 종료 조건 계산까지 모두 결국 산술 연산에 기대고 있다.

이 명령어가 중요한 이유는 프로그램이 "같은 상태를 반복"하지 않고 "다음 상태로 이동"하려면 값이 변해야 하기 때문이다. i = i + 1이 없으면 반복문은 전진하지 못하고, base + offset이 없으면 메모리의 다음 원소를 가리킬 수 없으며, a - b가 없으면 비교 결과를 만들기도 어렵다. 즉 산술 연산 명령어는 계산 기능이면서 동시에 주소 계산과 제어 판단의 기반이다.

아래 그림은 산술 명령어가 정수 ALU (Arithmetic Logic Unit)에서 처리된 뒤, 조건 코드까지 갱신해 분기와 저장으로 이어지는 흐름을 보여 준다.

┌───────────────────────────────────────────────────────────────────┐
│ Arithmetic instruction in program flow                            │
├───────────────────────────────────────────────────────────────────┤
│ Load operands ─▶ Integer ALU ─▶ Result writeback                 │
│                         │                                         │
│                         └─▶ Flags(Z/N/C/V) ─▶ Branch / compare    │
│                                                                   │
│ Example: sum += a[i]                                              │
│          index = index + 1                                        │
│          remain = remain - 1                                      │
└───────────────────────────────────────────────────────────────────┘

이 흐름의 핵심은 산술 명령어가 결과값 하나만 만드는 것이 아니라, 다음 명령의 행동 기준까지 만든다는 점이다. 그래서 ISA (Instruction Set Architecture)에서 산술 연산은 데이터 처리, 주소 계산, 조건 분기의 공통 분모로 취급된다.

📢 섹션 요약 비유: 산술 연산 명령어는 주방에서 재료를 섞어 새로운 반죽을 만드는 손과 같다. 재료를 냉장고에서 꺼내오는 것만으로는 빵이 되지 않고, 실제로 섞고 늘리고 나눠야 다음 단계로 넘어간다.

Ⅱ. 아키텍처 및 핵심 원리

대부분의 정수 산술은 가산기(Adder) 하나를 중심으로 확장된다. 덧셈은 두 수를 더하는 동작이고, 뺄셈은 2의 보수 (Two's Complement)를 이용해 "보수를 더하는 덧셈"으로 처리할 수 있으므로 같은 정수 ALU (Arithmetic Logic Unit) 자원을 공유한다. 곱셈은 부분곱 생성과 누적이 필요해 더 오래 걸리고, 나눗셈은 비교와 시프트를 반복하므로 일반적으로 가장 비싼 산술 명령어가 된다.

명령어 계열	대표 예	하드웨어 관점	지연 특성(대략)
기본 정수 산술	`ADD`, `SUB`, `INC`, `DEC`	가산기 중심	보통 1 cycle 수준
확장 산술	`ADC`, `SBB`	Carry 연계 덧셈/뺄셈	다중 정밀도에 유리
곱셈	`MUL`, `IMUL`	부분곱 누적기 사용	보통 3~5 cycles 이상
나눗셈	`DIV`, `IDIV`	반복 비교/감산	수십 cycles 이상 가능
주소성 산술	`ADD base, offset`	정수 ALU / 주소 생성기 연계	메모리 접근 전 단계

아래 그림은 산술 명령어가 어떤 실행 유닛을 거쳐 결과와 상태 플래그를 만드는지 압축해서 보여 준다.

┌───────────────────────────────────────────────────────────────────┐
│ Integer arithmetic datapath                                       │
├───────────────────────────────────────────────────────────────────┤
│ Register A ─┐                                                     │
│             ├─▶ Adder/Subtractor ───────▶ Result Register         │
│ Register B ─┘                    │                                │
│ Immediate ───────────────────────┘                                │
│                                  ├─▶ C : Carry / borrow info      │
│                                  ├─▶ V : Signed overflow          │
│                                  ├─▶ Z : Zero result             │
│                                  └─▶ N : Negative(sign) result    │
│                                                                   │
│ Multiplier / Divider are usually separate, slower execution units │
└───────────────────────────────────────────────────────────────────┘

여기서 특히 중요한 것은 Carry Flag와 Overflow Flag가 다르다는 점이다. Carry Flag는 unsigned 연산에서 자리올림·자리내림을 뜻하고, Overflow Flag는 signed 연산에서 표현 범위를 벗어났음을 뜻한다. 예를 들어 8비트 signed 정수에서 127 + 1은 결과 비트 패턴상 10000000이 되므로 Carry보다 Overflow 해석이 핵심이 된다.

또한 산술 명령어는 피연산자 폭에도 민감하다. 8비트, 32비트, 64비트 연산은 같은 ADD 계열이라도 결과 범위가 다르고, 일부 ISA는 즉시값(Immediate) 산술을 지원해 메모리 접근 없이 작은 상수를 곧바로 더한다. 따라서 산술 명령어의 본질은 "수학 공식"이 아니라 유한 비트폭 위에서 정의된 상태 전이 규칙이다.

📢 섹션 요약 비유: 산술 연산 유닛은 계산기 한 대가 아니라 작업대가 나뉜 공장과 같다. 덧셈 컨베이어는 빠르게 지나가지만, 곱셈과 나눗셈 코너는 더 복잡한 공정을 거쳐야 해서 줄이 길어진다.

Ⅲ. 비교 및 연결

산술 연산 명령어를 이해할 때 가장 중요한 경계는 정수 산술과 부동소수점 산술, 그리고 RISC (Reduced Instruction Set Computer)와 CISC (Complex Instruction Set Computer)의 피연산자 처리 방식이다. 정수 산술은 비트폭 안에서 정확한 결과를 추구하지만, 부동소수점 산술은 FPU (Floating Point Unit)에서 지수·가수를 다루며 반올림과 예외 처리가 동반된다. 겉보기에는 둘 다 "더하기"지만 비용과 의미가 다르다.

비교 항목	정수 산술 명령어	부동소수점 산술 명령어
표현 대상	정수, 주소, 카운터	실수 근사값
핵심 하드웨어	정수 ALU	FPU
정확성	비트폭 내에서는 정확	반올림 오차 가능
대표 이슈	overflow, carry, sign	rounding, NaN, underflow
주 사용처	인덱스, 길이, 포인터, 정수 계산	과학 계산, 그래픽, 신호 처리

또한 많은 RISC ISA는 산술 명령어가 메모리를 직접 읽지 않고 레지스터끼리만 계산하도록 제한한다. 그 대신 LOAD/STORE로 데이터를 먼저 옮긴 뒤 산술을 수행해 파이프라인을 단순하게 만든다. 반면 일부 CISC ISA는 메모리를 직접 피연산자로 허용해 코드 밀도는 높이지만, 디코드와 실행 제어는 더 복잡해진다.

이 연결점은 컴파일러 최적화에서도 그대로 드러난다. 산술이 빠르려면 단지 좋은 ALU만으로는 부족하고, 필요한 값이 이미 레지스터에 있어야 하며, 이후 분기나 저장이 플래그와 데이터 종속성을 과도하게 만들지 않아야 한다. 즉 산술 명령어는 데이터 전송, 주소 지정, 분기 명령어와 끊어져 있지 않다.

📢 섹션 요약 비유: 정수 산술이 자를 정확히 맞춰 목재를 자르는 일이라면, 부동소수점 산술은 소수점까지 포함한 물감 배합과 같다. 둘 다 더하기를 하지만, 허용 오차와 도구가 다르다.

Ⅳ. 실무 적용 및 기술사 판단

실무에서 산술 명령어를 볼 때는 "무슨 연산인가"보다 정확성 요구와 지연 비용이 무엇인가를 먼저 따져야 한다. 현대 CPU에서 정수 ADD는 매우 빠르지만, DIV는 여전히 비싼 편이며, 곱셈도 덧셈보다 길다. 그래서 핫 루프에서는 나눗셈을 상수 곱셈·시프트로 대체할 수 있는지, 또는 SIMD (Single Instruction, Multiple Data)로 여러 값을 한 번에 계산할 수 있는지를 먼저 검토한다.

실무 판단 기준

overflow를 허용할 수 있는가? 금융·카운터·보안 코드에서는 더 넓은 타입이나 checked arithmetic가 필요하다.
signed와 unsigned 해석이 일치하는가? Carry와 Overflow를 혼동하면 검증 코드가 틀어진다.
나눗셈이 병목인가? 2의 거듭제곱 나눗셈은 시프트 대체가 가능하지만, signed 반올림 규칙까지 확인해야 한다.
벡터화가 가능한가? 미디어·과학 계산에서는 SIMD나 FMA (Fused Multiply-Add) 계열이 훨씬 유리할 수 있다.

자주 나오는 안티패턴

carry가 났으니 signed overflow라고 단정하는 판단
핫 루프 안에서 비싼 DIV를 무심코 반복하는 구현
주소 계산과 일반 수치 계산을 같은 관점으로만 보고, 포인터 산술의 정수 ALU 경쟁을 놓치는 설계
32비트 누적값으로 충분하다고 생각했다가 장시간 실행 후 overflow를 맞는 카운터 설계

기술사 답안에서는 산술 명령어를 단순히 ADD/SUB/MUL/DIV 나열로 끝내면 약하다. 플래그 의미, signed/unsigned 차이, 곱셈·나눗셈의 지연 비용, load/store 구조와의 연결까지 짚어야 실제 CPU 설계와 성능 판단이 살아난다.

📢 섹션 요약 비유: 산술 명령어 선택은 공사 현장에서 어떤 공구를 쓸지 고르는 일과 같다. 망치 하나로 대부분 해결되지만, 정밀 절단이 필요한데 전기톱 대신 망치만 휘두르면 시간도 오래 걸리고 결과도 망가진다.

Ⅴ. 기대효과 및 결론

산술 연산 명령어를 정확히 이해하면 프로그램을 "수식의 집합"이 아니라 유한 비트폭 위에서 상태가 갱신되는 과정으로 보게 된다. 이 관점은 CPU 설계자에게는 ALU와 파이프라인 구성으로, 컴파일러에게는 레지스터 할당과 명령 스케줄링으로, 개발자에게는 overflow-safe 코드와 성능 최적화로 이어진다. 결국 산술 명령어는 계산 기능이면서 동시에 시스템의 시간과 정확성을 동시에 좌우하는 명령어다.

물론 산술 명령어만 빠르다고 전체 성능이 좋아지지는 않는다. 데이터가 제때 공급되지 않으면 ALU는 놀게 되고, 비트폭이 부족하면 overflow가 나며, 부동소수점에서는 반올림 오차가 남는다. 그래서 현대 시스템은 캐시, 벡터 유닛, 예외 처리, 정밀도 확장 같은 보조 메커니즘을 함께 사용한다.

정리하면 산술 연산 명령어는 "숫자를 바꾸는 문법"이 아니라 "프로그램 상태를 다음 단계로 밀어 주는 핵심 상태 전이 명령" 으로 기억하는 것이 맞다. 특히 시험과 실무에서는 ADD의 이름보다 그 연산이 만드는 플래그, 지연, 정밀도 한계를 함께 떠올려야 한다.

📢 섹션 요약 비유: 산술 명령어는 보드게임에서 말을 한 칸씩 앞으로 밀어 주는 주사위와 같다. 움직임이 있어야 게임이 진행되지만, 잘못 던지면 규칙 위반도 함께 생긴다.

📌 관련 개념 맵

개념	연결 포인트
ALU (Arithmetic Logic Unit)	정수 산술 명령어를 실제로 수행하는 핵심 실행 유닛이다
2의 보수 (Two's Complement)	뺄셈과 signed 정수 표현을 덧셈 회로 중심으로 통합하게 해 준다
Condition Code / Flags	산술 결과를 바탕으로 분기와 비교 판단을 가능하게 한다
Load/Store Architecture	산술 전에 데이터를 레지스터로 가져오게 해 파이프라인을 단순화한다
FPU (Floating Point Unit)	실수 산술을 정수 산술과 다른 규칙으로 처리한다
SIMD (Single Instruction, Multiple Data)	같은 산술을 여러 데이터에 병렬 적용해 처리량을 높인다
Overflow / Carry	정수 산술의 정확성과 타입 해석을 가르는 핵심 판단 요소다

📈 관련 키워드 및 발전 흐름도

Binary number representation
        │
        ▼
Adder / Two's Complement
        │
        ▼
ADD · SUB · INC · DEC
        │
        ├──────────────▶ MUL · DIV specialization
        ├──────────────▶ Flags and conditional branch
        ├──────────────▶ Load/Store + address arithmetic
        └──────────────▶ SIMD · FPU · checked arithmetic

이 흐름도는 산술 명령어가 단순 덧셈 회로에서 출발해, 곱셈·나눗셈 전용 유닛과 조건 분기, 벡터화, 정밀도 관리까지 확장되는 과정을 보여 준다.

👶 어린이를 위한 3줄 비유 설명

산술 연산 명령어는 컴퓨터가 숫자를 더하고 빼면서 다음 일을 정하게 해 주는 계산 버튼이에요.
이 버튼을 눌러야 "한 칸 더 가기", "사탕이 몇 개 남았는지 보기" 같은 일이 가능해져요.
하지만 너무 큰 숫자를 작은 상자에 넣으면 넘칠 수 있어서, 컴퓨터는 계산 결과가 괜찮은지도 함께 살펴본답니다.