Add IR implementation