do not assume only -O2 reloops in ensure_relooper
wip