FIRST use ident in alloca intertype
FIRST explicit mathop node in legalizer end case
SECOND explicit mathops nodes in legalizer end case pt 2
do not assume only -O2 reloops in ensure_relooper
wip
reuse variables in wip once all uses are gone