Hi Cristi, I haven't noticed any problems since applying the patch. We haven't been using the fp80 support much, though. I have no idea if it's compatible with the 2.7 changes.
-David On Mar 24, 2010, at 10:13 AM, Cristian Zamfir wrote: > Hi, > > Do you have more info on the status of this patch? > David, in your experience, is the patch stable? If yes, I would like > to try it out, please let me know. > > Thanks, > Cristi > > On Fri, Mar 12, 2010 at 9:05 AM, Daniel Dunbar <daniel at zuster.org> wrote: >> On Thu, Mar 11, 2010 at 4:38 PM, David A. Ramos <davidramos at stanford.edu> >> wrote: >>> Hi Cristi, >>> >>> I submitted a patch for this to klee-commits... Waiting for Daniel to >>> commit it. >> >> My tentative plan is to get this in this weekend, as well as the 2.7 patches. >> >> - Daniel >> >>> -David >>> ------Original Message------ >>> From: Cristian Zamfir >>> Sender: klee-dev-bounces at keeda.stanford.edu >>> To: klee-dev at keeda.stanford.edu >>> Subject: [klee-dev] support for X86_FP80TyID >>> Sent: Mar 11, 2010 4:07 PM >>> >>> >>> Hi, >>> >>> Currently, when testing the printf tool from coreutils, Klee will hit an >>> assert in ConstantExpr::fromMemory because it does not handle X86_FP80TyID >>> (80 bit float). >>> >>> Adding support for this seems like it requires quite a few changes: >>> - adding support for the 80 bit float type in Expr.h >>> - modifying the create and alloc functions in ConstantExpr to accept types >>> with more than 64 bits. >>> -fix other places in the code that may assume that a ConstantExpr is at >>> most 64 bits wide (I am not sure yet if this will be required). >>> >>> I am currently implementing this and I was wondering if you know a better >>> way to solve it. Did anyone else ran into this problem? >>> >>> Thanks, >>> Cristi >>> >>> >>> >>> >>> >>> >>> >>> >>> >>> >>> >>> >>> >>> _______________________________________________ >>> klee-dev mailing list >>> klee-dev at keeda.stanford.edu >>> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >>> >>> >>> Sent via BlackBerry from T-Mobile >>> _______________________________________________ >>> klee-dev mailing list >>> klee-dev at keeda.stanford.edu >>> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >>> >>
