--- Log opened Mon Jul 04 00:00:22 2016 | ||
olof | ZipCPU: https://github.com/pulp-platform/axi_spi_master | 02:21 |
---|---|---|
jeremybennett | olofk: Rather a late reply, but ork1.md sounds more likely to be some Joern's work. I'll ping him to see if he'll join this channel | 03:27 |
stekern | olof: all the floating point set flag stuff was done by that (hard to get hold of) girl iirc | 04:58 |
olof | stekern: Aha | 05:05 |
olof | Do you have any idea how to make gcc emit them? | 05:05 |
stekern | umm, I haven't read the full backlog, afair they were emitted? | 05:06 |
olof | gcc gets an internal error | 05:06 |
olof | My suspicion is that it's caused when gcc emits cbranchsf4 | 05:06 |
olof | Because that calls another function, which says in a comment that it's only valid for integers, not floating point | 05:07 |
stekern | but is that for some particular piece of code, or does that hold for all float sf instructions? | 06:41 |
olof | stekern: Not a clue | 06:56 |
olofk | In case you missed the social media coverage, eliask wrote another blog post on his GSoC project http://eliaskousk.teamdac.com/entry/packaging-the-risc-v-rocket-core-with-vivado-gui-week-2-of-gsoc-2016 | 16:21 |
--- Log closed Tue Jul 05 00:00:24 2016 |
Generated by irclog2html.py 2.15.2 by Marius Gedminas - find it at mg.pov.lt!