TODO. use the commit diffs for these instructions as a guide
-* fmvis <https://bugs.libre-soc.org/show_bug.cgi?id=887> which has
- a very clean single-commit <https://git.libre-soc.org/?p=openpower-isa.git;a=commitdiff;h=51ebd21c50d53275e8dd828a997433175b6dd2a2>
+* fmvis <https://bugs.libre-soc.org/show_bug.cgi?id=887>
* avgadd etc. <https://bugs.libre-soc.org/show_bug.cgi?id=863>
* int min/max <https://bugs.libre-soc.org/show_bug.cgi?id=234#c1>
* ternlogi <https://bugs.libre-soc.org/show_bug.cgi?id=745> which included