원문시작

Value and location conversions

Value and location conversions are highly dependent on the target machine. They are also very loosely specified in the 1988 standard. (The 1992 standard seems an improvement.)

The GNU Chill compiler interprets mode(exp) as follows:

If exp is a referable location, and the size of (the mode of) exp is the same as the size of mode, a location conversion is used. It is implemented exactly as: (refmode(-> exp))->, where refmode is a synmode for REF mode. The programmer is responsible for making sure that alignment restrictions on machine addresses are not violated. If both mode and the mode of exp are discrete modes, alignment should not be a problem, and we get the same conversion as a standard value conversion.
If exp is a constant, and the size of (the mode of) exp is the same as the size of mode, then a value conversion is performed. This conversion is done at compile time, and it has not been implemented for all types. Specifically, converting to or from a floating-point type is not implemented.
If both mode and the mode of exp are discrete modes, then a value conversion is performed, as described in Z.200.
If both mode and the mode of exp are reference modes, then a value conversion is allowed. The same is true is one mode is a reference mode, and the other is an integral mode of the same size.

원문끝

값과 위치 변환

값과 위치 변환은 목표 기계(target machine)에 크게 의존한다. 그것들은 또한 1988년 표준에 아주 막연하게 정해져 있다.(1992 표준은 개선된 것 같다.)

GNU Chill 컴파일러는 다음과 같이 mode(exp)를 해석한다:

만약 exp가 참조가능한 위치고 exp의 크기(모드)가 mode의 크기와 같다면, 위치 변환이 사용된다. 그것은 (refmode(-> exp))-> 과 같이 정확히 실행된다. 여기서 refmode는 REF mode에 대한 합성모드(synmode)이다. 프로그래머는 기계 번지상의 정렬 제한이 어겨지지 않는다는 것을 확인할 책임이 있다. 만약 mode와 exp의 모드가 둘다 이산 모드(discrete mode)라면 문제될 것이 없다. 그리고 표준 수치 변환과 동일한 변환을 얻는다.
만약 exp가 상수이고 exp 의 크기(모드)가 mode의 크기와 같다면, 수치 변환이 수행된다. 이 변환은 컴파일 시간에 행해진다. 모든 타입에 대해 실행되지는 않는다. 특히 부동 소수점(floating-point) 타입을 변환하거나 부동소수점 타입으로 변화하는 것은 실행되지 않는다.
만약 mode 와 exp의 모드가 둘다 이산 모드라면, Z.200에 기술된 것과 같이 수치 변환이 수행된다.
만약 mode 와 exp의 모드가 둘다 참조 모드(reference mode)라면 수치 변환이 허용된다. 그와 같은 것이 옳다라는 것은 한 모드가 참조 모드이고, 다른 하나가 같은 크기의 integral 모드라는 것이다.

처음, 이전, 다음, 마지막 절로 가기, 목차.