[klee-dev] SSE Support?

[Owl Owl]

Yeah I spent a few hours last night trying to compile libc with that flag.
It doesn't seem possible since functions like atof necessarily have to use
SSE for the return value.

On Aug 7, 2017 12:15, "David Lightstone" <david.lightstone at icloud.com>
wrote:

> With respect to a SSE disabled version of QEMU
>
>
> The gcc compiler has options of the form -no-sse*
> My uninformed guess (i.e. I have not tried it) is the use of those options
> would be the key.
>
> You probably will have to build your own versions of libc and QEMU using
> those options
>
> Dave Lightstone
>
> Sent from my iPad
>
> > On Aug 7, 2017, at 4:00 AM, Owl Owl <whootandahalf at gmail.com> wrote:
> >
> > Folks,
> >
> > Is there symbolic support for SSE regs? The amd64 ABI specifies that SSE
> must be present on those architectures, and i have not been successful in
> convincing libc to NOT use SSE enabled versions of it's functions.
> >
> > Looking for information on either KLEE support for this, or how to force
> an application in QEMU into using non-SSE libc functions.
> >
> > Aside: Given how things are evolving, it would appear that SSE will
> simply grow more prevalent and harder to avoid...
> >
> > Best,
> >
> > Mike
> > _______________________________________________
> > klee-dev mailing list
> > klee-dev at imperial.ac.uk
> > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
-------------- next part --------------
HTML attachment scrubbed and removed