jm-fp.stdout.exp

The Valgrind distribution has multiple tools. The most popular is the memory checking tool (called M

       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