510       int permunreg[6];  in print_encoding_x86_64()  local
518         permunreg[0] = permutation / 120; // 120 == 5!  in print_encoding_x86_64()
519         permutation -= (permunreg[0] * 120);  in print_encoding_x86_64()
520         permunreg[1] = permutation / 24; // 24 == 4!  in print_encoding_x86_64()
521         permutation -= (permunreg[1] * 24);  in print_encoding_x86_64()
522         permunreg[2] = permutation / 6; // 6 == 3!  in print_encoding_x86_64()
523         permutation -= (permunreg[2] * 6);  in print_encoding_x86_64()
524         permunreg[3] = permutation / 2; // 2 == 2!  in print_encoding_x86_64()
525         permutation -= (permunreg[3] * 2);  in print_encoding_x86_64()
526         permunreg[4] = permutation; // 1 == 1!  in print_encoding_x86_64()
527         permunreg[5] = 0;  in print_encoding_x86_64()
530         permunreg[0] = permutation / 120;  in print_encoding_x86_64()
531         permutation -= (permunreg[0] * 120);  in print_encoding_x86_64()
532         permunreg[1] = permutation / 24;  in print_encoding_x86_64()
533         permutation -= (permunreg[1] * 24);  in print_encoding_x86_64()
534         permunreg[2] = permutation / 6;  in print_encoding_x86_64()
535         permutation -= (permunreg[2] * 6);  in print_encoding_x86_64()
536         permunreg[3] = permutation / 2;  in print_encoding_x86_64()
537         permutation -= (permunreg[3] * 2);  in print_encoding_x86_64()
538         permunreg[4] = permutation;  in print_encoding_x86_64()
541         permunreg[0] = permutation / 60;  in print_encoding_x86_64()
542         permutation -= (permunreg[0] * 60);  in print_encoding_x86_64()
543         permunreg[1] = permutation / 12;  in print_encoding_x86_64()
544         permutation -= (permunreg[1] * 12);  in print_encoding_x86_64()
545         permunreg[2] = permutation / 3;  in print_encoding_x86_64()
546         permutation -= (permunreg[2] * 3);  in print_encoding_x86_64()
547         permunreg[3] = permutation;  in print_encoding_x86_64()
550         permunreg[0] = permutation / 20;  in print_encoding_x86_64()
551         permutation -= (permunreg[0] * 20);  in print_encoding_x86_64()
552         permunreg[1] = permutation / 4;  in print_encoding_x86_64()
553         permutation -= (permunreg[1] * 4);  in print_encoding_x86_64()
554         permunreg[2] = permutation;  in print_encoding_x86_64()
557         permunreg[0] = permutation / 5;  in print_encoding_x86_64()
558         permutation -= (permunreg[0] * 5);  in print_encoding_x86_64()
559         permunreg[1] = permutation;  in print_encoding_x86_64()
562         permunreg[0] = permutation;  in print_encoding_x86_64()
575             if (renum == permunreg[i]) {  in print_encoding_x86_64()
726       int permunreg[6];  in print_encoding_i386()  local
734         permunreg[0] = permutation / 120; // 120 == 5!  in print_encoding_i386()
735         permutation -= (permunreg[0] * 120);  in print_encoding_i386()
736         permunreg[1] = permutation / 24; // 24 == 4!  in print_encoding_i386()
737         permutation -= (permunreg[1] * 24);  in print_encoding_i386()
738         permunreg[2] = permutation / 6; // 6 == 3!  in print_encoding_i386()
739         permutation -= (permunreg[2] * 6);  in print_encoding_i386()
740         permunreg[3] = permutation / 2; // 2 == 2!  in print_encoding_i386()
741         permutation -= (permunreg[3] * 2);  in print_encoding_i386()
742         permunreg[4] = permutation; // 1 == 1!  in print_encoding_i386()
743         permunreg[5] = 0;  in print_encoding_i386()
746         permunreg[0] = permutation / 120;  in print_encoding_i386()
747         permutation -= (permunreg[0] * 120);  in print_encoding_i386()
748         permunreg[1] = permutation / 24;  in print_encoding_i386()
749         permutation -= (permunreg[1] * 24);  in print_encoding_i386()
750         permunreg[2] = permutation / 6;  in print_encoding_i386()
751         permutation -= (permunreg[2] * 6);  in print_encoding_i386()
752         permunreg[3] = permutation / 2;  in print_encoding_i386()
753         permutation -= (permunreg[3] * 2);  in print_encoding_i386()
754         permunreg[4] = permutation;  in print_encoding_i386()
757         permunreg[0] = permutation / 60;  in print_encoding_i386()
758         permutation -= (permunreg[0] * 60);  in print_encoding_i386()
759         permunreg[1] = permutation / 12;  in print_encoding_i386()
760         permutation -= (permunreg[1] * 12);  in print_encoding_i386()
761         permunreg[2] = permutation / 3;  in print_encoding_i386()
762         permutation -= (permunreg[2] * 3);  in print_encoding_i386()
763         permunreg[3] = permutation;  in print_encoding_i386()
766         permunreg[0] = permutation / 20;  in print_encoding_i386()
767         permutation -= (permunreg[0] * 20);  in print_encoding_i386()
768         permunreg[1] = permutation / 4;  in print_encoding_i386()
769         permutation -= (permunreg[1] * 4);  in print_encoding_i386()
770         permunreg[2] = permutation;  in print_encoding_i386()
773         permunreg[0] = permutation / 5;  in print_encoding_i386()
774         permutation -= (permunreg[0] * 5);  in print_encoding_i386()
775         permunreg[1] = permutation;  in print_encoding_i386()
778         permunreg[0] = permutation;  in print_encoding_i386()
791             if (renum == permunreg[i]) {  in print_encoding_i386()