헤네시 교수님의 컴퓨터 구조 ARM edition 공부중에 질문 드립니다.

Question

page 103의 예제문제에 대한 이해가 잘되지 않는데요. 문제는 다음과 같습니다.X20 >= X11 이거나 X20이 음수이면 IndexOutOfBounds로 분기하라. 답SUBS XZR, X20, X11 // Test if X20 >= length or X20 < 0B.HS IndexOutOfBounds //if bad, goto Error 제 생각:XZR은 constant 0이 저장된 레지스터 이며, src로 쓰일경우 0이 읽히며 dst로 쓰일경우 값이 버려진다. 라고 알고 있습니다. 여기서 X20 - X11 결과를 XZR에 저장하는 것이 왜 "if X20 >= length or X20 < 0" 를 의미하나요...? 또한 B.HS는 unsigned >=를 의미하는것으로 알고있습니다. 하지만 비교 대상이 없는데 어떻게 비교를 하나요? A >= B 형식이 되어야 할것 같은데, 바로 IndexOutOfBounds로 분기하는 명령만 있어서 이해가 되질 않습니다. 감사합니다.

엡실론 · Answer

Cpu에는 플래그라는게 있는데 연산 결과에 따라 자동으로 값이 세팅되는 레지스터라고 생각하시면 됩니다. 브랜치 명령어들은 이 플래그의 값에 따라 분기합니다.어셈블리코드에 직접 나오지는 않지만 SUBS명령어를 수행했을때 x20 >&#61; x11 일때 true가 되는 플래그가 있고, 역시 어셈블리코드에 직접 나오지는 않지만 B.HC 이 플래그를 검사해서 분기를 합니다.

진리농장 · Answer

감사드립니다 ^^

헤네시 교수님의 컴퓨터 구조 ARM edition 공부중에 질문 드립니다.

2개의 답변

#assembly 목록