문자열에 m4 중첩 된 정의를 설명하십시오.

Question

현재 "SPARC Architecture, 어셈블리 언어 프로그래밍 및 C. Second Edition"이라는 책을 읽었습니다.

define(loc, 0) 
define(sto, 'loc: 44 $1 define('loc', eval(loc+2))') 

건이며, 내가 첫 번째 라인을 이해한다 : 내가 이해하지 또는 특정 명령을 이해 할 수없는 오전 않는 책의 장소에 도착. 그러나 나는 정말로 두 번째 줄의 두 번째 주장을 이해하지 못한다. 이 책의 설명은 도움이되지 않습니다. 책을

: 우리는 먼저 심볼 LOC 정의한

여기

값 0 위치 카운터를 나타내는 것이 기호는, 명령의 메모리 어드레스가 조립되어있는 것이다. 각 매크로 정의가 먼저 변경되어 loc의 현재 값을 인쇄 한 다음 loc을 loc와 명령을 저장하는 데 필요한 메모리 위치를 더한 값으로 다시 정의합니다.

매크로 인수는 숫자 값이 아닌 문자 및 문자열입니다. loc의 값을 다시 정의 할 때 우리는 또 다른 내장 매크로 eval을 사용합니다. eval은 문자열 인수를 사용하여 산술 표현식을 나타냅니다. eval은이 표현식을 평가하고 그 값을 숫자 문자열 형태로 반환합니다.

나는 위의 설명이 당신에게 완벽하게 들릴지 모르지만 내게는 아님을 알고 있습니다. 일부 내가 정확히 이해하지 못하는 것입니다 :

왜이 문자열입니다 : ': (LOC'평가 (LOC + 2)) '

이해가 안를 LOC (44) $ 1 정의'?

왜 loc가 있어야합니까?

왜, 44 $ 1 정의한 후, 또 다른 정의, "정의 ('LOC'평가 (LOC + 2)) '?

Answer 1

작업이 M4 매크로를 사용하여 어셈블러를 만드는 것입니다처럼 소리가있다. 기계 코드 바이트 다음에, 각 라인은 주소 접두사입니다

0000: 44 xx 
0002: yy zz 
... 

, 시작시

loc: 당신의 현재 주소를 인쇄합니다. 예상 출력은 무언가 같이 될 것입니다 44은 아마도 sto 명령이고, $1이 인수입니다. 마지막 부분은 다음 사용 가능한 위치를 가리 키도록 loc을 다시 정의합니다. 이 명령어는 2 바이트를 차지하므로 loc은 2 씩 증가합니다.

m4는 백틱을 사용하여 문자열을 시작합니다. 책에서 잘못 복사했을 수도 있습니다.

이 샘플 입력을 감안할 때 :

define(loc, 0) 
define(sto, `loc: 44 $1 define(`loc', eval(loc+2))') 
sto(01) 
sto(AA) 

출력은 다음과 같습니다

0: 44 01 
2: 44 AA