Feasibility of high level compiler optimizations in online synthesis | IEEE Conference Publication | IEEE Xplore