[Sprint 3] [A-I] Oracle Pass

[heatz123]

착안점

• oracle을 이용해 store (2개 이상)을 한번에 처리하는 경우, cost가 많아질수록 cost를 획기적으로 줄일 수 있다.

구현 방식

• 서로 묶을 수 있는 store을 찾아 (store group), 해당 store instruction들을 oracle call로 치환한다.
• 따라서 프로그램에 따라 adaptive하게 oracle 내부에 있는 코드가 바뀌도록 구현한다.
• (추가 사항) 만약 프로그램에서 store가 연속적인 code snippet이 여러 개라면, oracle 내부의 swtich를 추가하여 oracle의 특정 코드를 선택하도록 구현할 수 있다. 단 이 케이스는 기본적인 구현을 먼저 마치고 생각한다.