CFfuncond can't handle matching legs


Bugzilla Link	526
Created on	Jul 16, 2009 22:45
Version	1.00beta
OS	Linux
Architecture	PC
Attachments	iotaonly8.sac

Extended Description

I was dusting off the constant folder today, and noted that CFfuncond doesn't catch the case of: z5 = id(true) ? t1 : t1; The problem is that. by the time CF looks at the expression, it is a lacfn, so t1 and t1 have become t1 and t2, and they will never match.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information