PPC floating point arith insns with three args:
        fsel 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
        fsel 0010000000000001, 0010000000000001, bfe00094e0000359 => 0010000000000000
        fsel 0010000000000001, 80100094e0000359, 0010000000000001 => 80100094e0000300
        fsel 0010000000000001, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
        fsel 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0010000000000000
        fsel 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 0010000000000000
        fsel 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80100094e0000300
        fsel 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
        fsel bfe0000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
        fsel bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
        fsel bfe0000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
        fsel bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300

       fmadd 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
       fmadd 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
       fmadd 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
       fmadd 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
       fmadd 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0018004a70000100
       fmadd 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
       fmadd 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0007ff6b1d4b5e00
       fmadd 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
       fmadd bfe0000000000001, 0010000000000001, 0010000000000001 => 0008000000000000
       fmadd bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
       fmadd bfe0000000000001, 80100094e0000359, 0010000000000001 => 0018004a70000100
       fmadd bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300

      fmadds 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
      fmadds 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
      fmadds 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
      fmadds 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
      fmadds 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
      fmadds 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
      fmadds 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
      fmadds 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
      fmadds bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
      fmadds bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
      fmadds bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
      fmadds bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000

       fmsub 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
       fmsub 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
       fmsub 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
       fmsub 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
       fmsub 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8007ffb58ffffe00
       fmsub 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
       fmsub 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80180094e2b4a100
       fmsub 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
       fmsub bfe0000000000001, 0010000000000001, 0010000000000001 => 8018000000000000
       fmsub bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
       fmsub bfe0000000000001, 80100094e0000359, 0010000000000001 => 8007ffb58ffffe00
       fmsub bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300

      fmsubs 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
      fmsubs 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
      fmsubs 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
      fmsubs 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
      fmsubs 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
      fmsubs 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
      fmsubs 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
      fmsubs 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
      fmsubs bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
      fmsubs bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
      fmsubs bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
      fmsubs bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000

      fnmadd 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
      fnmadd 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
      fnmadd 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
      fnmadd 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
      fnmadd 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8018004a70000100
      fnmadd 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
      fnmadd 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8007ff6b1d4b5e00
      fnmadd 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
      fnmadd bfe0000000000001, 0010000000000001, 0010000000000001 => 8008000000000000
      fnmadd bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
      fnmadd bfe0000000000001, 80100094e0000359, 0010000000000001 => 8018004a70000100
      fnmadd bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300

     fnmadds 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
     fnmadds 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
     fnmadds 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
     fnmadds 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
     fnmadds 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
     fnmadds 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
     fnmadds 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
     fnmadds 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
     fnmadds bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
     fnmadds bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
     fnmadds bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
     fnmadds bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000

      fnmsub 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
      fnmsub 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
      fnmsub 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
      fnmsub 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
      fnmsub 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0007ffb58ffffe00
      fnmsub 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
      fnmsub 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 00180094e2b4a100
      fnmsub 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
      fnmsub bfe0000000000001, 0010000000000001, 0010000000000001 => 0018000000000000
      fnmsub bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
      fnmsub bfe0000000000001, 80100094e0000359, 0010000000000001 => 0007ffb58ffffe00
      fnmsub bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300

     fnmsubs 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
     fnmsubs 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
     fnmsubs 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
     fnmsubs 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
     fnmsubs 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
     fnmsubs 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
     fnmsubs 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
     fnmsubs 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
     fnmsubs bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
     fnmsubs bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
     fnmsubs bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
     fnmsubs bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000

PPC floating point arith insns
    with three args with flags update:
       fsel. 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
       fsel. 0010000000000001, 0010000000000001, bfe00094e0000359 => 0010000000000000
       fsel. 0010000000000001, 80100094e0000359, 0010000000000001 => 80100094e0000300
       fsel. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
       fsel. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0010000000000000
       fsel. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 0010000000000000
       fsel. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80100094e0000300
       fsel. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
       fsel. bfe0000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
       fsel. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
       fsel. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
       fsel. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300

      fmadd. 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
      fmadd. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
      fmadd. 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
      fmadd. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
      fmadd. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0018004a70000100
      fmadd. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
      fmadd. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0007ff6b1d4b5e00
      fmadd. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
      fmadd. bfe0000000000001, 0010000000000001, 0010000000000001 => 0008000000000000
      fmadd. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
      fmadd. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0018004a70000100
      fmadd. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300

     fmadds. 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
     fmadds. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
     fmadds. 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
     fmadds. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
     fmadds. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
     fmadds. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
     fmadds. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
     fmadds. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
     fmadds. bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
     fmadds. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
     fmadds. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
     fmadds. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000

      fmsub. 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
      fmsub. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
      fmsub. 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
      fmsub. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
      fmsub. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8007ffb58ffffe00
      fmsub. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
      fmsub. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80180094e2b4a100
      fmsub. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
      fmsub. bfe0000000000001, 0010000000000001, 0010000000000001 => 8018000000000000
      fmsub. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
      fmsub. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8007ffb58ffffe00
      fmsub. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300

     fmsubs. 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
     fmsubs. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
     fmsubs. 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
     fmsubs. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
     fmsubs. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
     fmsubs. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
     fmsubs. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
     fmsubs. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
     fmsubs. bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
     fmsubs. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
     fmsubs. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
     fmsubs. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000

     fnmadd. 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
     fnmadd. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
     fnmadd. 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
     fnmadd. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
     fnmadd. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8018004a70000100
     fnmadd. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
     fnmadd. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8007ff6b1d4b5e00
     fnmadd. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
     fnmadd. bfe0000000000001, 0010000000000001, 0010000000000001 => 8008000000000000
     fnmadd. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
     fnmadd. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8018004a70000100
     fnmadd. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300

    fnmadds. 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
    fnmadds. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
    fnmadds. 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
    fnmadds. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
    fnmadds. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
    fnmadds. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
    fnmadds. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
    fnmadds. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
    fnmadds. bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
    fnmadds. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
    fnmadds. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
    fnmadds. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000

     fnmsub. 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
     fnmsub. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
     fnmsub. 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
     fnmsub. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
     fnmsub. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0007ffb58ffffe00
     fnmsub. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
     fnmsub. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 00180094e2b4a100
     fnmsub. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
     fnmsub. bfe0000000000001, 0010000000000001, 0010000000000001 => 0018000000000000
     fnmsub. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
     fnmsub. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0007ffb58ffffe00
     fnmsub. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300

    fnmsubs. 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
    fnmsubs. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
    fnmsubs. 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
    fnmsubs. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
    fnmsubs. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
    fnmsubs. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
    fnmsubs. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
    fnmsubs. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
    fnmsubs. bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
    fnmsubs. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
    fnmsubs. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
    fnmsubs. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000

PPC floating point arith insns with two args:
        fadd 0010000000000001, 0010000000000001 => 0020000000000001
        fadd 0010000000000001, 80100094e0000359 => 80000094e0000358
        fadd 0010000000000001, 7ff0000000000000 => 7ff0000000000000
        fadd 0010000000000001, fff8000000000000 => fff8000000000000
        fadd 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
        fadd 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
        fadd 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
        fadd 3fe00094e0000359, fff8000000000000 => fff8000000000000
        fadd bfe0000000000001, 0010000000000001 => bfe0000000000001
        fadd bfe0000000000001, 80100094e0000359 => bfe0000000000001
        fadd bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
        fadd bfe0000000000001, fff8000000000000 => fff8000000000000
        fadd 8000000000000000, 0010000000000001 => 0010000000000001
        fadd 8000000000000000, 80100094e0000359 => 80100094e0000359
        fadd 8000000000000000, 7ff0000000000000 => 7ff0000000000000
        fadd 8000000000000000, fff8000000000000 => fff8000000000000
        fadd 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
        fadd 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
        fadd 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
        fadd 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
        fadd fff8000000000000, 0010000000000001 => fff8000000000000
        fadd fff8000000000000, 80100094e0000359 => fff8000000000000
        fadd fff8000000000000, 7ff0000000000000 => fff8000000000000
        fadd fff8000000000000, fff8000000000000 => fff8000000000000

       fadds 0010000000000001, 0010000000000001 => 0000000000000000
       fadds 0010000000000001, 80100094e0000359 => 8000000000000000
       fadds 0010000000000001, 7ff0000000000000 => 7ff0000000000000
       fadds 0010000000000001, fff8000000000000 => fff8000000000000
       fadds 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
       fadds 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
       fadds 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
       fadds 3fe00094e0000359, fff8000000000000 => fff8000000000000
       fadds bfe0000000000001, 0010000000000001 => bfe0000000000000
       fadds bfe0000000000001, 80100094e0000359 => bfe0000000000000
       fadds bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
       fadds bfe0000000000001, fff8000000000000 => fff8000000000000
       fadds 8000000000000000, 0010000000000001 => 0000000000000000
       fadds 8000000000000000, 80100094e0000359 => 8000000000000000
       fadds 8000000000000000, 7ff0000000000000 => 7ff0000000000000
       fadds 8000000000000000, fff8000000000000 => fff8000000000000
       fadds 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
       fadds 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
       fadds 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
       fadds 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
       fadds fff8000000000000, 0010000000000001 => fff8000000000000
       fadds fff8000000000000, 80100094e0000359 => fff8000000000000
       fadds fff8000000000000, 7ff0000000000000 => fff8000000000000
       fadds fff8000000000000, fff8000000000000 => fff8000000000000

        fsub 0010000000000001, 0010000000000001 => 0000000000000000
        fsub 0010000000000001, 80100094e0000359 => 0020004a700001ad
        fsub 0010000000000001, 7ff0000000000000 => fff0000000000000
        fsub 0010000000000001, fff8000000000000 => fff8000000000000
        fsub 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
        fsub 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
        fsub 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
        fsub 3fe00094e0000359, fff8000000000000 => fff8000000000000
        fsub bfe0000000000001, 0010000000000001 => bfe0000000000001
        fsub bfe0000000000001, 80100094e0000359 => bfe0000000000001
        fsub bfe0000000000001, 7ff0000000000000 => fff0000000000000
        fsub bfe0000000000001, fff8000000000000 => fff8000000000000
        fsub 8000000000000000, 0010000000000001 => 8010000000000001
        fsub 8000000000000000, 80100094e0000359 => 00100094e0000359
        fsub 8000000000000000, 7ff0000000000000 => fff0000000000000
        fsub 8000000000000000, fff8000000000000 => fff8000000000000
        fsub 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
        fsub 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
        fsub 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
        fsub 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
        fsub fff8000000000000, 0010000000000001 => fff8000000000000
        fsub fff8000000000000, 80100094e0000359 => fff8000000000000
        fsub fff8000000000000, 7ff0000000000000 => fff8000000000000
        fsub fff8000000000000, fff8000000000000 => fff8000000000000

       fsubs 0010000000000001, 0010000000000001 => 0000000000000000
       fsubs 0010000000000001, 80100094e0000359 => 0000000000000000
       fsubs 0010000000000001, 7ff0000000000000 => fff0000000000000
       fsubs 0010000000000001, fff8000000000000 => fff8000000000000
       fsubs 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
       fsubs 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
       fsubs 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
       fsubs 3fe00094e0000359, fff8000000000000 => fff8000000000000
       fsubs bfe0000000000001, 0010000000000001 => bfe0000000000000
       fsubs bfe0000000000001, 80100094e0000359 => bfe0000000000000
       fsubs bfe0000000000001, 7ff0000000000000 => fff0000000000000
       fsubs bfe0000000000001, fff8000000000000 => fff8000000000000
       fsubs 8000000000000000, 0010000000000001 => 8000000000000000
       fsubs 8000000000000000, 80100094e0000359 => 0000000000000000
       fsubs 8000000000000000, 7ff0000000000000 => fff0000000000000
       fsubs 8000000000000000, fff8000000000000 => fff8000000000000
       fsubs 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
       fsubs 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
       fsubs 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
       fsubs 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
       fsubs fff8000000000000, 0010000000000001 => fff8000000000000
       fsubs fff8000000000000, 80100094e0000359 => fff8000000000000
       fsubs fff8000000000000, 7ff0000000000000 => fff8000000000000
       fsubs fff8000000000000, fff8000000000000 => fff8000000000000

        fmul 0010000000000001, 0010000000000001 => 0000000000000000
        fmul 0010000000000001, 80100094e0000359 => 8000000000000000
        fmul 0010000000000001, 7ff0000000000000 => 7ff0000000000000
        fmul 0010000000000001, fff8000000000000 => fff8000000000000
        fmul 3fe00094e0000359, 0010000000000001 => 0008004a700001ad
        fmul 3fe00094e0000359, 80100094e0000359 => 80080094e2b4a179
        fmul 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
        fmul 3fe00094e0000359, fff8000000000000 => fff8000000000000
        fmul bfe0000000000001, 0010000000000001 => 8008000000000001
        fmul bfe0000000000001, 80100094e0000359 => 0008004a700001ad
        fmul bfe0000000000001, 7ff0000000000000 => fff0000000000000
        fmul bfe0000000000001, fff8000000000000 => fff8000000000000
        fmul 8000000000000000, 0010000000000001 => 8000000000000000
        fmul 8000000000000000, 80100094e0000359 => 0000000000000000
        fmul 8000000000000000, 7ff0000000000000 => 7ff8000000000000
        fmul 8000000000000000, fff8000000000000 => fff8000000000000
        fmul 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
        fmul 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
        fmul 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
        fmul 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
        fmul fff8000000000000, 0010000000000001 => fff8000000000000
        fmul fff8000000000000, 80100094e0000359 => fff8000000000000
        fmul fff8000000000000, 7ff0000000000000 => fff8000000000000
        fmul fff8000000000000, fff8000000000000 => fff8000000000000

       fmuls 0010000000000001, 0010000000000001 => 0000000000000000
       fmuls 0010000000000001, 80100094e0000359 => 8000000000000000
       fmuls 0010000000000001, 7ff0000000000000 => 7ff0000000000000
       fmuls 0010000000000001, fff8000000000000 => fff8000000000000
       fmuls 3fe00094e0000359, 0010000000000001 => 0000000000000000
       fmuls 3fe00094e0000359, 80100094e0000359 => 8000000000000000
       fmuls 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
       fmuls 3fe00094e0000359, fff8000000000000 => fff8000000000000
       fmuls bfe0000000000001, 0010000000000001 => 8000000000000000
       fmuls bfe0000000000001, 80100094e0000359 => 0000000000000000
       fmuls bfe0000000000001, 7ff0000000000000 => fff0000000000000
       fmuls bfe0000000000001, fff8000000000000 => fff8000000000000
       fmuls 8000000000000000, 0010000000000001 => 8000000000000000
       fmuls 8000000000000000, 80100094e0000359 => 0000000000000000
       fmuls 8000000000000000, 7ff0000000000000 => 7ff8000000000000
       fmuls 8000000000000000, fff8000000000000 => fff8000000000000
       fmuls 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
       fmuls 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
       fmuls 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
       fmuls 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
       fmuls fff8000000000000, 0010000000000001 => fff8000000000000
       fmuls fff8000000000000, 80100094e0000359 => fff8000000000000
       fmuls fff8000000000000, 7ff0000000000000 => fff8000000000000
       fmuls fff8000000000000, fff8000000000000 => fff8000000000000

        fdiv 0010000000000001, 0010000000000001 => 3ff0000000000000
        fdiv 0010000000000001, 80100094e0000359 => bfeffed64ad20d22
        fdiv 0010000000000001, 7ff0000000000000 => 0000000000000000
        fdiv 0010000000000001, fff8000000000000 => fff8000000000000
        fdiv 3fe00094e0000359, 0010000000000001 => 7fc00094e0000358
        fdiv 3fe00094e0000359, 80100094e0000359 => ffc0000000000000
        fdiv 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
        fdiv 3fe00094e0000359, fff8000000000000 => fff8000000000000
        fdiv bfe0000000000001, 0010000000000001 => ffc0000000000000
        fdiv bfe0000000000001, 80100094e0000359 => 7fbffed64ad20d22
        fdiv bfe0000000000001, 7ff0000000000000 => 8000000000000000
        fdiv bfe0000000000001, fff8000000000000 => fff8000000000000
        fdiv 8000000000000000, 0010000000000001 => 8000000000000000
        fdiv 8000000000000000, 80100094e0000359 => 0000000000000000
        fdiv 8000000000000000, 7ff0000000000000 => 8000000000000000
        fdiv 8000000000000000, fff8000000000000 => fff8000000000000
        fdiv 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
        fdiv 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
        fdiv 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
        fdiv 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
        fdiv fff8000000000000, 0010000000000001 => fff8000000000000
        fdiv fff8000000000000, 80100094e0000359 => fff8000000000000
        fdiv fff8000000000000, 7ff0000000000000 => fff8000000000000
        fdiv fff8000000000000, fff8000000000000 => fff8000000000000

       fdivs 0010000000000001, 0010000000000001 => 3ff0000000000000
       fdivs 0010000000000001, 80100094e0000359 => bfeffed640000000
       fdivs 0010000000000001, 7ff0000000000000 => 0000000000000000
       fdivs 0010000000000001, fff8000000000000 => fff8000000000000
       fdivs 3fe00094e0000359, 0010000000000001 => 7ff0000000000000
       fdivs 3fe00094e0000359, 80100094e0000359 => fff0000000000000
       fdivs 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
       fdivs 3fe00094e0000359, fff8000000000000 => fff8000000000000
       fdivs bfe0000000000001, 0010000000000001 => fff0000000000000
       fdivs bfe0000000000001, 80100094e0000359 => 7ff0000000000000
       fdivs bfe0000000000001, 7ff0000000000000 => 8000000000000000
       fdivs bfe0000000000001, fff8000000000000 => fff8000000000000
       fdivs 8000000000000000, 0010000000000001 => 8000000000000000
       fdivs 8000000000000000, 80100094e0000359 => 0000000000000000
       fdivs 8000000000000000, 7ff0000000000000 => 8000000000000000
       fdivs 8000000000000000, fff8000000000000 => fff8000000000000
       fdivs 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
       fdivs 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
       fdivs 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
       fdivs 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
       fdivs fff8000000000000, 0010000000000001 => fff8000000000000
       fdivs fff8000000000000, 80100094e0000359 => fff8000000000000
       fdivs fff8000000000000, 7ff0000000000000 => fff8000000000000
       fdivs fff8000000000000, fff8000000000000 => fff8000000000000

PPC floating point arith insns
    with two args with flags update:
       fadd. 0010000000000001, 0010000000000001 => 0020000000000001
       fadd. 0010000000000001, 80100094e0000359 => 80000094e0000358
       fadd. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
       fadd. 0010000000000001, fff8000000000000 => fff8000000000000
       fadd. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
       fadd. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
       fadd. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
       fadd. 3fe00094e0000359, fff8000000000000 => fff8000000000000
       fadd. bfe0000000000001, 0010000000000001 => bfe0000000000001
       fadd. bfe0000000000001, 80100094e0000359 => bfe0000000000001
       fadd. bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
       fadd. bfe0000000000001, fff8000000000000 => fff8000000000000
       fadd. 8000000000000000, 0010000000000001 => 0010000000000001
       fadd. 8000000000000000, 80100094e0000359 => 80100094e0000359
       fadd. 8000000000000000, 7ff0000000000000 => 7ff0000000000000
       fadd. 8000000000000000, fff8000000000000 => fff8000000000000
       fadd. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
       fadd. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
       fadd. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
       fadd. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
       fadd. fff8000000000000, 0010000000000001 => fff8000000000000
       fadd. fff8000000000000, 80100094e0000359 => fff8000000000000
       fadd. fff8000000000000, 7ff0000000000000 => fff8000000000000
       fadd. fff8000000000000, fff8000000000000 => fff8000000000000

      fadds. 0010000000000001, 0010000000000001 => 0000000000000000
      fadds. 0010000000000001, 80100094e0000359 => 8000000000000000
      fadds. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
      fadds. 0010000000000001, fff8000000000000 => fff8000000000000
      fadds. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
      fadds. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
      fadds. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
      fadds. 3fe00094e0000359, fff8000000000000 => fff8000000000000
      fadds. bfe0000000000001, 0010000000000001 => bfe0000000000000
      fadds. bfe0000000000001, 80100094e0000359 => bfe0000000000000
      fadds. bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
      fadds. bfe0000000000001, fff8000000000000 => fff8000000000000
      fadds. 8000000000000000, 0010000000000001 => 0000000000000000
      fadds. 8000000000000000, 80100094e0000359 => 8000000000000000
      fadds. 8000000000000000, 7ff0000000000000 => 7ff0000000000000
      fadds. 8000000000000000, fff8000000000000 => fff8000000000000
      fadds. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
      fadds. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
      fadds. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
      fadds. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
      fadds. fff8000000000000, 0010000000000001 => fff8000000000000
      fadds. fff8000000000000, 80100094e0000359 => fff8000000000000
      fadds. fff8000000000000, 7ff0000000000000 => fff8000000000000
      fadds. fff8000000000000, fff8000000000000 => fff8000000000000

       fsub. 0010000000000001, 0010000000000001 => 0000000000000000
       fsub. 0010000000000001, 80100094e0000359 => 0020004a700001ad
       fsub. 0010000000000001, 7ff0000000000000 => fff0000000000000
       fsub. 0010000000000001, fff8000000000000 => fff8000000000000
       fsub. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
       fsub. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
       fsub. 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
       fsub. 3fe00094e0000359, fff8000000000000 => fff8000000000000
       fsub. bfe0000000000001, 0010000000000001 => bfe0000000000001
       fsub. bfe0000000000001, 80100094e0000359 => bfe0000000000001
       fsub. bfe0000000000001, 7ff0000000000000 => fff0000000000000
       fsub. bfe0000000000001, fff8000000000000 => fff8000000000000
       fsub. 8000000000000000, 0010000000000001 => 8010000000000001
       fsub. 8000000000000000, 80100094e0000359 => 00100094e0000359
       fsub. 8000000000000000, 7ff0000000000000 => fff0000000000000
       fsub. 8000000000000000, fff8000000000000 => fff8000000000000
       fsub. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
       fsub. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
       fsub. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
       fsub. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
       fsub. fff8000000000000, 0010000000000001 => fff8000000000000
       fsub. fff8000000000000, 80100094e0000359 => fff8000000000000
       fsub. fff8000000000000, 7ff0000000000000 => fff8000000000000
       fsub. fff8000000000000, fff8000000000000 => fff8000000000000

      fsubs. 0010000000000001, 0010000000000001 => 0000000000000000
      fsubs. 0010000000000001, 80100094e0000359 => 0000000000000000
      fsubs. 0010000000000001, 7ff0000000000000 => fff0000000000000
      fsubs. 0010000000000001, fff8000000000000 => fff8000000000000
      fsubs. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
      fsubs. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
      fsubs. 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
      fsubs. 3fe00094e0000359, fff8000000000000 => fff8000000000000
      fsubs. bfe0000000000001, 0010000000000001 => bfe0000000000000
      fsubs. bfe0000000000001, 80100094e0000359 => bfe0000000000000
      fsubs. bfe0000000000001, 7ff0000000000000 => fff0000000000000
      fsubs. bfe0000000000001, fff8000000000000 => fff8000000000000
      fsubs. 8000000000000000, 0010000000000001 => 8000000000000000
      fsubs. 8000000000000000, 80100094e0000359 => 0000000000000000
      fsubs. 8000000000000000, 7ff0000000000000 => fff0000000000000
      fsubs. 8000000000000000, fff8000000000000 => fff8000000000000
      fsubs. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
      fsubs. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
      fsubs. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
      fsubs. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
      fsubs. fff8000000000000, 0010000000000001 => fff8000000000000
      fsubs. fff8000000000000, 80100094e0000359 => fff8000000000000
      fsubs. fff8000000000000, 7ff0000000000000 => fff8000000000000
      fsubs. fff8000000000000, fff8000000000000 => fff8000000000000

       fmul. 0010000000000001, 0010000000000001 => 0000000000000000
       fmul. 0010000000000001, 80100094e0000359 => 8000000000000000
       fmul. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
       fmul. 0010000000000001, fff8000000000000 => fff8000000000000
       fmul. 3fe00094e0000359, 0010000000000001 => 0008004a700001ad
       fmul. 3fe00094e0000359, 80100094e0000359 => 80080094e2b4a179
       fmul. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
       fmul. 3fe00094e0000359, fff8000000000000 => fff8000000000000
       fmul. bfe0000000000001, 0010000000000001 => 8008000000000001
       fmul. bfe0000000000001, 80100094e0000359 => 0008004a700001ad
       fmul. bfe0000000000001, 7ff0000000000000 => fff0000000000000
       fmul. bfe0000000000001, fff8000000000000 => fff8000000000000
       fmul. 8000000000000000, 0010000000000001 => 8000000000000000
       fmul. 8000000000000000, 80100094e0000359 => 0000000000000000
       fmul. 8000000000000000, 7ff0000000000000 => 7ff8000000000000
       fmul. 8000000000000000, fff8000000000000 => fff8000000000000
       fmul. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
       fmul. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
       fmul. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
       fmul. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
       fmul. fff8000000000000, 0010000000000001 => fff8000000000000
       fmul. fff8000000000000, 80100094e0000359 => fff8000000000000
       fmul. fff8000000000000, 7ff0000000000000 => fff8000000000000
       fmul. fff8000000000000, fff8000000000000 => fff8000000000000

      fmuls. 0010000000000001, 0010000000000001 => 0000000000000000
      fmuls. 0010000000000001, 80100094e0000359 => 8000000000000000
      fmuls. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
      fmuls. 0010000000000001, fff8000000000000 => fff8000000000000
      fmuls. 3fe00094e0000359, 0010000000000001 => 0000000000000000
      fmuls. 3fe00094e0000359, 80100094e0000359 => 8000000000000000
      fmuls. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
      fmuls. 3fe00094e0000359, fff8000000000000 => fff8000000000000
      fmuls. bfe0000000000001, 0010000000000001 => 8000000000000000
      fmuls. bfe0000000000001, 80100094e0000359 => 0000000000000000
      fmuls. bfe0000000000001, 7ff0000000000000 => fff0000000000000
      fmuls. bfe0000000000001, fff8000000000000 => fff8000000000000
      fmuls. 8000000000000000, 0010000000000001 => 8000000000000000
      fmuls. 8000000000000000, 80100094e0000359 => 0000000000000000
      fmuls. 8000000000000000, 7ff0000000000000 => 7ff8000000000000
      fmuls. 8000000000000000, fff8000000000000 => fff8000000000000
      fmuls. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
      fmuls. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
      fmuls. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
      fmuls. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
      fmuls. fff8000000000000, 0010000000000001 => fff8000000000000
      fmuls. fff8000000000000, 80100094e0000359 => fff8000000000000
      fmuls. fff8000000000000, 7ff0000000000000 => fff8000000000000
      fmuls. fff8000000000000, fff8000000000000 => fff8000000000000

       fdiv. 0010000000000001, 0010000000000001 => 3ff0000000000000
       fdiv. 0010000000000001, 80100094e0000359 => bfeffed64ad20d22
       fdiv. 0010000000000001, 7ff0000000000000 => 0000000000000000
       fdiv. 0010000000000001, fff8000000000000 => fff8000000000000
       fdiv. 3fe00094e0000359, 0010000000000001 => 7fc00094e0000358
       fdiv. 3fe00094e0000359, 80100094e0000359 => ffc0000000000000
       fdiv. 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
       fdiv. 3fe00094e0000359, fff8000000000000 => fff8000000000000
       fdiv. bfe0000000000001, 0010000000000001 => ffc0000000000000
       fdiv. bfe0000000000001, 80100094e0000359 => 7fbffed64ad20d22
       fdiv. bfe0000000000001, 7ff0000000000000 => 8000000000000000
       fdiv. bfe0000000000001, fff8000000000000 => fff8000000000000
       fdiv. 8000000000000000, 0010000000000001 => 8000000000000000
       fdiv. 8000000000000000, 80100094e0000359 => 0000000000000000
       fdiv. 8000000000000000, 7ff0000000000000 => 8000000000000000
       fdiv. 8000000000000000, fff8000000000000 => fff8000000000000
       fdiv. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
       fdiv. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
       fdiv. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
       fdiv. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
       fdiv. fff8000000000000, 0010000000000001 => fff8000000000000
       fdiv. fff8000000000000, 80100094e0000359 => fff8000000000000
       fdiv. fff8000000000000, 7ff0000000000000 => fff8000000000000
       fdiv. fff8000000000000, fff8000000000000 => fff8000000000000

      fdivs. 0010000000000001, 0010000000000001 => 3ff0000000000000
      fdivs. 0010000000000001, 80100094e0000359 => bfeffed640000000
      fdivs. 0010000000000001, 7ff0000000000000 => 0000000000000000
      fdivs. 0010000000000001, fff8000000000000 => fff8000000000000
      fdivs. 3fe00094e0000359, 0010000000000001 => 7ff0000000000000
      fdivs. 3fe00094e0000359, 80100094e0000359 => fff0000000000000
      fdivs. 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
      fdivs. 3fe00094e0000359, fff8000000000000 => fff8000000000000
      fdivs. bfe0000000000001, 0010000000000001 => fff0000000000000
      fdivs. bfe0000000000001, 80100094e0000359 => 7ff0000000000000
      fdivs. bfe0000000000001, 7ff0000000000000 => 8000000000000000
      fdivs. bfe0000000000001, fff8000000000000 => fff8000000000000
      fdivs. 8000000000000000, 0010000000000001 => 8000000000000000
      fdivs. 8000000000000000, 80100094e0000359 => 0000000000000000
      fdivs. 8000000000000000, 7ff0000000000000 => 8000000000000000
      fdivs. 8000000000000000, fff8000000000000 => fff8000000000000
      fdivs. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
      fdivs. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
      fdivs. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
      fdivs. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
      fdivs. fff8000000000000, 0010000000000001 => fff8000000000000
      fdivs. fff8000000000000, 80100094e0000359 => fff8000000000000
      fdivs. fff8000000000000, 7ff0000000000000 => fff8000000000000
      fdivs. fff8000000000000, fff8000000000000 => fff8000000000000

PPC floating point compare insns (two args):
       fcmpo 0010000000000001, 0010000000000001 => fff8000000000000
       fcmpo 0010000000000001, 80100094e0000359 => fff8000000000000
       fcmpo 0010000000000001, 7ff0000000000000 => fff8000000000000
       fcmpo 0010000000000001, fff8000000000000 => fff8000000000000
       fcmpo 3fe00094e0000359, 0010000000000001 => fff8000000000000
       fcmpo 3fe00094e0000359, 80100094e0000359 => fff8000000000000
       fcmpo 3fe00094e0000359, 7ff0000000000000 => fff8000000000000
       fcmpo 3fe00094e0000359, fff8000000000000 => fff8000000000000
       fcmpo bfe0000000000001, 0010000000000001 => fff8000000000000
       fcmpo bfe0000000000001, 80100094e0000359 => fff8000000000000
       fcmpo bfe0000000000001, 7ff0000000000000 => fff8000000000000
       fcmpo bfe0000000000001, fff8000000000000 => fff8000000000000
       fcmpo 8000000000000000, 0010000000000001 => fff8000000000000
       fcmpo 8000000000000000, 80100094e0000359 => fff8000000000000
       fcmpo 8000000000000000, 7ff0000000000000 => fff8000000000000
       fcmpo 8000000000000000, fff8000000000000 => fff8000000000000
       fcmpo 7ff7ffffffffffff, 0010000000000001 => fff8000000000000
       fcmpo 7ff7ffffffffffff, 80100094e0000359 => fff8000000000000
       fcmpo 7ff7ffffffffffff, 7ff0000000000000 => fff8000000000000
       fcmpo 7ff7ffffffffffff, fff8000000000000 => fff8000000000000
       fcmpo fff8000000000000, 0010000000000001 => fff8000000000000
       fcmpo fff8000000000000, 80100094e0000359 => fff8000000000000
       fcmpo fff8000000000000, 7ff0000000000000 => fff8000000000000
       fcmpo fff8000000000000, fff8000000000000 => fff8000000000000

       fcmpu 0010000000000001, 0010000000000001 => fff8000000000000
       fcmpu 0010000000000001, 80100094e0000359 => fff8000000000000
       fcmpu 0010000000000001, 7ff0000000000000 => fff8000000000000
       fcmpu 0010000000000001, fff8000000000000 => fff8000000000000
       fcmpu 3fe00094e0000359, 0010000000000001 => fff8000000000000
       fcmpu 3fe00094e0000359, 80100094e0000359 => fff8000000000000
       fcmpu 3fe00094e0000359, 7ff0000000000000 => fff8000000000000
       fcmpu 3fe00094e0000359, fff8000000000000 => fff8000000000000
       fcmpu bfe0000000000001, 0010000000000001 => fff8000000000000
       fcmpu bfe0000000000001, 80100094e0000359 => fff8000000000000
       fcmpu bfe0000000000001, 7ff0000000000000 => fff8000000000000
       fcmpu bfe0000000000001, fff8000000000000 => fff8000000000000
       fcmpu 8000000000000000, 0010000000000001 => fff8000000000000
       fcmpu 8000000000000000, 80100094e0000359 => fff8000000000000
       fcmpu 8000000000000000, 7ff0000000000000 => fff8000000000000
       fcmpu 8000000000000000, fff8000000000000 => fff8000000000000
       fcmpu 7ff7ffffffffffff, 0010000000000001 => fff8000000000000
       fcmpu 7ff7ffffffffffff, 80100094e0000359 => fff8000000000000
       fcmpu 7ff7ffffffffffff, 7ff0000000000000 => fff8000000000000
       fcmpu 7ff7ffffffffffff, fff8000000000000 => fff8000000000000
       fcmpu fff8000000000000, 0010000000000001 => fff8000000000000
       fcmpu fff8000000000000, 80100094e0000359 => fff8000000000000
       fcmpu fff8000000000000, 7ff0000000000000 => fff8000000000000
       fcmpu fff8000000000000, fff8000000000000 => fff8000000000000

PPC floating point arith insns with one arg:
        fres 0010000000000001 => 7ff0000000000000
        fres 00100094e0000359 => 7ff0000000000000
        fres 3fe0000000000001 => 3ffff00000000000
        fres 3fe00094e0000359 => 3ffff00000000000
        fres 8010000000000001 => fff0000000000000
        fres 80100094e0000359 => fff0000000000000
        fres bfe0000000000001 => bffff00000000000
        fres bfe00094e0000359 => bffff00000000000
        fres 0000000000000000 => 7ff0000000000000
        fres 8000000000000000 => fff0000000000000
        fres 7ff0000000000000 => 0000000000000000
        fres fff0000000000000 => 8000000000000000
        fres 7ff7ffffffffffff => 7ffff00000000000
        fres fff7ffffffffffff => fffff00000000000
        fres 7ff8000000000000 => 7ff8000000000000
        fres fff8000000000000 => fff8000000000000

     frsqrte 0010000000000001 => 5fdf000000000000
     frsqrte 00100094e0000359 => 5fdf000000000000
     frsqrte 3fe0000000000001 => 3ff6000000000000
     frsqrte 3fe00094e0000359 => 3ff6000000000000
     frsqrte 8010000000000001 => 7ff8000000000000
     frsqrte 80100094e0000359 => 7ff8000000000000
     frsqrte bfe0000000000001 => 7ff8000000000000
     frsqrte bfe00094e0000359 => 7ff8000000000000
     frsqrte 0000000000000000 => 7ff0000000000000
     frsqrte 8000000000000000 => fff0000000000000
     frsqrte 7ff0000000000000 => 0000000000000000
     frsqrte fff0000000000000 => 7ff8000000000000
     frsqrte 7ff7ffffffffffff => 7fff000000000000
     frsqrte fff7ffffffffffff => ffff000000000000
     frsqrte 7ff8000000000000 => 7ff8000000000000
     frsqrte fff8000000000000 => fff8000000000000

        frsp 0010000000000001 => 0000000000000000
        frsp 00100094e0000359 => 0000000000000000
        frsp 3fe0000000000001 => 3fe0000000000000
        frsp 3fe00094e0000359 => 3fe00094e0000000
        frsp 8010000000000001 => 8000000000000000
        frsp 80100094e0000359 => 8000000000000000
        frsp bfe0000000000001 => bfe0000000000000
        frsp bfe00094e0000359 => bfe00094e0000000
        frsp 0000000000000000 => 0000000000000000
        frsp 8000000000000000 => 8000000000000000
        frsp 7ff0000000000000 => 7ff0000000000000
        frsp fff0000000000000 => fff0000000000000
        frsp 7ff7ffffffffffff => 7fffffffe0000000
        frsp fff7ffffffffffff => ffffffffe0000000
        frsp 7ff8000000000000 => 7ff8000000000000
        frsp fff8000000000000 => fff8000000000000

       fctiw 0010000000000001 => 0000000000000000
       fctiw 00100094e0000359 => 0000000000000000
       fctiw 3fe0000000000001 => 0000000000000001
       fctiw 3fe00094e0000359 => 0000000000000001
       fctiw 8010000000000001 => 0000000000000000
       fctiw 80100094e0000359 => 0000000000000000
       fctiw bfe0000000000001 => 00000000ffffffff
       fctiw bfe00094e0000359 => 00000000ffffffff
       fctiw 0000000000000000 => 0000000000000000
       fctiw 8000000000000000 => 0000000000000000
       fctiw 7ff0000000000000 => 000000007fffffff
       fctiw fff0000000000000 => 0000000080000000
       fctiw 7ff7ffffffffffff => 0000000080000000
       fctiw fff7ffffffffffff => 0000000080000000
       fctiw 7ff8000000000000 => 0000000080000000
       fctiw fff8000000000000 => 0000000080000000

      fctiwz 0010000000000001 => 0000000000000000
      fctiwz 00100094e0000359 => 0000000000000000
      fctiwz 3fe0000000000001 => 0000000000000000
      fctiwz 3fe00094e0000359 => 0000000000000000
      fctiwz 8010000000000001 => 0000000000000000
      fctiwz 80100094e0000359 => 0000000000000000
      fctiwz bfe0000000000001 => 0000000000000000
      fctiwz bfe00094e0000359 => 0000000000000000
      fctiwz 0000000000000000 => 0000000000000000
      fctiwz 8000000000000000 => 0000000000000000
      fctiwz 7ff0000000000000 => 000000007fffffff
      fctiwz fff0000000000000 => 0000000080000000
      fctiwz 7ff7ffffffffffff => 0000000080000000
      fctiwz fff7ffffffffffff => 0000000080000000
      fctiwz 7ff8000000000000 => 0000000080000000
      fctiwz fff8000000000000 => 0000000080000000

         fmr 0010000000000001 => 0010000000000001
         fmr 00100094e0000359 => 00100094e0000359
         fmr 3fe0000000000001 => 3fe0000000000001
         fmr 3fe00094e0000359 => 3fe00094e0000359
         fmr 8010000000000001 => 8010000000000001
         fmr 80100094e0000359 => 80100094e0000359
         fmr bfe0000000000001 => bfe0000000000001
         fmr bfe00094e0000359 => bfe00094e0000359
         fmr 0000000000000000 => 0000000000000000
         fmr 8000000000000000 => 8000000000000000
         fmr 7ff0000000000000 => 7ff0000000000000
         fmr fff0000000000000 => fff0000000000000
         fmr 7ff7ffffffffffff => 7ff7ffffffffffff
         fmr fff7ffffffffffff => fff7ffffffffffff
         fmr 7ff8000000000000 => 7ff8000000000000
         fmr fff8000000000000 => fff8000000000000

        fneg 0010000000000001 => 8010000000000001
        fneg 00100094e0000359 => 80100094e0000359
        fneg 3fe0000000000001 => bfe0000000000001
        fneg 3fe00094e0000359 => bfe00094e0000359
        fneg 8010000000000001 => 0010000000000001
        fneg 80100094e0000359 => 00100094e0000359
        fneg bfe0000000000001 => 3fe0000000000001
        fneg bfe00094e0000359 => 3fe00094e0000359
        fneg 0000000000000000 => 8000000000000000
        fneg 8000000000000000 => 0000000000000000
        fneg 7ff0000000000000 => fff0000000000000
        fneg fff0000000000000 => 7ff0000000000000
        fneg 7ff7ffffffffffff => fff7ffffffffffff
        fneg fff7ffffffffffff => 7ff7ffffffffffff
        fneg 7ff8000000000000 => fff8000000000000
        fneg fff8000000000000 => 7ff8000000000000

        fabs 0010000000000001 => 0010000000000001
        fabs 00100094e0000359 => 00100094e0000359
        fabs 3fe0000000000001 => 3fe0000000000001
        fabs 3fe00094e0000359 => 3fe00094e0000359
        fabs 8010000000000001 => 0010000000000001
        fabs 80100094e0000359 => 00100094e0000359
        fabs bfe0000000000001 => 3fe0000000000001
        fabs bfe00094e0000359 => 3fe00094e0000359
        fabs 0000000000000000 => 0000000000000000
        fabs 8000000000000000 => 0000000000000000
        fabs 7ff0000000000000 => 7ff0000000000000
        fabs fff0000000000000 => 7ff0000000000000
        fabs 7ff7ffffffffffff => 7ff7ffffffffffff
        fabs fff7ffffffffffff => 7ff7ffffffffffff
        fabs 7ff8000000000000 => 7ff8000000000000
        fabs fff8000000000000 => 7ff8000000000000

       fnabs 0010000000000001 => 8010000000000001
       fnabs 00100094e0000359 => 80100094e0000359
       fnabs 3fe0000000000001 => bfe0000000000001
       fnabs 3fe00094e0000359 => bfe00094e0000359
       fnabs 8010000000000001 => 8010000000000001
       fnabs 80100094e0000359 => 80100094e0000359
       fnabs bfe0000000000001 => bfe0000000000001
       fnabs bfe00094e0000359 => bfe00094e0000359
       fnabs 0000000000000000 => 8000000000000000
       fnabs 8000000000000000 => 8000000000000000
       fnabs 7ff0000000000000 => fff0000000000000
       fnabs fff0000000000000 => fff0000000000000
       fnabs 7ff7ffffffffffff => fff7ffffffffffff
       fnabs fff7ffffffffffff => fff7ffffffffffff
       fnabs 7ff8000000000000 => fff8000000000000
       fnabs fff8000000000000 => fff8000000000000

       fsqrt 0010000000000001 => 2000000000000000
       fsqrt 00100094e0000359 => 2000004a6f52dd4a
       fsqrt 3fe0000000000001 => 3fe6a09e667f3bcd
       fsqrt 3fe00094e0000359 => 3fe6a107aacb50df
       fsqrt 8010000000000001 => 7ff8000000000000
       fsqrt 80100094e0000359 => 7ff8000000000000
       fsqrt bfe0000000000001 => 7ff8000000000000
       fsqrt bfe00094e0000359 => 7ff8000000000000
       fsqrt 0000000000000000 => 0000000000000000
       fsqrt 8000000000000000 => 8000000000000000
       fsqrt 7ff0000000000000 => 7ff0000000000000
       fsqrt fff0000000000000 => 7ff8000000000000
       fsqrt 7ff7ffffffffffff => 7fffffffffffffff
       fsqrt fff7ffffffffffff => ffffffffffffffff
       fsqrt 7ff8000000000000 => 7ff8000000000000
       fsqrt fff8000000000000 => fff8000000000000

       fcfid 0010000000000001 => 4330000000000001
       fcfid 00100094e0000359 => 43300094e0000359
       fcfid 3fe0000000000001 => 43cff00000000000
       fcfid 3fe00094e0000359 => 43cff0004a700002
       fcfid 8010000000000001 => c3dffc0000000000
       fcfid 80100094e0000359 => c3dffbffdac7ffff
       fcfid bfe0000000000001 => c3d0080000000000
       fcfid bfe00094e0000359 => c3d007ffdac7ffff
       fcfid 0000000000000000 => 0000000000000000
       fcfid 8000000000000000 => c3e0000000000000
       fcfid 7ff0000000000000 => 43dffc0000000000
       fcfid fff0000000000000 => c330000000000000
       fcfid 7ff7ffffffffffff => 43dffe0000000000
       fcfid fff7ffffffffffff => c320000000000002
       fcfid 7ff8000000000000 => 43dffe0000000000
       fcfid fff8000000000000 => c320000000000000

       fctid 0010000000000001 => 0000000000000000
       fctid 00100094e0000359 => 0000000000000000
       fctid 3fe0000000000001 => 0000000000000001
       fctid 3fe00094e0000359 => 0000000000000001
       fctid 8010000000000001 => 0000000000000000
       fctid 80100094e0000359 => 0000000000000000
       fctid bfe0000000000001 => ffffffffffffffff
       fctid bfe00094e0000359 => ffffffffffffffff
       fctid 0000000000000000 => 0000000000000000
       fctid 8000000000000000 => 0000000000000000
       fctid 7ff0000000000000 => 7fffffffffffffff
       fctid fff0000000000000 => 8000000000000000
       fctid 7ff7ffffffffffff => 8000000000000000
       fctid fff7ffffffffffff => 8000000000000000
       fctid 7ff8000000000000 => 8000000000000000
       fctid fff8000000000000 => 8000000000000000

      fctidz 0010000000000001 => 0000000000000000
      fctidz 00100094e0000359 => 0000000000000000
      fctidz 3fe0000000000001 => 0000000000000000
      fctidz 3fe00094e0000359 => 0000000000000000
      fctidz 8010000000000001 => 0000000000000000
      fctidz 80100094e0000359 => 0000000000000000
      fctidz bfe0000000000001 => 0000000000000000
      fctidz bfe00094e0000359 => 0000000000000000
      fctidz 0000000000000000 => 0000000000000000
      fctidz 8000000000000000 => 0000000000000000
      fctidz 7ff0000000000000 => 7fffffffffffffff
      fctidz fff0000000000000 => 8000000000000000
      fctidz 7ff7ffffffffffff => 8000000000000000
      fctidz fff7ffffffffffff => 8000000000000000
      fctidz 7ff8000000000000 => 8000000000000000
      fctidz fff8000000000000 => 8000000000000000

PPC floating point arith insns
    with one arg with flags update:
       fres. 0010000000000001 => 7ff0000000000000
       fres. 00100094e0000359 => 7ff0000000000000
       fres. 3fe0000000000001 => 3ffff00000000000
       fres. 3fe00094e0000359 => 3ffff00000000000
       fres. 8010000000000001 => fff0000000000000
       fres. 80100094e0000359 => fff0000000000000
       fres. bfe0000000000001 => bffff00000000000
       fres. bfe00094e0000359 => bffff00000000000
       fres. 0000000000000000 => 7ff0000000000000
       fres. 8000000000000000 => fff0000000000000
       fres. 7ff0000000000000 => 0000000000000000
       fres. fff0000000000000 => 8000000000000000
       fres. 7ff7ffffffffffff => 7ffff00000000000
       fres. fff7ffffffffffff => fffff00000000000
       fres. 7ff8000000000000 => 7ff8000000000000
       fres. fff8000000000000 => fff8000000000000

    frsqrte. 0010000000000001 => 5fdf000000000000
    frsqrte. 00100094e0000359 => 5fdf000000000000
    frsqrte. 3fe0000000000001 => 3ff6000000000000
    frsqrte. 3fe00094e0000359 => 3ff6000000000000
    frsqrte. 8010000000000001 => 7ff8000000000000
    frsqrte. 80100094e0000359 => 7ff8000000000000
    frsqrte. bfe0000000000001 => 7ff8000000000000
    frsqrte. bfe00094e0000359 => 7ff8000000000000
    frsqrte. 0000000000000000 => 7ff0000000000000
    frsqrte. 8000000000000000 => fff0000000000000
    frsqrte. 7ff0000000000000 => 0000000000000000
    frsqrte. fff0000000000000 => 7ff8000000000000
    frsqrte. 7ff7ffffffffffff => 7fff000000000000
    frsqrte. fff7ffffffffffff => ffff000000000000
    frsqrte. 7ff8000000000000 => 7ff8000000000000
    frsqrte. fff8000000000000 => fff8000000000000

       frsp. 0010000000000001 => 0000000000000000
       frsp. 00100094e0000359 => 0000000000000000
       frsp. 3fe0000000000001 => 3fe0000000000000
       frsp. 3fe00094e0000359 => 3fe00094e0000000
       frsp. 8010000000000001 => 8000000000000000
       frsp. 80100094e0000359 => 8000000000000000
       frsp. bfe0000000000001 => bfe0000000000000
       frsp. bfe00094e0000359 => bfe00094e0000000
       frsp. 0000000000000000 => 0000000000000000
       frsp. 8000000000000000 => 8000000000000000
       frsp. 7ff0000000000000 => 7ff0000000000000
       frsp. fff0000000000000 => fff0000000000000
       frsp. 7ff7ffffffffffff => 7fffffffe0000000
       frsp. fff7ffffffffffff => ffffffffe0000000
       frsp. 7ff8000000000000 => 7ff8000000000000
       frsp. fff8000000000000 => fff8000000000000

      fctiw. 0010000000000001 => 0000000000000000
      fctiw. 00100094e0000359 => 0000000000000000
      fctiw. 3fe0000000000001 => 0000000000000001
      fctiw. 3fe00094e0000359 => 0000000000000001
      fctiw. 8010000000000001 => 0000000000000000
      fctiw. 80100094e0000359 => 0000000000000000
      fctiw. bfe0000000000001 => 00000000ffffffff
      fctiw. bfe00094e0000359 => 00000000ffffffff
      fctiw. 0000000000000000 => 0000000000000000
      fctiw. 8000000000000000 => 0000000000000000
      fctiw. 7ff0000000000000 => 000000007fffffff
      fctiw. fff0000000000000 => 0000000080000000
      fctiw. 7ff7ffffffffffff => 0000000080000000
      fctiw. fff7ffffffffffff => 0000000080000000
      fctiw. 7ff8000000000000 => 0000000080000000
      fctiw. fff8000000000000 => 0000000080000000

     fctiwz. 0010000000000001 => 0000000000000000
     fctiwz. 00100094e0000359 => 0000000000000000
     fctiwz. 3fe0000000000001 => 0000000000000000
     fctiwz. 3fe00094e0000359 => 0000000000000000
     fctiwz. 8010000000000001 => 0000000000000000
     fctiwz. 80100094e0000359 => 0000000000000000
     fctiwz. bfe0000000000001 => 0000000000000000
     fctiwz. bfe00094e0000359 => 0000000000000000
     fctiwz. 0000000000000000 => 0000000000000000
     fctiwz. 8000000000000000 => 0000000000000000
     fctiwz. 7ff0000000000000 => 000000007fffffff
     fctiwz. fff0000000000000 => 0000000080000000
     fctiwz. 7ff7ffffffffffff => 0000000080000000
     fctiwz. fff7ffffffffffff => 0000000080000000
     fctiwz. 7ff8000000000000 => 0000000080000000
     fctiwz. fff8000000000000 => 0000000080000000

        fmr. 0010000000000001 => 0010000000000001
        fmr. 00100094e0000359 => 00100094e0000359
        fmr. 3fe0000000000001 => 3fe0000000000001
        fmr. 3fe00094e0000359 => 3fe00094e0000359
        fmr. 8010000000000001 => 8010000000000001
        fmr. 80100094e0000359 => 80100094e0000359
        fmr. bfe0000000000001 => bfe0000000000001
        fmr. bfe00094e0000359 => bfe00094e0000359
        fmr. 0000000000000000 => 0000000000000000
        fmr. 8000000000000000 => 8000000000000000
        fmr. 7ff0000000000000 => 7ff0000000000000
        fmr. fff0000000000000 => fff0000000000000
        fmr. 7ff7ffffffffffff => 7ff7ffffffffffff
        fmr. fff7ffffffffffff => fff7ffffffffffff
        fmr. 7ff8000000000000 => 7ff8000000000000
        fmr. fff8000000000000 => fff8000000000000

       fneg. 0010000000000001 => 8010000000000001
       fneg. 00100094e0000359 => 80100094e0000359
       fneg. 3fe0000000000001 => bfe0000000000001
       fneg. 3fe00094e0000359 => bfe00094e0000359
       fneg. 8010000000000001 => 0010000000000001
       fneg. 80100094e0000359 => 00100094e0000359
       fneg. bfe0000000000001 => 3fe0000000000001
       fneg. bfe00094e0000359 => 3fe00094e0000359
       fneg. 0000000000000000 => 8000000000000000
       fneg. 8000000000000000 => 0000000000000000
       fneg. 7ff0000000000000 => fff0000000000000
       fneg. fff0000000000000 => 7ff0000000000000
       fneg. 7ff7ffffffffffff => fff7ffffffffffff
       fneg. fff7ffffffffffff => 7ff7ffffffffffff
       fneg. 7ff8000000000000 => fff8000000000000
       fneg. fff8000000000000 => 7ff8000000000000

       fabs. 0010000000000001 => 0010000000000001
       fabs. 00100094e0000359 => 00100094e0000359
       fabs. 3fe0000000000001 => 3fe0000000000001
       fabs. 3fe00094e0000359 => 3fe00094e0000359
       fabs. 8010000000000001 => 0010000000000001
       fabs. 80100094e0000359 => 00100094e0000359
       fabs. bfe0000000000001 => 3fe0000000000001
       fabs. bfe00094e0000359 => 3fe00094e0000359
       fabs. 0000000000000000 => 0000000000000000
       fabs. 8000000000000000 => 0000000000000000
       fabs. 7ff0000000000000 => 7ff0000000000000
       fabs. fff0000000000000 => 7ff0000000000000
       fabs. 7ff7ffffffffffff => 7ff7ffffffffffff
       fabs. fff7ffffffffffff => 7ff7ffffffffffff
       fabs. 7ff8000000000000 => 7ff8000000000000
       fabs. fff8000000000000 => 7ff8000000000000

      fnabs. 0010000000000001 => 8010000000000001
      fnabs. 00100094e0000359 => 80100094e0000359
      fnabs. 3fe0000000000001 => bfe0000000000001
      fnabs. 3fe00094e0000359 => bfe00094e0000359
      fnabs. 8010000000000001 => 8010000000000001
      fnabs. 80100094e0000359 => 80100094e0000359
      fnabs. bfe0000000000001 => bfe0000000000001
      fnabs. bfe00094e0000359 => bfe00094e0000359
      fnabs. 0000000000000000 => 8000000000000000
      fnabs. 8000000000000000 => 8000000000000000
      fnabs. 7ff0000000000000 => fff0000000000000
      fnabs. fff0000000000000 => fff0000000000000
      fnabs. 7ff7ffffffffffff => fff7ffffffffffff
      fnabs. fff7ffffffffffff => fff7ffffffffffff
      fnabs. 7ff8000000000000 => fff8000000000000
      fnabs. fff8000000000000 => fff8000000000000

      fcfid. 0010000000000001 => 4330000000000001
      fcfid. 00100094e0000359 => 43300094e0000359
      fcfid. 3fe0000000000001 => 43cff00000000000
      fcfid. 3fe00094e0000359 => 43cff0004a700002
      fcfid. 8010000000000001 => c3dffc0000000000
      fcfid. 80100094e0000359 => c3dffbffdac7ffff
      fcfid. bfe0000000000001 => c3d0080000000000
      fcfid. bfe00094e0000359 => c3d007ffdac7ffff
      fcfid. 0000000000000000 => 0000000000000000
      fcfid. 8000000000000000 => c3e0000000000000
      fcfid. 7ff0000000000000 => 43dffc0000000000
      fcfid. fff0000000000000 => c330000000000000
      fcfid. 7ff7ffffffffffff => 43dffe0000000000
      fcfid. fff7ffffffffffff => c320000000000002
      fcfid. 7ff8000000000000 => 43dffe0000000000
      fcfid. fff8000000000000 => c320000000000000

      fctid. 0010000000000001 => 0000000000000000
      fctid. 00100094e0000359 => 0000000000000000
      fctid. 3fe0000000000001 => 0000000000000001
      fctid. 3fe00094e0000359 => 0000000000000001
      fctid. 8010000000000001 => 0000000000000000
      fctid. 80100094e0000359 => 0000000000000000
      fctid. bfe0000000000001 => ffffffffffffffff
      fctid. bfe00094e0000359 => ffffffffffffffff
      fctid. 0000000000000000 => 0000000000000000
      fctid. 8000000000000000 => 0000000000000000
      fctid. 7ff0000000000000 => 7fffffffffffffff
      fctid. fff0000000000000 => 8000000000000000
      fctid. 7ff7ffffffffffff => 8000000000000000
      fctid. fff7ffffffffffff => 8000000000000000
      fctid. 7ff8000000000000 => 8000000000000000
      fctid. fff8000000000000 => 8000000000000000

     fctidz. 0010000000000001 => 0000000000000000
     fctidz. 00100094e0000359 => 0000000000000000
     fctidz. 3fe0000000000001 => 0000000000000000
     fctidz. 3fe00094e0000359 => 0000000000000000
     fctidz. 8010000000000001 => 0000000000000000
     fctidz. 80100094e0000359 => 0000000000000000
     fctidz. bfe0000000000001 => 0000000000000000
     fctidz. bfe00094e0000359 => 0000000000000000
     fctidz. 0000000000000000 => 0000000000000000
     fctidz. 8000000000000000 => 0000000000000000
     fctidz. 7ff0000000000000 => 7fffffffffffffff
     fctidz. fff0000000000000 => 8000000000000000
     fctidz. 7ff7ffffffffffff => 8000000000000000
     fctidz. fff7ffffffffffff => 8000000000000000
     fctidz. 7ff8000000000000 => 8000000000000000
     fctidz. fff8000000000000 => 8000000000000000

PPC floating point status register manipulation insns:
PPC floating point status register manipulation insns
  with flags update:
PPC float load insns
    with one register + one 16 bits immediate args with flags update:
         lfs 0010000000000001, 65416 => 37e0000000000000,    0
         lfs 00100094e0000359, 65424 => 37e0009400000000,    0
         lfs 3fe0000000000001, 65432 => 3ffc000000000000,    0
         lfs 3fe00094e0000359, 65440 => 3ffc001280000000,    0
         lfs 8010000000000001, 65448 => b7e0000000000000,    0
         lfs 80100094e0000359, 65456 => b7e0009400000000,    0
         lfs bfe0000000000001, 65464 => bffc000000000000,    0
         lfs bfe00094e0000359, 65472 => bffc001280000000,    0
         lfs 0000000000000000, 65480 => 0000000000000000,    0
         lfs 8000000000000000, 65488 => 8000000000000000,    0
         lfs 7ff0000000000000, 65496 => 7ffe000000000000,    0
         lfs fff0000000000000, 65504 => fffe000000000000,    0
         lfs 7ff7ffffffffffff, 65512 => 7ffeffffe0000000,    0
         lfs fff7ffffffffffff, 65520 => fffeffffe0000000,    0
         lfs 7ff8000000000000, 65528 => 7fff000000000000,    0
         lfs 0010000000000001,    0 => 37e0000000000000,    0
         lfs 00100094e0000359,    8 => 37e0009400000000,    0
         lfs 3fe0000000000001,   16 => 3ffc000000000000,    0
         lfs 3fe00094e0000359,   24 => 3ffc001280000000,    0
         lfs 8010000000000001,   32 => b7e0000000000000,    0
         lfs 80100094e0000359,   40 => b7e0009400000000,    0
         lfs bfe0000000000001,   48 => bffc000000000000,    0
         lfs bfe00094e0000359,   56 => bffc001280000000,    0
         lfs 0000000000000000,   64 => 0000000000000000,    0
         lfs 8000000000000000,   72 => 8000000000000000,    0
         lfs 7ff0000000000000,   80 => 7ffe000000000000,    0
         lfs fff0000000000000,   88 => fffe000000000000,    0
         lfs 7ff7ffffffffffff,   96 => 7ffeffffe0000000,    0
         lfs fff7ffffffffffff,  104 => fffeffffe0000000,    0
         lfs 7ff8000000000000,  112 => 7fff000000000000,    0
         lfs fff8000000000000,  120 => ffff000000000000,    0

        lfsu 0010000000000001, 65416 => 37e0000000000000, -120
        lfsu 00100094e0000359, 65424 => 37e0009400000000, -112
        lfsu 3fe0000000000001, 65432 => 3ffc000000000000, -104
        lfsu 3fe00094e0000359, 65440 => 3ffc001280000000,  -96
        lfsu 8010000000000001, 65448 => b7e0000000000000,  -88
        lfsu 80100094e0000359, 65456 => b7e0009400000000,  -80
        lfsu bfe0000000000001, 65464 => bffc000000000000,  -72
        lfsu bfe00094e0000359, 65472 => bffc001280000000,  -64
        lfsu 0000000000000000, 65480 => 0000000000000000,  -56
        lfsu 8000000000000000, 65488 => 8000000000000000,  -48
        lfsu 7ff0000000000000, 65496 => 7ffe000000000000,  -40
        lfsu fff0000000000000, 65504 => fffe000000000000,  -32
        lfsu 7ff7ffffffffffff, 65512 => 7ffeffffe0000000,  -24
        lfsu fff7ffffffffffff, 65520 => fffeffffe0000000,  -16
        lfsu 7ff8000000000000, 65528 => 7fff000000000000,   -8
        lfsu 0010000000000001,    0 => 37e0000000000000,    0
        lfsu 00100094e0000359,    8 => 37e0009400000000,    8
        lfsu 3fe0000000000001,   16 => 3ffc000000000000,   16
        lfsu 3fe00094e0000359,   24 => 3ffc001280000000,   24
        lfsu 8010000000000001,   32 => b7e0000000000000,   32
        lfsu 80100094e0000359,   40 => b7e0009400000000,   40
        lfsu bfe0000000000001,   48 => bffc000000000000,   48
        lfsu bfe00094e0000359,   56 => bffc001280000000,   56
        lfsu 0000000000000000,   64 => 0000000000000000,   64
        lfsu 8000000000000000,   72 => 8000000000000000,   72
        lfsu 7ff0000000000000,   80 => 7ffe000000000000,   80
        lfsu fff0000000000000,   88 => fffe000000000000,   88
        lfsu 7ff7ffffffffffff,   96 => 7ffeffffe0000000,   96
        lfsu fff7ffffffffffff,  104 => fffeffffe0000000,  104
        lfsu 7ff8000000000000,  112 => 7fff000000000000,  112
        lfsu fff8000000000000,  120 => ffff000000000000,  120

         lfd 0010000000000001, 65416 => 0010000000000001,    0
         lfd 00100094e0000359, 65424 => 00100094e0000359,    0
         lfd 3fe0000000000001, 65432 => 3fe0000000000001,    0
         lfd 3fe00094e0000359, 65440 => 3fe00094e0000359,    0
         lfd 8010000000000001, 65448 => 8010000000000001,    0
         lfd 80100094e0000359, 65456 => 80100094e0000359,    0
         lfd bfe0000000000001, 65464 => bfe0000000000001,    0
         lfd bfe00094e0000359, 65472 => bfe00094e0000359,    0
         lfd 0000000000000000, 65480 => 0000000000000000,    0
         lfd 8000000000000000, 65488 => 8000000000000000,    0
         lfd 7ff0000000000000, 65496 => 7ff0000000000000,    0
         lfd fff0000000000000, 65504 => fff0000000000000,    0
         lfd 7ff7ffffffffffff, 65512 => 7ff7ffffffffffff,    0
         lfd fff7ffffffffffff, 65520 => fff7ffffffffffff,    0
         lfd 7ff8000000000000, 65528 => 7ff8000000000000,    0
         lfd 0010000000000001,    0 => 0010000000000001,    0
         lfd 00100094e0000359,    8 => 00100094e0000359,    0
         lfd 3fe0000000000001,   16 => 3fe0000000000001,    0
         lfd 3fe00094e0000359,   24 => 3fe00094e0000359,    0
         lfd 8010000000000001,   32 => 8010000000000001,    0
         lfd 80100094e0000359,   40 => 80100094e0000359,    0
         lfd bfe0000000000001,   48 => bfe0000000000001,    0
         lfd bfe00094e0000359,   56 => bfe00094e0000359,    0
         lfd 0000000000000000,   64 => 0000000000000000,    0
         lfd 8000000000000000,   72 => 8000000000000000,    0
         lfd 7ff0000000000000,   80 => 7ff0000000000000,    0
         lfd fff0000000000000,   88 => fff0000000000000,    0
         lfd 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
         lfd fff7ffffffffffff,  104 => fff7ffffffffffff,    0
         lfd 7ff8000000000000,  112 => 7ff8000000000000,    0
         lfd fff8000000000000,  120 => fff8000000000000,    0

        lfdu 0010000000000001, 65416 => 0010000000000001, -120
        lfdu 00100094e0000359, 65424 => 00100094e0000359, -112
        lfdu 3fe0000000000001, 65432 => 3fe0000000000001, -104
        lfdu 3fe00094e0000359, 65440 => 3fe00094e0000359,  -96
        lfdu 8010000000000001, 65448 => 8010000000000001,  -88
        lfdu 80100094e0000359, 65456 => 80100094e0000359,  -80
        lfdu bfe0000000000001, 65464 => bfe0000000000001,  -72
        lfdu bfe00094e0000359, 65472 => bfe00094e0000359,  -64
        lfdu 0000000000000000, 65480 => 0000000000000000,  -56
        lfdu 8000000000000000, 65488 => 8000000000000000,  -48
        lfdu 7ff0000000000000, 65496 => 7ff0000000000000,  -40
        lfdu fff0000000000000, 65504 => fff0000000000000,  -32
        lfdu 7ff7ffffffffffff, 65512 => 7ff7ffffffffffff,  -24
        lfdu fff7ffffffffffff, 65520 => fff7ffffffffffff,  -16
        lfdu 7ff8000000000000, 65528 => 7ff8000000000000,   -8
        lfdu 0010000000000001,    0 => 0010000000000001,    0
        lfdu 00100094e0000359,    8 => 00100094e0000359,    8
        lfdu 3fe0000000000001,   16 => 3fe0000000000001,   16
        lfdu 3fe00094e0000359,   24 => 3fe00094e0000359,   24
        lfdu 8010000000000001,   32 => 8010000000000001,   32
        lfdu 80100094e0000359,   40 => 80100094e0000359,   40
        lfdu bfe0000000000001,   48 => bfe0000000000001,   48
        lfdu bfe00094e0000359,   56 => bfe00094e0000359,   56
        lfdu 0000000000000000,   64 => 0000000000000000,   64
        lfdu 8000000000000000,   72 => 8000000000000000,   72
        lfdu 7ff0000000000000,   80 => 7ff0000000000000,   80
        lfdu fff0000000000000,   88 => fff0000000000000,   88
        lfdu 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
        lfdu fff7ffffffffffff,  104 => fff7ffffffffffff,  104
        lfdu 7ff8000000000000,  112 => 7ff8000000000000,  112
        lfdu fff8000000000000,  120 => fff8000000000000,  120

PPC float load insns with two register args:
        lfsx 0010000000000001, -120 => 37e0000000000000,    0
        lfsx 00100094e0000359, -112 => 37e0009400000000,    0
        lfsx 3fe0000000000001, -104 => 3ffc000000000000,    0
        lfsx 3fe00094e0000359,  -96 => 3ffc001280000000,    0
        lfsx 8010000000000001,  -88 => b7e0000000000000,    0
        lfsx 80100094e0000359,  -80 => b7e0009400000000,    0
        lfsx bfe0000000000001,  -72 => bffc000000000000,    0
        lfsx bfe00094e0000359,  -64 => bffc001280000000,    0
        lfsx 0000000000000000,  -56 => 0000000000000000,    0
        lfsx 8000000000000000,  -48 => 8000000000000000,    0
        lfsx 7ff0000000000000,  -40 => 7ffe000000000000,    0
        lfsx fff0000000000000,  -32 => fffe000000000000,    0
        lfsx 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,    0
        lfsx fff7ffffffffffff,  -16 => fffeffffe0000000,    0
        lfsx 7ff8000000000000,   -8 => 7fff000000000000,    0
        lfsx 0010000000000001,    0 => 37e0000000000000,    0
        lfsx 00100094e0000359,    8 => 37e0009400000000,    0
        lfsx 3fe0000000000001,   16 => 3ffc000000000000,    0
        lfsx 3fe00094e0000359,   24 => 3ffc001280000000,    0
        lfsx 8010000000000001,   32 => b7e0000000000000,    0
        lfsx 80100094e0000359,   40 => b7e0009400000000,    0
        lfsx bfe0000000000001,   48 => bffc000000000000,    0
        lfsx bfe00094e0000359,   56 => bffc001280000000,    0
        lfsx 0000000000000000,   64 => 0000000000000000,    0
        lfsx 8000000000000000,   72 => 8000000000000000,    0
        lfsx 7ff0000000000000,   80 => 7ffe000000000000,    0
        lfsx fff0000000000000,   88 => fffe000000000000,    0
        lfsx 7ff7ffffffffffff,   96 => 7ffeffffe0000000,    0
        lfsx fff7ffffffffffff,  104 => fffeffffe0000000,    0
        lfsx 7ff8000000000000,  112 => 7fff000000000000,    0
        lfsx fff8000000000000,  120 => ffff000000000000,    0

       lfsux 0010000000000001, -120 => 37e0000000000000, -120
       lfsux 00100094e0000359, -112 => 37e0009400000000, -112
       lfsux 3fe0000000000001, -104 => 3ffc000000000000, -104
       lfsux 3fe00094e0000359,  -96 => 3ffc001280000000,  -96
       lfsux 8010000000000001,  -88 => b7e0000000000000,  -88
       lfsux 80100094e0000359,  -80 => b7e0009400000000,  -80
       lfsux bfe0000000000001,  -72 => bffc000000000000,  -72
       lfsux bfe00094e0000359,  -64 => bffc001280000000,  -64
       lfsux 0000000000000000,  -56 => 0000000000000000,  -56
       lfsux 8000000000000000,  -48 => 8000000000000000,  -48
       lfsux 7ff0000000000000,  -40 => 7ffe000000000000,  -40
       lfsux fff0000000000000,  -32 => fffe000000000000,  -32
       lfsux 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,  -24
       lfsux fff7ffffffffffff,  -16 => fffeffffe0000000,  -16
       lfsux 7ff8000000000000,   -8 => 7fff000000000000,   -8
       lfsux 0010000000000001,    0 => 37e0000000000000,    0
       lfsux 00100094e0000359,    8 => 37e0009400000000,    8
       lfsux 3fe0000000000001,   16 => 3ffc000000000000,   16
       lfsux 3fe00094e0000359,   24 => 3ffc001280000000,   24
       lfsux 8010000000000001,   32 => b7e0000000000000,   32
       lfsux 80100094e0000359,   40 => b7e0009400000000,   40
       lfsux bfe0000000000001,   48 => bffc000000000000,   48
       lfsux bfe00094e0000359,   56 => bffc001280000000,   56
       lfsux 0000000000000000,   64 => 0000000000000000,   64
       lfsux 8000000000000000,   72 => 8000000000000000,   72
       lfsux 7ff0000000000000,   80 => 7ffe000000000000,   80
       lfsux fff0000000000000,   88 => fffe000000000000,   88
       lfsux 7ff7ffffffffffff,   96 => 7ffeffffe0000000,   96
       lfsux fff7ffffffffffff,  104 => fffeffffe0000000,  104
       lfsux 7ff8000000000000,  112 => 7fff000000000000,  112
       lfsux fff8000000000000,  120 => ffff000000000000,  120

        lfdx 0010000000000001, -120 => 0010000000000001,    0
        lfdx 00100094e0000359, -112 => 00100094e0000359,    0
        lfdx 3fe0000000000001, -104 => 3fe0000000000001,    0
        lfdx 3fe00094e0000359,  -96 => 3fe00094e0000359,    0
        lfdx 8010000000000001,  -88 => 8010000000000001,    0
        lfdx 80100094e0000359,  -80 => 80100094e0000359,    0
        lfdx bfe0000000000001,  -72 => bfe0000000000001,    0
        lfdx bfe00094e0000359,  -64 => bfe00094e0000359,    0
        lfdx 0000000000000000,  -56 => 0000000000000000,    0
        lfdx 8000000000000000,  -48 => 8000000000000000,    0
        lfdx 7ff0000000000000,  -40 => 7ff0000000000000,    0
        lfdx fff0000000000000,  -32 => fff0000000000000,    0
        lfdx 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,    0
        lfdx fff7ffffffffffff,  -16 => fff7ffffffffffff,    0
        lfdx 7ff8000000000000,   -8 => 7ff8000000000000,    0
        lfdx 0010000000000001,    0 => 0010000000000001,    0
        lfdx 00100094e0000359,    8 => 00100094e0000359,    0
        lfdx 3fe0000000000001,   16 => 3fe0000000000001,    0
        lfdx 3fe00094e0000359,   24 => 3fe00094e0000359,    0
        lfdx 8010000000000001,   32 => 8010000000000001,    0
        lfdx 80100094e0000359,   40 => 80100094e0000359,    0
        lfdx bfe0000000000001,   48 => bfe0000000000001,    0
        lfdx bfe00094e0000359,   56 => bfe00094e0000359,    0
        lfdx 0000000000000000,   64 => 0000000000000000,    0
        lfdx 8000000000000000,   72 => 8000000000000000,    0
        lfdx 7ff0000000000000,   80 => 7ff0000000000000,    0
        lfdx fff0000000000000,   88 => fff0000000000000,    0
        lfdx 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
        lfdx fff7ffffffffffff,  104 => fff7ffffffffffff,    0
        lfdx 7ff8000000000000,  112 => 7ff8000000000000,    0
        lfdx fff8000000000000,  120 => fff8000000000000,    0

       lfdux 0010000000000001, -120 => 0010000000000001, -120
       lfdux 00100094e0000359, -112 => 00100094e0000359, -112
       lfdux 3fe0000000000001, -104 => 3fe0000000000001, -104
       lfdux 3fe00094e0000359,  -96 => 3fe00094e0000359,  -96
       lfdux 8010000000000001,  -88 => 8010000000000001,  -88
       lfdux 80100094e0000359,  -80 => 80100094e0000359,  -80
       lfdux bfe0000000000001,  -72 => bfe0000000000001,  -72
       lfdux bfe00094e0000359,  -64 => bfe00094e0000359,  -64
       lfdux 0000000000000000,  -56 => 0000000000000000,  -56
       lfdux 8000000000000000,  -48 => 8000000000000000,  -48
       lfdux 7ff0000000000000,  -40 => 7ff0000000000000,  -40
       lfdux fff0000000000000,  -32 => fff0000000000000,  -32
       lfdux 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,  -24
       lfdux fff7ffffffffffff,  -16 => fff7ffffffffffff,  -16
       lfdux 7ff8000000000000,   -8 => 7ff8000000000000,   -8
       lfdux 0010000000000001,    0 => 0010000000000001,    0
       lfdux 00100094e0000359,    8 => 00100094e0000359,    8
       lfdux 3fe0000000000001,   16 => 3fe0000000000001,   16
       lfdux 3fe00094e0000359,   24 => 3fe00094e0000359,   24
       lfdux 8010000000000001,   32 => 8010000000000001,   32
       lfdux 80100094e0000359,   40 => 80100094e0000359,   40
       lfdux bfe0000000000001,   48 => bfe0000000000001,   48
       lfdux bfe00094e0000359,   56 => bfe00094e0000359,   56
       lfdux 0000000000000000,   64 => 0000000000000000,   64
       lfdux 8000000000000000,   72 => 8000000000000000,   72
       lfdux 7ff0000000000000,   80 => 7ff0000000000000,   80
       lfdux fff0000000000000,   88 => fff0000000000000,   88
       lfdux 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
       lfdux fff7ffffffffffff,  104 => fff7ffffffffffff,  104
       lfdux 7ff8000000000000,  112 => 7ff8000000000000,  112
       lfdux fff8000000000000,  120 => fff8000000000000,  120

PPC float store insns
    with one register + one 16 bits immediate args with flags update:
         stfs 0010000000000001,  -56 => 0000000000000000,    0
         stfs 00100094e0000359,  -48 => 0000000000000000,    0
         stfs 3fe0000000000001,  -40 => 3f00000000000000,    0
         stfs 3fe00094e0000359,  -32 => 3f0004a700000000,    0
         stfs 8010000000000001,  -24 => 8000000000000000,    0
         stfs 80100094e0000359,  -16 => 8000000000000000,    0
         stfs bfe0000000000001,   -8 => bf00000000000000,    0
         stfs 0010000000000001,    0 => 0000000000000000,    0
         stfs 00100094e0000359,    8 => 0000000000000000,    0
         stfs 3fe0000000000001,   16 => 3f00000000000000,    0
         stfs 3fe00094e0000359,   24 => 3f0004a700000000,    0
         stfs 8010000000000001,   32 => 8000000000000000,    0
         stfs 80100094e0000359,   40 => 8000000000000000,    0
         stfs bfe0000000000001,   48 => bf00000000000000,    0
         stfs bfe00094e0000359,   56 => bf0004a700000000,    0

        stfsu 0010000000000001,  -56 => 0000000000000000,  -56
        stfsu 00100094e0000359,  -48 => 0000000000000000,  -48
        stfsu 3fe0000000000001,  -40 => 3f00000000000000,  -40
        stfsu 3fe00094e0000359,  -32 => 3f0004a700000000,  -32
        stfsu 8010000000000001,  -24 => 8000000000000000,  -24
        stfsu 80100094e0000359,  -16 => 8000000000000000,  -16
        stfsu bfe0000000000001,   -8 => bf00000000000000,   -8
        stfsu 0010000000000001,    0 => 0000000000000000,    0
        stfsu 00100094e0000359,    8 => 0000000000000000,    8
        stfsu 3fe0000000000001,   16 => 3f00000000000000,   16
        stfsu 3fe00094e0000359,   24 => 3f0004a700000000,   24
        stfsu 8010000000000001,   32 => 8000000000000000,   32
        stfsu 80100094e0000359,   40 => 8000000000000000,   40
        stfsu bfe0000000000001,   48 => bf00000000000000,   48
        stfsu bfe00094e0000359,   56 => bf0004a700000000,   56

         stfd 0010000000000001, -120 => 0010000000000001,    0
         stfd 00100094e0000359, -112 => 00100094e0000359,    0
         stfd 3fe0000000000001, -104 => 3fe0000000000001,    0
         stfd 3fe00094e0000359,  -96 => 3fe00094e0000359,    0
         stfd 8010000000000001,  -88 => 8010000000000001,    0
         stfd 80100094e0000359,  -80 => 80100094e0000359,    0
         stfd bfe0000000000001,  -72 => bfe0000000000001,    0
         stfd bfe00094e0000359,  -64 => bfe00094e0000359,    0
         stfd 0000000000000000,  -56 => 0000000000000000,    0
         stfd 8000000000000000,  -48 => 8000000000000000,    0
         stfd 7ff0000000000000,  -40 => 7ff0000000000000,    0
         stfd fff0000000000000,  -32 => fff0000000000000,    0
         stfd 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,    0
         stfd fff7ffffffffffff,  -16 => fff7ffffffffffff,    0
         stfd 7ff8000000000000,   -8 => 7ff8000000000000,    0
         stfd 0010000000000001,    0 => 0010000000000001,    0
         stfd 00100094e0000359,    8 => 00100094e0000359,    0
         stfd 3fe0000000000001,   16 => 3fe0000000000001,    0
         stfd 3fe00094e0000359,   24 => 3fe00094e0000359,    0
         stfd 8010000000000001,   32 => 8010000000000001,    0
         stfd 80100094e0000359,   40 => 80100094e0000359,    0
         stfd bfe0000000000001,   48 => bfe0000000000001,    0
         stfd bfe00094e0000359,   56 => bfe00094e0000359,    0
         stfd 0000000000000000,   64 => 0000000000000000,    0
         stfd 8000000000000000,   72 => 8000000000000000,    0
         stfd 7ff0000000000000,   80 => 7ff0000000000000,    0
         stfd fff0000000000000,   88 => fff0000000000000,    0
         stfd 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
         stfd fff7ffffffffffff,  104 => fff7ffffffffffff,    0
         stfd 7ff8000000000000,  112 => 7ff8000000000000,    0
         stfd fff8000000000000,  120 => fff8000000000000,    0

        stfdu 0010000000000001, -120 => 0010000000000001, -120
        stfdu 00100094e0000359, -112 => 00100094e0000359, -112
        stfdu 3fe0000000000001, -104 => 3fe0000000000001, -104
        stfdu 3fe00094e0000359,  -96 => 3fe00094e0000359,  -96
        stfdu 8010000000000001,  -88 => 8010000000000001,  -88
        stfdu 80100094e0000359,  -80 => 80100094e0000359,  -80
        stfdu bfe0000000000001,  -72 => bfe0000000000001,  -72
        stfdu bfe00094e0000359,  -64 => bfe00094e0000359,  -64
        stfdu 0000000000000000,  -56 => 0000000000000000,  -56
        stfdu 8000000000000000,  -48 => 8000000000000000,  -48
        stfdu 7ff0000000000000,  -40 => 7ff0000000000000,  -40
        stfdu fff0000000000000,  -32 => fff0000000000000,  -32
        stfdu 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,  -24
        stfdu fff7ffffffffffff,  -16 => fff7ffffffffffff,  -16
        stfdu 7ff8000000000000,   -8 => 7ff8000000000000,   -8
        stfdu 0010000000000001,    0 => 0010000000000001,    0
        stfdu 00100094e0000359,    8 => 00100094e0000359,    8
        stfdu 3fe0000000000001,   16 => 3fe0000000000001,   16
        stfdu 3fe00094e0000359,   24 => 3fe00094e0000359,   24
        stfdu 8010000000000001,   32 => 8010000000000001,   32
        stfdu 80100094e0000359,   40 => 80100094e0000359,   40
        stfdu bfe0000000000001,   48 => bfe0000000000001,   48
        stfdu bfe00094e0000359,   56 => bfe00094e0000359,   56
        stfdu 0000000000000000,   64 => 0000000000000000,   64
        stfdu 8000000000000000,   72 => 8000000000000000,   72
        stfdu 7ff0000000000000,   80 => 7ff0000000000000,   80
        stfdu fff0000000000000,   88 => fff0000000000000,   88
        stfdu 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
        stfdu fff7ffffffffffff,  104 => fff7ffffffffffff,  104
        stfdu 7ff8000000000000,  112 => 7ff8000000000000,  112
        stfdu fff8000000000000,  120 => fff8000000000000,  120

PPC float store insns with three register args:
        stfsx 0010000000000001,    0 => 0000000000000000,    0
        stfsx 00100094e0000359,    8 => 0000000000000000,    0
        stfsx 3fe0000000000001,   16 => 3f00000000000000,    0
        stfsx 3fe00094e0000359,   24 => 3f0004a700000000,    0
        stfsx 8010000000000001,   32 => 8000000000000000,    0
        stfsx 80100094e0000359,   40 => 8000000000000000,    0
        stfsx bfe0000000000001,   48 => bf00000000000000,    0
        stfsx bfe00094e0000359,   56 => bf0004a700000000,    0

       stfsux 0010000000000001,    0 => 0000000000000000,    0
       stfsux 00100094e0000359,    8 => 0000000000000000,    8
       stfsux 3fe0000000000001,   16 => 3f00000000000000,   16
       stfsux 3fe00094e0000359,   24 => 3f0004a700000000,   24
       stfsux 8010000000000001,   32 => 8000000000000000,   32
       stfsux 80100094e0000359,   40 => 8000000000000000,   40
       stfsux bfe0000000000001,   48 => bf00000000000000,   48
       stfsux bfe00094e0000359,   56 => bf0004a700000000,   56

        stfdx 0010000000000001,    0 => 0010000000000001,    0
        stfdx 00100094e0000359,    8 => 00100094e0000359,    0
        stfdx 3fe0000000000001,   16 => 3fe0000000000001,    0
        stfdx 3fe00094e0000359,   24 => 3fe00094e0000359,    0
        stfdx 8010000000000001,   32 => 8010000000000001,    0
        stfdx 80100094e0000359,   40 => 80100094e0000359,    0
        stfdx bfe0000000000001,   48 => bfe0000000000001,    0
        stfdx bfe00094e0000359,   56 => bfe00094e0000359,    0
        stfdx 0000000000000000,   64 => 0000000000000000,    0
        stfdx 8000000000000000,   72 => 8000000000000000,    0
        stfdx 7ff0000000000000,   80 => 7ff0000000000000,    0
        stfdx fff0000000000000,   88 => fff0000000000000,    0
        stfdx 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
        stfdx fff7ffffffffffff,  104 => fff7ffffffffffff,    0
        stfdx 7ff8000000000000,  112 => 7ff8000000000000,    0
        stfdx fff8000000000000,  120 => fff8000000000000,    0

       stfdux 0010000000000001,    0 => 0010000000000001,    0
       stfdux 00100094e0000359,    8 => 00100094e0000359,    8
       stfdux 3fe0000000000001,   16 => 3fe0000000000001,   16
       stfdux 3fe00094e0000359,   24 => 3fe00094e0000359,   24
       stfdux 8010000000000001,   32 => 8010000000000001,   32
       stfdux 80100094e0000359,   40 => 80100094e0000359,   40
       stfdux bfe0000000000001,   48 => bfe0000000000001,   48
       stfdux bfe00094e0000359,   56 => bfe00094e0000359,   56
       stfdux 0000000000000000,   64 => 0000000000000000,   64
       stfdux 8000000000000000,   72 => 8000000000000000,   72
       stfdux 7ff0000000000000,   80 => 7ff0000000000000,   80
       stfdux fff0000000000000,   88 => fff0000000000000,   88
       stfdux 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
       stfdux fff7ffffffffffff,  104 => fff7ffffffffffff,  104
       stfdux 7ff8000000000000,  112 => 7ff8000000000000,  112
       stfdux fff8000000000000,  120 => fff8000000000000,  120

All done. Tested 77 different instructions