어셈블리어 간단한 질문 남깁니다ㅠㅠ

Question

여기에서 t1 in a5 라는 정의도 없었는데 왜 t1 &#61; x &#43; y 를 add a5, a0, a1로 바꿀수 있는지 궁금합니다(x in a0, y in a1 이기에 a0과 a1을 쓴다는 건 이해했습니다.) 도대체 a5는 어디서 나온 레지스터인지 궁금합니다. 만약 임의로 아무거나 쓰는 레지스터면은 그 다음에 t2 &#61; z &#43; t1 일때 z in a2임에도 불구하고 왜 또 중복되게 t2를 a2로 바꾸는지 이해가 안됩니다... 즉 질문하고싶은건 t1, t2, t3, t4, t5가 각각 a5, a2, a0, a5, a0으로 바뀌는지 도저히 이해가 안됩니다. 어떤 원리로 저 레지스터들을 쓴건지 알려주실 수 있나요?

kenu,전독시 · Answer

이 코드는 일반적인 C 스타일의 함수 정의 부분과 그에 해당하는 어셈블리 코드 부분이 함께 제시되고 있습니다. 1. 함수 정의 부분:- int arith(int x, int y, int z) 함수가 정의되어 있습니다.- 내부에서 t1, t2, t3, t4, t5, rval이라는 지역 변수들이 사용됩니다.2. 어셈블리 코드 부분:- 어셈블리 코드에는 레지스터 a0, a1, a2, a5 등이 사용되고 있습니다.- 레지스터 a5, a0, a1은 각각 함수 인자 x, y, z에 매핑되어 있습니다.- 따라서 t1 &#61; x &#43; y 는 add a5, a0, a1 명령어로 구현되고 있습니다.- t2 &#61; z &#43; t1도 마찬가지로 add a2, a5, a1 명령어로 구현되고 있습니다.- a5, a2, a0, a5, a0 등의 레지스터 사용은 컴파일러가 최적화한 결과로 보입니다.- 컴파일러는 변수 t1, t2, t3, t4, t5를 각각 a5, a2, a0, a5, a0 레지스터에 할당하여 효율적으로 처리하고 있습니다.결론적으로, 이 코드는 C 함수를 어셈블리 코드로 변환한 것이며, 컴파일러가 변수와 레지스터를 최적으로 매핑하여 구현한 것으로 보입니다. 변수와 레지스터 간 매핑은 컴파일러의 내부 최적화 알고리즘에 의해 결정되므로, 개발자가 사용한 변수 이름과 컴파일러가 사용한 레지스터 이름이 다를 수 있습니다.from: https://claude.ai

kenu,전독시 · Answer

from: https://claude.ai

bot99 · Answer

만약 임의로 아무거나 쓰는 레지스터면은 그 다음에 t2 &#61; z &#43; t1 일때 z in a2임에도 불구하고 왜 또 중복되게 t2를 a2로 바꾸는지 이해가 안됩니다...임의로 아무거나 씁니다. '임의로 아무거나' 뭘 쓸지 잘 관리해 주는 것이 컴파일러의 역할입니다. 물론 일종의 관례(?)같은건 있습니다.레지스터 a2를 처음에 매개변수 z를 받기 위해 쓰다가 나중에 t2를 계산할 때 쓰는 건, 맨 처음 t1 계산할 때 이후로 z가 함수 내에서 다시 등장하지 않기 때문입니다. 따라서 a2를 재활용하는 것이 최적화 측면에서 유용하지요.사실 arith 함수는 중간과정 다 무시하고 -47*y &#43; z &#43; 4를 계산해서 반환해도 무방합니다.

어셈블리어 간단한 질문 남깁니다ㅠㅠ

3개의 답변

기술 목록