On Mon, Feb 24, 2014 at 11:02 AM, Julian Seward <jsew...@acm.org> wrote: > >>>> But of course, we all agree it would be nice to have 80 bits floats >>>> properly supported by Valgrind. > > To support this for 64-bit processes would require, roughly: > > * add an F80 (80-bit floating point) type to IR > * add relevant 80-bit equivalents of the relevant IROps > (AddF80, SubF80, SinF80, etc) > * change the front end (guest_amd64_toIR.c) to generate > IR that uses those new IROps > * change the back end (host_amd64_isel.c) to generate 80 > bit FP instructions from that IR. > > Much of the back end stuff could be imported from the x86 (32-bit) > compilation pipeline. That already has machinery to generate > x87 code and in particular to deal with the x87 register-stack > wierdness. > > That would get a baseline simulator (--tool=none) that works OK, > Getting Memcheck to work requires extra steps: [snip]
Just curious: Does valgrind have 128bit floating-point support somewhere? If "yes" ... could core parts of it be adopted/"dumbed down" to do some of the 80bit parts ? ---- Bye, Roland -- __ . . __ (o.\ \/ /.o) roland.ma...@nrubsig.org \__\/\/__/ MPEG specialist, C&&JAVA&&Sun&&Unix programmer /O /==\ O\ TEL +49 641 3992797 (;O/ \/ \O;) ------------------------------------------------------------------------------ Flow-based real-time traffic analytics software. Cisco certified tool. Monitor traffic, SLAs, QoS, Medianet, WAAS etc. with NetFlow Analyzer Customize your own dashboards, set traffic alerts and generate reports. Network behavioral analysis & security monitoring. All-in-one tool. http://pubads.g.doubleclick.net/gampad/clk?id=126839071&iu=/4140/ostg.clktrk _______________________________________________ Valgrind-users mailing list Valgrind-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/valgrind-users
