DSPs typically provide indirect addressing mode with auto-increment and auto-decrement, which provide efficient address arithmetic calculations to access automatic variables. The code size of the generated code can be effectively improved by auto-increment or decrement addressing mode in DSPs, thereby reducing the entire amount of address arithmetic instructions. The utilization of such an addressing mode is sensitively dependent on the placement of variables in storage. So finding proper optimal placement of variables in memory called storage offset assignment is a very important problem in the field studied by many researchers. The result of the storage assignment depends on the access sequence and its access graph model. Storage offset assignment by previous researcher presents a good formalism of the problem of optimal storage assignment for a basic block, but lacks the exact model for a procedure. Its model also ignores the access patterns between the basic blocks and only uses the static weight for code size reduction. This paper proposes a better access graph model by considering the control-flow dependent access sequence more carefully in boundary between the basic blocks. It also proposes a more accurate weight model with the dynamic behavior of access patterns. Experimental results for DSPStone, ADPCM and G721 show 6.43% improvement on the average over the native storage assignment and even 12% for ADPCM.
디지털 신호 처리기는 전형적으로 자동증가 및 자동감소를 수행할 수 있는 주소지정 방식을 지원한다. 이러한 주소지정 방식은 컴파일러 관점에서 자동 변수에 접근하기 위한 주소계산을 매우 효율적으로 수행하도록 한다. 컴파일러에 의해 디지털 신호처리기를 위해 생성된 코드 사이즈는 이러한 주소지정 방식의 사용에 의해 크게 향상될 수 있다. 이러한 자동증가 및 자동감소 주소지정 방식의 활용성은 자동변수의 할당된 순서에 크게 의존한다. 이전 연구에서 이러한 자동변수의 메모리상에 할당되는 최적의 위치를 찾는 것은 스토리지 위치 할당(storage offset assignment) 문제라는 이름으로 알려져 연구되어 왔다. 스토리지 위치 할당의 결과는 엑세스 시퀀스 및 엑세스 그래프에 의존한다. 이전 연구에서 스토리지 위치 할당을 위한 좋은 정형화된 기법이 제시되었다. 그러나 이러한 연구들은 프로그램 흐름에서 가장 기본이 되는 베이직 블록에 대해서만 모델링하고 있다. 즉 베이직 블록 사이에 발생되는 엑세스 패턴의 효과를 무시하고 있다. 본 연구는 프로그램 흐름 그래프의 좀더 정밀한 분석을 통해 베이직 블록 사이에서 발생하는 엑세스 패턴 뿐만 아니라 동적으로 접근되는 엑세스 패턴의 효과를 동시에 고려하여 수정된 엑세스 그래프 모델을 제시하고자 한다. 제안된 방법의 유용성을 검증하기 위해 DSPStone및 ADPCM 벤치마크에 대해 코드 생성을 수행하였으며 ADPCM에 대해서는 12%까지 실행시간 개선을 얻을 수 있었고 평균 6.43%의 실행시간 개선을 얻었다. 제안된 방법은 이러한 실행시간 개선을 얻기 위해 프로파일을 추가적으로 수행해야 했지만 코드 사이즈의 증가는 거의 없었다.
