LIR misses WL in CONDFUN

Bugzilla Link	1019
Created on	Aug 31, 2012 23:04
Version	svn
OS	Linux
Architecture	PC
Attachments	ipbb.sac

Extended Description

Created an attachment (id=929)
source code to reproduce fault
Recently,  I loosened up the rules for WLPROP, in
the hope of making a number of benchmarks run
better, as well as making WLPROP work on CONDFUNs.
However, I see today that some benchmarks, e.g., apex/ipbb/ipbb.sac,
run a LOT slower, and the cause is a WL that is being
WLPROP'd into a CONDFUN, but is not being LIR'd back
out when AWLF/WLF fail to gobble up that WL.
I tried tightening up the WLPROP rules to their previous
state, with no luck. Running with -nowlprop avoids
the problem, but that takes all the fun out of things.
It may be that LIR never dealt with CONDFUNs. If so, that
would certainly explain the problem.
The failure definitely happens with Build #18200.
I'll look into the problem over the weekend. After all,
it IS Labor Day here, so I may as well be laboring.