LCOV - code coverage report
Current view: top level - ballet/reedsol/wrapped_impl - fd_reedsol_ppt_impl_50.c (source / functions) Hit Total Coverage
Test: cov.lcov Lines: 655 655 100.0 %
Date: 2025-07-01 05:00:49 Functions: 5 5 100.0 %

          Line data    Source code
       1             : /* Note: This file is auto generated. */
       2             : #include "../fd_reedsol_ppt.h"
       3             : 
       4             : FD_FN_UNSANITIZED void
       5             : fd_reedsol_ppt_64_50( gf_t * _in00,
       6             :                       gf_t * _in01,
       7             :                       gf_t * _in02,
       8             :                       gf_t * _in03,
       9             :                       gf_t * _in04,
      10             :                       gf_t * _in05,
      11             :                       gf_t * _in06,
      12             :                       gf_t * _in07,
      13             :                       gf_t * _in08,
      14             :                       gf_t * _in09,
      15             :                       gf_t * _in10,
      16             :                       gf_t * _in11,
      17             :                       gf_t * _in12,
      18             :                       gf_t * _in13,
      19             :                       gf_t * _in14,
      20             :                       gf_t * _in15,
      21             :                       gf_t * _in16,
      22             :                       gf_t * _in17,
      23             :                       gf_t * _in18,
      24             :                       gf_t * _in19,
      25             :                       gf_t * _in20,
      26             :                       gf_t * _in21,
      27             :                       gf_t * _in22,
      28             :                       gf_t * _in23,
      29             :                       gf_t * _in24,
      30             :                       gf_t * _in25,
      31             :                       gf_t * _in26,
      32             :                       gf_t * _in27,
      33             :                       gf_t * _in28,
      34             :                       gf_t * _in29,
      35             :                       gf_t * _in30,
      36             :                       gf_t * _in31,
      37             :                       gf_t * _in32,
      38             :                       gf_t * _in33,
      39             :                       gf_t * _in34,
      40             :                       gf_t * _in35,
      41             :                       gf_t * _in36,
      42             :                       gf_t * _in37,
      43             :                       gf_t * _in38,
      44             :                       gf_t * _in39,
      45             :                       gf_t * _in40,
      46             :                       gf_t * _in41,
      47             :                       gf_t * _in42,
      48             :                       gf_t * _in43,
      49             :                       gf_t * _in44,
      50             :                       gf_t * _in45,
      51             :                       gf_t * _in46,
      52             :                       gf_t * _in47,
      53             :                       gf_t * _in48,
      54             :                       gf_t * _in49,
      55             :                       gf_t * _in50,
      56             :                       gf_t * _in51,
      57             :                       gf_t * _in52,
      58             :                       gf_t * _in53,
      59             :                       gf_t * _in54,
      60             :                       gf_t * _in55,
      61             :                       gf_t * _in56,
      62             :                       gf_t * _in57,
      63             :                       gf_t * _in58,
      64             :                       gf_t * _in59,
      65             :                       gf_t * _in60,
      66             :                       gf_t * _in61,
      67             :                       gf_t * _in62,
      68      515640 :                       gf_t * _in63 ) {
      69      515640 :   gf_t in00 = *_in00;
      70      515640 :   gf_t in01 = *_in01;
      71      515640 :   gf_t in02 = *_in02;
      72      515640 :   gf_t in03 = *_in03;
      73      515640 :   gf_t in04 = *_in04;
      74      515640 :   gf_t in05 = *_in05;
      75      515640 :   gf_t in06 = *_in06;
      76      515640 :   gf_t in07 = *_in07;
      77      515640 :   gf_t in08 = *_in08;
      78      515640 :   gf_t in09 = *_in09;
      79      515640 :   gf_t in10 = *_in10;
      80      515640 :   gf_t in11 = *_in11;
      81      515640 :   gf_t in12 = *_in12;
      82      515640 :   gf_t in13 = *_in13;
      83      515640 :   gf_t in14 = *_in14;
      84      515640 :   gf_t in15 = *_in15;
      85      515640 :   gf_t in16 = *_in16;
      86      515640 :   gf_t in17 = *_in17;
      87      515640 :   gf_t in18 = *_in18;
      88      515640 :   gf_t in19 = *_in19;
      89      515640 :   gf_t in20 = *_in20;
      90      515640 :   gf_t in21 = *_in21;
      91      515640 :   gf_t in22 = *_in22;
      92      515640 :   gf_t in23 = *_in23;
      93      515640 :   gf_t in24 = *_in24;
      94      515640 :   gf_t in25 = *_in25;
      95      515640 :   gf_t in26 = *_in26;
      96      515640 :   gf_t in27 = *_in27;
      97      515640 :   gf_t in28 = *_in28;
      98      515640 :   gf_t in29 = *_in29;
      99      515640 :   gf_t in30 = *_in30;
     100      515640 :   gf_t in31 = *_in31;
     101      515640 :   gf_t in32 = *_in32;
     102      515640 :   gf_t in33 = *_in33;
     103      515640 :   gf_t in34 = *_in34;
     104      515640 :   gf_t in35 = *_in35;
     105      515640 :   gf_t in36 = *_in36;
     106      515640 :   gf_t in37 = *_in37;
     107      515640 :   gf_t in38 = *_in38;
     108      515640 :   gf_t in39 = *_in39;
     109      515640 :   gf_t in40 = *_in40;
     110      515640 :   gf_t in41 = *_in41;
     111      515640 :   gf_t in42 = *_in42;
     112      515640 :   gf_t in43 = *_in43;
     113      515640 :   gf_t in44 = *_in44;
     114      515640 :   gf_t in45 = *_in45;
     115      515640 :   gf_t in46 = *_in46;
     116      515640 :   gf_t in47 = *_in47;
     117      515640 :   gf_t in48 = *_in48;
     118      515640 :   gf_t in49 = *_in49;
     119      515640 :   gf_t in50 = *_in50;
     120      515640 :   gf_t in51 = *_in51;
     121      515640 :   gf_t in52 = *_in52;
     122      515640 :   gf_t in53 = *_in53;
     123      515640 :   gf_t in54 = *_in54;
     124      515640 :   gf_t in55 = *_in55;
     125      515640 :   gf_t in56 = *_in56;
     126      515640 :   gf_t in57 = *_in57;
     127      515640 :   gf_t in58 = *_in58;
     128      515640 :   gf_t in59 = *_in59;
     129      515640 :   gf_t in60 = *_in60;
     130      515640 :   gf_t in61 = *_in61;
     131      515640 :   gf_t in62 = *_in62;
     132      515640 :   gf_t in63 = *_in63;
     133             : 
     134      515640 :   FD_REEDSOL_GENERATE_PPT( 64, 50, in00, in01, in02, in03, in04, in05, in06, in07, in08, in09, in10, in11, in12, in13, in14, in15, in16, in17, in18, in19, in20, in21, in22, in23, in24, in25, in26, in27, in28, in29, in30, in31, in32, in33, in34, in35, in36, in37, in38, in39, in40, in41, in42, in43, in44, in45, in46, in47, in48, in49, in50, in51, in52, in53, in54, in55, in56, in57, in58, in59, in60, in61, in62, in63 );
     135      515640 :   *_in00 = in00;
     136      515640 :   *_in01 = in01;
     137      515640 :   *_in02 = in02;
     138      515640 :   *_in03 = in03;
     139      515640 :   *_in04 = in04;
     140      515640 :   *_in05 = in05;
     141      515640 :   *_in06 = in06;
     142      515640 :   *_in07 = in07;
     143      515640 :   *_in08 = in08;
     144      515640 :   *_in09 = in09;
     145      515640 :   *_in10 = in10;
     146      515640 :   *_in11 = in11;
     147      515640 :   *_in12 = in12;
     148      515640 :   *_in13 = in13;
     149      515640 :   *_in14 = in14;
     150      515640 :   *_in15 = in15;
     151      515640 :   *_in16 = in16;
     152      515640 :   *_in17 = in17;
     153      515640 :   *_in18 = in18;
     154      515640 :   *_in19 = in19;
     155      515640 :   *_in20 = in20;
     156      515640 :   *_in21 = in21;
     157      515640 :   *_in22 = in22;
     158      515640 :   *_in23 = in23;
     159      515640 :   *_in24 = in24;
     160      515640 :   *_in25 = in25;
     161      515640 :   *_in26 = in26;
     162      515640 :   *_in27 = in27;
     163      515640 :   *_in28 = in28;
     164      515640 :   *_in29 = in29;
     165      515640 :   *_in30 = in30;
     166      515640 :   *_in31 = in31;
     167      515640 :   *_in32 = in32;
     168      515640 :   *_in33 = in33;
     169      515640 :   *_in34 = in34;
     170      515640 :   *_in35 = in35;
     171      515640 :   *_in36 = in36;
     172      515640 :   *_in37 = in37;
     173      515640 :   *_in38 = in38;
     174      515640 :   *_in39 = in39;
     175      515640 :   *_in40 = in40;
     176      515640 :   *_in41 = in41;
     177      515640 :   *_in42 = in42;
     178      515640 :   *_in43 = in43;
     179      515640 :   *_in44 = in44;
     180      515640 :   *_in45 = in45;
     181      515640 :   *_in46 = in46;
     182      515640 :   *_in47 = in47;
     183      515640 :   *_in48 = in48;
     184      515640 :   *_in49 = in49;
     185      515640 :   *_in50 = in50;
     186      515640 :   *_in51 = in51;
     187      515640 :   *_in52 = in52;
     188      515640 :   *_in53 = in53;
     189      515640 :   *_in54 = in54;
     190      515640 :   *_in55 = in55;
     191      515640 :   *_in56 = in56;
     192      515640 :   *_in57 = in57;
     193      515640 :   *_in58 = in58;
     194      515640 :   *_in59 = in59;
     195      515640 :   *_in60 = in60;
     196      515640 :   *_in61 = in61;
     197      515640 :   *_in62 = in62;
     198      515640 :   *_in63 = in63;
     199      515640 : }
     200             : 
     201             : FD_FN_UNSANITIZED void
     202             : fd_reedsol_ppt_64_51( gf_t * _in00,
     203             :                       gf_t * _in01,
     204             :                       gf_t * _in02,
     205             :                       gf_t * _in03,
     206             :                       gf_t * _in04,
     207             :                       gf_t * _in05,
     208             :                       gf_t * _in06,
     209             :                       gf_t * _in07,
     210             :                       gf_t * _in08,
     211             :                       gf_t * _in09,
     212             :                       gf_t * _in10,
     213             :                       gf_t * _in11,
     214             :                       gf_t * _in12,
     215             :                       gf_t * _in13,
     216             :                       gf_t * _in14,
     217             :                       gf_t * _in15,
     218             :                       gf_t * _in16,
     219             :                       gf_t * _in17,
     220             :                       gf_t * _in18,
     221             :                       gf_t * _in19,
     222             :                       gf_t * _in20,
     223             :                       gf_t * _in21,
     224             :                       gf_t * _in22,
     225             :                       gf_t * _in23,
     226             :                       gf_t * _in24,
     227             :                       gf_t * _in25,
     228             :                       gf_t * _in26,
     229             :                       gf_t * _in27,
     230             :                       gf_t * _in28,
     231             :                       gf_t * _in29,
     232             :                       gf_t * _in30,
     233             :                       gf_t * _in31,
     234             :                       gf_t * _in32,
     235             :                       gf_t * _in33,
     236             :                       gf_t * _in34,
     237             :                       gf_t * _in35,
     238             :                       gf_t * _in36,
     239             :                       gf_t * _in37,
     240             :                       gf_t * _in38,
     241             :                       gf_t * _in39,
     242             :                       gf_t * _in40,
     243             :                       gf_t * _in41,
     244             :                       gf_t * _in42,
     245             :                       gf_t * _in43,
     246             :                       gf_t * _in44,
     247             :                       gf_t * _in45,
     248             :                       gf_t * _in46,
     249             :                       gf_t * _in47,
     250             :                       gf_t * _in48,
     251             :                       gf_t * _in49,
     252             :                       gf_t * _in50,
     253             :                       gf_t * _in51,
     254             :                       gf_t * _in52,
     255             :                       gf_t * _in53,
     256             :                       gf_t * _in54,
     257             :                       gf_t * _in55,
     258             :                       gf_t * _in56,
     259             :                       gf_t * _in57,
     260             :                       gf_t * _in58,
     261             :                       gf_t * _in59,
     262             :                       gf_t * _in60,
     263             :                       gf_t * _in61,
     264             :                       gf_t * _in62,
     265      515544 :                       gf_t * _in63 ) {
     266      515544 :   gf_t in00 = *_in00;
     267      515544 :   gf_t in01 = *_in01;
     268      515544 :   gf_t in02 = *_in02;
     269      515544 :   gf_t in03 = *_in03;
     270      515544 :   gf_t in04 = *_in04;
     271      515544 :   gf_t in05 = *_in05;
     272      515544 :   gf_t in06 = *_in06;
     273      515544 :   gf_t in07 = *_in07;
     274      515544 :   gf_t in08 = *_in08;
     275      515544 :   gf_t in09 = *_in09;
     276      515544 :   gf_t in10 = *_in10;
     277      515544 :   gf_t in11 = *_in11;
     278      515544 :   gf_t in12 = *_in12;
     279      515544 :   gf_t in13 = *_in13;
     280      515544 :   gf_t in14 = *_in14;
     281      515544 :   gf_t in15 = *_in15;
     282      515544 :   gf_t in16 = *_in16;
     283      515544 :   gf_t in17 = *_in17;
     284      515544 :   gf_t in18 = *_in18;
     285      515544 :   gf_t in19 = *_in19;
     286      515544 :   gf_t in20 = *_in20;
     287      515544 :   gf_t in21 = *_in21;
     288      515544 :   gf_t in22 = *_in22;
     289      515544 :   gf_t in23 = *_in23;
     290      515544 :   gf_t in24 = *_in24;
     291      515544 :   gf_t in25 = *_in25;
     292      515544 :   gf_t in26 = *_in26;
     293      515544 :   gf_t in27 = *_in27;
     294      515544 :   gf_t in28 = *_in28;
     295      515544 :   gf_t in29 = *_in29;
     296      515544 :   gf_t in30 = *_in30;
     297      515544 :   gf_t in31 = *_in31;
     298      515544 :   gf_t in32 = *_in32;
     299      515544 :   gf_t in33 = *_in33;
     300      515544 :   gf_t in34 = *_in34;
     301      515544 :   gf_t in35 = *_in35;
     302      515544 :   gf_t in36 = *_in36;
     303      515544 :   gf_t in37 = *_in37;
     304      515544 :   gf_t in38 = *_in38;
     305      515544 :   gf_t in39 = *_in39;
     306      515544 :   gf_t in40 = *_in40;
     307      515544 :   gf_t in41 = *_in41;
     308      515544 :   gf_t in42 = *_in42;
     309      515544 :   gf_t in43 = *_in43;
     310      515544 :   gf_t in44 = *_in44;
     311      515544 :   gf_t in45 = *_in45;
     312      515544 :   gf_t in46 = *_in46;
     313      515544 :   gf_t in47 = *_in47;
     314      515544 :   gf_t in48 = *_in48;
     315      515544 :   gf_t in49 = *_in49;
     316      515544 :   gf_t in50 = *_in50;
     317      515544 :   gf_t in51 = *_in51;
     318      515544 :   gf_t in52 = *_in52;
     319      515544 :   gf_t in53 = *_in53;
     320      515544 :   gf_t in54 = *_in54;
     321      515544 :   gf_t in55 = *_in55;
     322      515544 :   gf_t in56 = *_in56;
     323      515544 :   gf_t in57 = *_in57;
     324      515544 :   gf_t in58 = *_in58;
     325      515544 :   gf_t in59 = *_in59;
     326      515544 :   gf_t in60 = *_in60;
     327      515544 :   gf_t in61 = *_in61;
     328      515544 :   gf_t in62 = *_in62;
     329      515544 :   gf_t in63 = *_in63;
     330             : 
     331      515544 :   FD_REEDSOL_GENERATE_PPT( 64, 51, in00, in01, in02, in03, in04, in05, in06, in07, in08, in09, in10, in11, in12, in13, in14, in15, in16, in17, in18, in19, in20, in21, in22, in23, in24, in25, in26, in27, in28, in29, in30, in31, in32, in33, in34, in35, in36, in37, in38, in39, in40, in41, in42, in43, in44, in45, in46, in47, in48, in49, in50, in51, in52, in53, in54, in55, in56, in57, in58, in59, in60, in61, in62, in63 );
     332      515544 :   *_in00 = in00;
     333      515544 :   *_in01 = in01;
     334      515544 :   *_in02 = in02;
     335      515544 :   *_in03 = in03;
     336      515544 :   *_in04 = in04;
     337      515544 :   *_in05 = in05;
     338      515544 :   *_in06 = in06;
     339      515544 :   *_in07 = in07;
     340      515544 :   *_in08 = in08;
     341      515544 :   *_in09 = in09;
     342      515544 :   *_in10 = in10;
     343      515544 :   *_in11 = in11;
     344      515544 :   *_in12 = in12;
     345      515544 :   *_in13 = in13;
     346      515544 :   *_in14 = in14;
     347      515544 :   *_in15 = in15;
     348      515544 :   *_in16 = in16;
     349      515544 :   *_in17 = in17;
     350      515544 :   *_in18 = in18;
     351      515544 :   *_in19 = in19;
     352      515544 :   *_in20 = in20;
     353      515544 :   *_in21 = in21;
     354      515544 :   *_in22 = in22;
     355      515544 :   *_in23 = in23;
     356      515544 :   *_in24 = in24;
     357      515544 :   *_in25 = in25;
     358      515544 :   *_in26 = in26;
     359      515544 :   *_in27 = in27;
     360      515544 :   *_in28 = in28;
     361      515544 :   *_in29 = in29;
     362      515544 :   *_in30 = in30;
     363      515544 :   *_in31 = in31;
     364      515544 :   *_in32 = in32;
     365      515544 :   *_in33 = in33;
     366      515544 :   *_in34 = in34;
     367      515544 :   *_in35 = in35;
     368      515544 :   *_in36 = in36;
     369      515544 :   *_in37 = in37;
     370      515544 :   *_in38 = in38;
     371      515544 :   *_in39 = in39;
     372      515544 :   *_in40 = in40;
     373      515544 :   *_in41 = in41;
     374      515544 :   *_in42 = in42;
     375      515544 :   *_in43 = in43;
     376      515544 :   *_in44 = in44;
     377      515544 :   *_in45 = in45;
     378      515544 :   *_in46 = in46;
     379      515544 :   *_in47 = in47;
     380      515544 :   *_in48 = in48;
     381      515544 :   *_in49 = in49;
     382      515544 :   *_in50 = in50;
     383      515544 :   *_in51 = in51;
     384      515544 :   *_in52 = in52;
     385      515544 :   *_in53 = in53;
     386      515544 :   *_in54 = in54;
     387      515544 :   *_in55 = in55;
     388      515544 :   *_in56 = in56;
     389      515544 :   *_in57 = in57;
     390      515544 :   *_in58 = in58;
     391      515544 :   *_in59 = in59;
     392      515544 :   *_in60 = in60;
     393      515544 :   *_in61 = in61;
     394      515544 :   *_in62 = in62;
     395      515544 :   *_in63 = in63;
     396      515544 : }
     397             : 
     398             : FD_FN_UNSANITIZED void
     399             : fd_reedsol_ppt_64_52( gf_t * _in00,
     400             :                       gf_t * _in01,
     401             :                       gf_t * _in02,
     402             :                       gf_t * _in03,
     403             :                       gf_t * _in04,
     404             :                       gf_t * _in05,
     405             :                       gf_t * _in06,
     406             :                       gf_t * _in07,
     407             :                       gf_t * _in08,
     408             :                       gf_t * _in09,
     409             :                       gf_t * _in10,
     410             :                       gf_t * _in11,
     411             :                       gf_t * _in12,
     412             :                       gf_t * _in13,
     413             :                       gf_t * _in14,
     414             :                       gf_t * _in15,
     415             :                       gf_t * _in16,
     416             :                       gf_t * _in17,
     417             :                       gf_t * _in18,
     418             :                       gf_t * _in19,
     419             :                       gf_t * _in20,
     420             :                       gf_t * _in21,
     421             :                       gf_t * _in22,
     422             :                       gf_t * _in23,
     423             :                       gf_t * _in24,
     424             :                       gf_t * _in25,
     425             :                       gf_t * _in26,
     426             :                       gf_t * _in27,
     427             :                       gf_t * _in28,
     428             :                       gf_t * _in29,
     429             :                       gf_t * _in30,
     430             :                       gf_t * _in31,
     431             :                       gf_t * _in32,
     432             :                       gf_t * _in33,
     433             :                       gf_t * _in34,
     434             :                       gf_t * _in35,
     435             :                       gf_t * _in36,
     436             :                       gf_t * _in37,
     437             :                       gf_t * _in38,
     438             :                       gf_t * _in39,
     439             :                       gf_t * _in40,
     440             :                       gf_t * _in41,
     441             :                       gf_t * _in42,
     442             :                       gf_t * _in43,
     443             :                       gf_t * _in44,
     444             :                       gf_t * _in45,
     445             :                       gf_t * _in46,
     446             :                       gf_t * _in47,
     447             :                       gf_t * _in48,
     448             :                       gf_t * _in49,
     449             :                       gf_t * _in50,
     450             :                       gf_t * _in51,
     451             :                       gf_t * _in52,
     452             :                       gf_t * _in53,
     453             :                       gf_t * _in54,
     454             :                       gf_t * _in55,
     455             :                       gf_t * _in56,
     456             :                       gf_t * _in57,
     457             :                       gf_t * _in58,
     458             :                       gf_t * _in59,
     459             :                       gf_t * _in60,
     460             :                       gf_t * _in61,
     461             :                       gf_t * _in62,
     462      515544 :                       gf_t * _in63 ) {
     463      515544 :   gf_t in00 = *_in00;
     464      515544 :   gf_t in01 = *_in01;
     465      515544 :   gf_t in02 = *_in02;
     466      515544 :   gf_t in03 = *_in03;
     467      515544 :   gf_t in04 = *_in04;
     468      515544 :   gf_t in05 = *_in05;
     469      515544 :   gf_t in06 = *_in06;
     470      515544 :   gf_t in07 = *_in07;
     471      515544 :   gf_t in08 = *_in08;
     472      515544 :   gf_t in09 = *_in09;
     473      515544 :   gf_t in10 = *_in10;
     474      515544 :   gf_t in11 = *_in11;
     475      515544 :   gf_t in12 = *_in12;
     476      515544 :   gf_t in13 = *_in13;
     477      515544 :   gf_t in14 = *_in14;
     478      515544 :   gf_t in15 = *_in15;
     479      515544 :   gf_t in16 = *_in16;
     480      515544 :   gf_t in17 = *_in17;
     481      515544 :   gf_t in18 = *_in18;
     482      515544 :   gf_t in19 = *_in19;
     483      515544 :   gf_t in20 = *_in20;
     484      515544 :   gf_t in21 = *_in21;
     485      515544 :   gf_t in22 = *_in22;
     486      515544 :   gf_t in23 = *_in23;
     487      515544 :   gf_t in24 = *_in24;
     488      515544 :   gf_t in25 = *_in25;
     489      515544 :   gf_t in26 = *_in26;
     490      515544 :   gf_t in27 = *_in27;
     491      515544 :   gf_t in28 = *_in28;
     492      515544 :   gf_t in29 = *_in29;
     493      515544 :   gf_t in30 = *_in30;
     494      515544 :   gf_t in31 = *_in31;
     495      515544 :   gf_t in32 = *_in32;
     496      515544 :   gf_t in33 = *_in33;
     497      515544 :   gf_t in34 = *_in34;
     498      515544 :   gf_t in35 = *_in35;
     499      515544 :   gf_t in36 = *_in36;
     500      515544 :   gf_t in37 = *_in37;
     501      515544 :   gf_t in38 = *_in38;
     502      515544 :   gf_t in39 = *_in39;
     503      515544 :   gf_t in40 = *_in40;
     504      515544 :   gf_t in41 = *_in41;
     505      515544 :   gf_t in42 = *_in42;
     506      515544 :   gf_t in43 = *_in43;
     507      515544 :   gf_t in44 = *_in44;
     508      515544 :   gf_t in45 = *_in45;
     509      515544 :   gf_t in46 = *_in46;
     510      515544 :   gf_t in47 = *_in47;
     511      515544 :   gf_t in48 = *_in48;
     512      515544 :   gf_t in49 = *_in49;
     513      515544 :   gf_t in50 = *_in50;
     514      515544 :   gf_t in51 = *_in51;
     515      515544 :   gf_t in52 = *_in52;
     516      515544 :   gf_t in53 = *_in53;
     517      515544 :   gf_t in54 = *_in54;
     518      515544 :   gf_t in55 = *_in55;
     519      515544 :   gf_t in56 = *_in56;
     520      515544 :   gf_t in57 = *_in57;
     521      515544 :   gf_t in58 = *_in58;
     522      515544 :   gf_t in59 = *_in59;
     523      515544 :   gf_t in60 = *_in60;
     524      515544 :   gf_t in61 = *_in61;
     525      515544 :   gf_t in62 = *_in62;
     526      515544 :   gf_t in63 = *_in63;
     527             : 
     528      515544 :   FD_REEDSOL_GENERATE_PPT( 64, 52, in00, in01, in02, in03, in04, in05, in06, in07, in08, in09, in10, in11, in12, in13, in14, in15, in16, in17, in18, in19, in20, in21, in22, in23, in24, in25, in26, in27, in28, in29, in30, in31, in32, in33, in34, in35, in36, in37, in38, in39, in40, in41, in42, in43, in44, in45, in46, in47, in48, in49, in50, in51, in52, in53, in54, in55, in56, in57, in58, in59, in60, in61, in62, in63 );
     529      515544 :   *_in00 = in00;
     530      515544 :   *_in01 = in01;
     531      515544 :   *_in02 = in02;
     532      515544 :   *_in03 = in03;
     533      515544 :   *_in04 = in04;
     534      515544 :   *_in05 = in05;
     535      515544 :   *_in06 = in06;
     536      515544 :   *_in07 = in07;
     537      515544 :   *_in08 = in08;
     538      515544 :   *_in09 = in09;
     539      515544 :   *_in10 = in10;
     540      515544 :   *_in11 = in11;
     541      515544 :   *_in12 = in12;
     542      515544 :   *_in13 = in13;
     543      515544 :   *_in14 = in14;
     544      515544 :   *_in15 = in15;
     545      515544 :   *_in16 = in16;
     546      515544 :   *_in17 = in17;
     547      515544 :   *_in18 = in18;
     548      515544 :   *_in19 = in19;
     549      515544 :   *_in20 = in20;
     550      515544 :   *_in21 = in21;
     551      515544 :   *_in22 = in22;
     552      515544 :   *_in23 = in23;
     553      515544 :   *_in24 = in24;
     554      515544 :   *_in25 = in25;
     555      515544 :   *_in26 = in26;
     556      515544 :   *_in27 = in27;
     557      515544 :   *_in28 = in28;
     558      515544 :   *_in29 = in29;
     559      515544 :   *_in30 = in30;
     560      515544 :   *_in31 = in31;
     561      515544 :   *_in32 = in32;
     562      515544 :   *_in33 = in33;
     563      515544 :   *_in34 = in34;
     564      515544 :   *_in35 = in35;
     565      515544 :   *_in36 = in36;
     566      515544 :   *_in37 = in37;
     567      515544 :   *_in38 = in38;
     568      515544 :   *_in39 = in39;
     569      515544 :   *_in40 = in40;
     570      515544 :   *_in41 = in41;
     571      515544 :   *_in42 = in42;
     572      515544 :   *_in43 = in43;
     573      515544 :   *_in44 = in44;
     574      515544 :   *_in45 = in45;
     575      515544 :   *_in46 = in46;
     576      515544 :   *_in47 = in47;
     577      515544 :   *_in48 = in48;
     578      515544 :   *_in49 = in49;
     579      515544 :   *_in50 = in50;
     580      515544 :   *_in51 = in51;
     581      515544 :   *_in52 = in52;
     582      515544 :   *_in53 = in53;
     583      515544 :   *_in54 = in54;
     584      515544 :   *_in55 = in55;
     585      515544 :   *_in56 = in56;
     586      515544 :   *_in57 = in57;
     587      515544 :   *_in58 = in58;
     588      515544 :   *_in59 = in59;
     589      515544 :   *_in60 = in60;
     590      515544 :   *_in61 = in61;
     591      515544 :   *_in62 = in62;
     592      515544 :   *_in63 = in63;
     593      515544 : }
     594             : 
     595             : FD_FN_UNSANITIZED void
     596             : fd_reedsol_ppt_64_53( gf_t * _in00,
     597             :                       gf_t * _in01,
     598             :                       gf_t * _in02,
     599             :                       gf_t * _in03,
     600             :                       gf_t * _in04,
     601             :                       gf_t * _in05,
     602             :                       gf_t * _in06,
     603             :                       gf_t * _in07,
     604             :                       gf_t * _in08,
     605             :                       gf_t * _in09,
     606             :                       gf_t * _in10,
     607             :                       gf_t * _in11,
     608             :                       gf_t * _in12,
     609             :                       gf_t * _in13,
     610             :                       gf_t * _in14,
     611             :                       gf_t * _in15,
     612             :                       gf_t * _in16,
     613             :                       gf_t * _in17,
     614             :                       gf_t * _in18,
     615             :                       gf_t * _in19,
     616             :                       gf_t * _in20,
     617             :                       gf_t * _in21,
     618             :                       gf_t * _in22,
     619             :                       gf_t * _in23,
     620             :                       gf_t * _in24,
     621             :                       gf_t * _in25,
     622             :                       gf_t * _in26,
     623             :                       gf_t * _in27,
     624             :                       gf_t * _in28,
     625             :                       gf_t * _in29,
     626             :                       gf_t * _in30,
     627             :                       gf_t * _in31,
     628             :                       gf_t * _in32,
     629             :                       gf_t * _in33,
     630             :                       gf_t * _in34,
     631             :                       gf_t * _in35,
     632             :                       gf_t * _in36,
     633             :                       gf_t * _in37,
     634             :                       gf_t * _in38,
     635             :                       gf_t * _in39,
     636             :                       gf_t * _in40,
     637             :                       gf_t * _in41,
     638             :                       gf_t * _in42,
     639             :                       gf_t * _in43,
     640             :                       gf_t * _in44,
     641             :                       gf_t * _in45,
     642             :                       gf_t * _in46,
     643             :                       gf_t * _in47,
     644             :                       gf_t * _in48,
     645             :                       gf_t * _in49,
     646             :                       gf_t * _in50,
     647             :                       gf_t * _in51,
     648             :                       gf_t * _in52,
     649             :                       gf_t * _in53,
     650             :                       gf_t * _in54,
     651             :                       gf_t * _in55,
     652             :                       gf_t * _in56,
     653             :                       gf_t * _in57,
     654             :                       gf_t * _in58,
     655             :                       gf_t * _in59,
     656             :                       gf_t * _in60,
     657             :                       gf_t * _in61,
     658             :                       gf_t * _in62,
     659      515736 :                       gf_t * _in63 ) {
     660      515736 :   gf_t in00 = *_in00;
     661      515736 :   gf_t in01 = *_in01;
     662      515736 :   gf_t in02 = *_in02;
     663      515736 :   gf_t in03 = *_in03;
     664      515736 :   gf_t in04 = *_in04;
     665      515736 :   gf_t in05 = *_in05;
     666      515736 :   gf_t in06 = *_in06;
     667      515736 :   gf_t in07 = *_in07;
     668      515736 :   gf_t in08 = *_in08;
     669      515736 :   gf_t in09 = *_in09;
     670      515736 :   gf_t in10 = *_in10;
     671      515736 :   gf_t in11 = *_in11;
     672      515736 :   gf_t in12 = *_in12;
     673      515736 :   gf_t in13 = *_in13;
     674      515736 :   gf_t in14 = *_in14;
     675      515736 :   gf_t in15 = *_in15;
     676      515736 :   gf_t in16 = *_in16;
     677      515736 :   gf_t in17 = *_in17;
     678      515736 :   gf_t in18 = *_in18;
     679      515736 :   gf_t in19 = *_in19;
     680      515736 :   gf_t in20 = *_in20;
     681      515736 :   gf_t in21 = *_in21;
     682      515736 :   gf_t in22 = *_in22;
     683      515736 :   gf_t in23 = *_in23;
     684      515736 :   gf_t in24 = *_in24;
     685      515736 :   gf_t in25 = *_in25;
     686      515736 :   gf_t in26 = *_in26;
     687      515736 :   gf_t in27 = *_in27;
     688      515736 :   gf_t in28 = *_in28;
     689      515736 :   gf_t in29 = *_in29;
     690      515736 :   gf_t in30 = *_in30;
     691      515736 :   gf_t in31 = *_in31;
     692      515736 :   gf_t in32 = *_in32;
     693      515736 :   gf_t in33 = *_in33;
     694      515736 :   gf_t in34 = *_in34;
     695      515736 :   gf_t in35 = *_in35;
     696      515736 :   gf_t in36 = *_in36;
     697      515736 :   gf_t in37 = *_in37;
     698      515736 :   gf_t in38 = *_in38;
     699      515736 :   gf_t in39 = *_in39;
     700      515736 :   gf_t in40 = *_in40;
     701      515736 :   gf_t in41 = *_in41;
     702      515736 :   gf_t in42 = *_in42;
     703      515736 :   gf_t in43 = *_in43;
     704      515736 :   gf_t in44 = *_in44;
     705      515736 :   gf_t in45 = *_in45;
     706      515736 :   gf_t in46 = *_in46;
     707      515736 :   gf_t in47 = *_in47;
     708      515736 :   gf_t in48 = *_in48;
     709      515736 :   gf_t in49 = *_in49;
     710      515736 :   gf_t in50 = *_in50;
     711      515736 :   gf_t in51 = *_in51;
     712      515736 :   gf_t in52 = *_in52;
     713      515736 :   gf_t in53 = *_in53;
     714      515736 :   gf_t in54 = *_in54;
     715      515736 :   gf_t in55 = *_in55;
     716      515736 :   gf_t in56 = *_in56;
     717      515736 :   gf_t in57 = *_in57;
     718      515736 :   gf_t in58 = *_in58;
     719      515736 :   gf_t in59 = *_in59;
     720      515736 :   gf_t in60 = *_in60;
     721      515736 :   gf_t in61 = *_in61;
     722      515736 :   gf_t in62 = *_in62;
     723      515736 :   gf_t in63 = *_in63;
     724             : 
     725      515736 :   FD_REEDSOL_GENERATE_PPT( 64, 53, in00, in01, in02, in03, in04, in05, in06, in07, in08, in09, in10, in11, in12, in13, in14, in15, in16, in17, in18, in19, in20, in21, in22, in23, in24, in25, in26, in27, in28, in29, in30, in31, in32, in33, in34, in35, in36, in37, in38, in39, in40, in41, in42, in43, in44, in45, in46, in47, in48, in49, in50, in51, in52, in53, in54, in55, in56, in57, in58, in59, in60, in61, in62, in63 );
     726      515736 :   *_in00 = in00;
     727      515736 :   *_in01 = in01;
     728      515736 :   *_in02 = in02;
     729      515736 :   *_in03 = in03;
     730      515736 :   *_in04 = in04;
     731      515736 :   *_in05 = in05;
     732      515736 :   *_in06 = in06;
     733      515736 :   *_in07 = in07;
     734      515736 :   *_in08 = in08;
     735      515736 :   *_in09 = in09;
     736      515736 :   *_in10 = in10;
     737      515736 :   *_in11 = in11;
     738      515736 :   *_in12 = in12;
     739      515736 :   *_in13 = in13;
     740      515736 :   *_in14 = in14;
     741      515736 :   *_in15 = in15;
     742      515736 :   *_in16 = in16;
     743      515736 :   *_in17 = in17;
     744      515736 :   *_in18 = in18;
     745      515736 :   *_in19 = in19;
     746      515736 :   *_in20 = in20;
     747      515736 :   *_in21 = in21;
     748      515736 :   *_in22 = in22;
     749      515736 :   *_in23 = in23;
     750      515736 :   *_in24 = in24;
     751      515736 :   *_in25 = in25;
     752      515736 :   *_in26 = in26;
     753      515736 :   *_in27 = in27;
     754      515736 :   *_in28 = in28;
     755      515736 :   *_in29 = in29;
     756      515736 :   *_in30 = in30;
     757      515736 :   *_in31 = in31;
     758      515736 :   *_in32 = in32;
     759      515736 :   *_in33 = in33;
     760      515736 :   *_in34 = in34;
     761      515736 :   *_in35 = in35;
     762      515736 :   *_in36 = in36;
     763      515736 :   *_in37 = in37;
     764      515736 :   *_in38 = in38;
     765      515736 :   *_in39 = in39;
     766      515736 :   *_in40 = in40;
     767      515736 :   *_in41 = in41;
     768      515736 :   *_in42 = in42;
     769      515736 :   *_in43 = in43;
     770      515736 :   *_in44 = in44;
     771      515736 :   *_in45 = in45;
     772      515736 :   *_in46 = in46;
     773      515736 :   *_in47 = in47;
     774      515736 :   *_in48 = in48;
     775      515736 :   *_in49 = in49;
     776      515736 :   *_in50 = in50;
     777      515736 :   *_in51 = in51;
     778      515736 :   *_in52 = in52;
     779      515736 :   *_in53 = in53;
     780      515736 :   *_in54 = in54;
     781      515736 :   *_in55 = in55;
     782      515736 :   *_in56 = in56;
     783      515736 :   *_in57 = in57;
     784      515736 :   *_in58 = in58;
     785      515736 :   *_in59 = in59;
     786      515736 :   *_in60 = in60;
     787      515736 :   *_in61 = in61;
     788      515736 :   *_in62 = in62;
     789      515736 :   *_in63 = in63;
     790      515736 : }
     791             : 
     792             : FD_FN_UNSANITIZED void
     793             : fd_reedsol_ppt_64_54( gf_t * _in00,
     794             :                       gf_t * _in01,
     795             :                       gf_t * _in02,
     796             :                       gf_t * _in03,
     797             :                       gf_t * _in04,
     798             :                       gf_t * _in05,
     799             :                       gf_t * _in06,
     800             :                       gf_t * _in07,
     801             :                       gf_t * _in08,
     802             :                       gf_t * _in09,
     803             :                       gf_t * _in10,
     804             :                       gf_t * _in11,
     805             :                       gf_t * _in12,
     806             :                       gf_t * _in13,
     807             :                       gf_t * _in14,
     808             :                       gf_t * _in15,
     809             :                       gf_t * _in16,
     810             :                       gf_t * _in17,
     811             :                       gf_t * _in18,
     812             :                       gf_t * _in19,
     813             :                       gf_t * _in20,
     814             :                       gf_t * _in21,
     815             :                       gf_t * _in22,
     816             :                       gf_t * _in23,
     817             :                       gf_t * _in24,
     818             :                       gf_t * _in25,
     819             :                       gf_t * _in26,
     820             :                       gf_t * _in27,
     821             :                       gf_t * _in28,
     822             :                       gf_t * _in29,
     823             :                       gf_t * _in30,
     824             :                       gf_t * _in31,
     825             :                       gf_t * _in32,
     826             :                       gf_t * _in33,
     827             :                       gf_t * _in34,
     828             :                       gf_t * _in35,
     829             :                       gf_t * _in36,
     830             :                       gf_t * _in37,
     831             :                       gf_t * _in38,
     832             :                       gf_t * _in39,
     833             :                       gf_t * _in40,
     834             :                       gf_t * _in41,
     835             :                       gf_t * _in42,
     836             :                       gf_t * _in43,
     837             :                       gf_t * _in44,
     838             :                       gf_t * _in45,
     839             :                       gf_t * _in46,
     840             :                       gf_t * _in47,
     841             :                       gf_t * _in48,
     842             :                       gf_t * _in49,
     843             :                       gf_t * _in50,
     844             :                       gf_t * _in51,
     845             :                       gf_t * _in52,
     846             :                       gf_t * _in53,
     847             :                       gf_t * _in54,
     848             :                       gf_t * _in55,
     849             :                       gf_t * _in56,
     850             :                       gf_t * _in57,
     851             :                       gf_t * _in58,
     852             :                       gf_t * _in59,
     853             :                       gf_t * _in60,
     854             :                       gf_t * _in61,
     855             :                       gf_t * _in62,
     856      515544 :                       gf_t * _in63 ) {
     857      515544 :   gf_t in00 = *_in00;
     858      515544 :   gf_t in01 = *_in01;
     859      515544 :   gf_t in02 = *_in02;
     860      515544 :   gf_t in03 = *_in03;
     861      515544 :   gf_t in04 = *_in04;
     862      515544 :   gf_t in05 = *_in05;
     863      515544 :   gf_t in06 = *_in06;
     864      515544 :   gf_t in07 = *_in07;
     865      515544 :   gf_t in08 = *_in08;
     866      515544 :   gf_t in09 = *_in09;
     867      515544 :   gf_t in10 = *_in10;
     868      515544 :   gf_t in11 = *_in11;
     869      515544 :   gf_t in12 = *_in12;
     870      515544 :   gf_t in13 = *_in13;
     871      515544 :   gf_t in14 = *_in14;
     872      515544 :   gf_t in15 = *_in15;
     873      515544 :   gf_t in16 = *_in16;
     874      515544 :   gf_t in17 = *_in17;
     875      515544 :   gf_t in18 = *_in18;
     876      515544 :   gf_t in19 = *_in19;
     877      515544 :   gf_t in20 = *_in20;
     878      515544 :   gf_t in21 = *_in21;
     879      515544 :   gf_t in22 = *_in22;
     880      515544 :   gf_t in23 = *_in23;
     881      515544 :   gf_t in24 = *_in24;
     882      515544 :   gf_t in25 = *_in25;
     883      515544 :   gf_t in26 = *_in26;
     884      515544 :   gf_t in27 = *_in27;
     885      515544 :   gf_t in28 = *_in28;
     886      515544 :   gf_t in29 = *_in29;
     887      515544 :   gf_t in30 = *_in30;
     888      515544 :   gf_t in31 = *_in31;
     889      515544 :   gf_t in32 = *_in32;
     890      515544 :   gf_t in33 = *_in33;
     891      515544 :   gf_t in34 = *_in34;
     892      515544 :   gf_t in35 = *_in35;
     893      515544 :   gf_t in36 = *_in36;
     894      515544 :   gf_t in37 = *_in37;
     895      515544 :   gf_t in38 = *_in38;
     896      515544 :   gf_t in39 = *_in39;
     897      515544 :   gf_t in40 = *_in40;
     898      515544 :   gf_t in41 = *_in41;
     899      515544 :   gf_t in42 = *_in42;
     900      515544 :   gf_t in43 = *_in43;
     901      515544 :   gf_t in44 = *_in44;
     902      515544 :   gf_t in45 = *_in45;
     903      515544 :   gf_t in46 = *_in46;
     904      515544 :   gf_t in47 = *_in47;
     905      515544 :   gf_t in48 = *_in48;
     906      515544 :   gf_t in49 = *_in49;
     907      515544 :   gf_t in50 = *_in50;
     908      515544 :   gf_t in51 = *_in51;
     909      515544 :   gf_t in52 = *_in52;
     910      515544 :   gf_t in53 = *_in53;
     911      515544 :   gf_t in54 = *_in54;
     912      515544 :   gf_t in55 = *_in55;
     913      515544 :   gf_t in56 = *_in56;
     914      515544 :   gf_t in57 = *_in57;
     915      515544 :   gf_t in58 = *_in58;
     916      515544 :   gf_t in59 = *_in59;
     917      515544 :   gf_t in60 = *_in60;
     918      515544 :   gf_t in61 = *_in61;
     919      515544 :   gf_t in62 = *_in62;
     920      515544 :   gf_t in63 = *_in63;
     921             : 
     922      515544 :   FD_REEDSOL_GENERATE_PPT( 64, 54, in00, in01, in02, in03, in04, in05, in06, in07, in08, in09, in10, in11, in12, in13, in14, in15, in16, in17, in18, in19, in20, in21, in22, in23, in24, in25, in26, in27, in28, in29, in30, in31, in32, in33, in34, in35, in36, in37, in38, in39, in40, in41, in42, in43, in44, in45, in46, in47, in48, in49, in50, in51, in52, in53, in54, in55, in56, in57, in58, in59, in60, in61, in62, in63 );
     923      515544 :   *_in00 = in00;
     924      515544 :   *_in01 = in01;
     925      515544 :   *_in02 = in02;
     926      515544 :   *_in03 = in03;
     927      515544 :   *_in04 = in04;
     928      515544 :   *_in05 = in05;
     929      515544 :   *_in06 = in06;
     930      515544 :   *_in07 = in07;
     931      515544 :   *_in08 = in08;
     932      515544 :   *_in09 = in09;
     933      515544 :   *_in10 = in10;
     934      515544 :   *_in11 = in11;
     935      515544 :   *_in12 = in12;
     936      515544 :   *_in13 = in13;
     937      515544 :   *_in14 = in14;
     938      515544 :   *_in15 = in15;
     939      515544 :   *_in16 = in16;
     940      515544 :   *_in17 = in17;
     941      515544 :   *_in18 = in18;
     942      515544 :   *_in19 = in19;
     943      515544 :   *_in20 = in20;
     944      515544 :   *_in21 = in21;
     945      515544 :   *_in22 = in22;
     946      515544 :   *_in23 = in23;
     947      515544 :   *_in24 = in24;
     948      515544 :   *_in25 = in25;
     949      515544 :   *_in26 = in26;
     950      515544 :   *_in27 = in27;
     951      515544 :   *_in28 = in28;
     952      515544 :   *_in29 = in29;
     953      515544 :   *_in30 = in30;
     954      515544 :   *_in31 = in31;
     955      515544 :   *_in32 = in32;
     956      515544 :   *_in33 = in33;
     957      515544 :   *_in34 = in34;
     958      515544 :   *_in35 = in35;
     959      515544 :   *_in36 = in36;
     960      515544 :   *_in37 = in37;
     961      515544 :   *_in38 = in38;
     962      515544 :   *_in39 = in39;
     963      515544 :   *_in40 = in40;
     964      515544 :   *_in41 = in41;
     965      515544 :   *_in42 = in42;
     966      515544 :   *_in43 = in43;
     967      515544 :   *_in44 = in44;
     968      515544 :   *_in45 = in45;
     969      515544 :   *_in46 = in46;
     970      515544 :   *_in47 = in47;
     971      515544 :   *_in48 = in48;
     972      515544 :   *_in49 = in49;
     973      515544 :   *_in50 = in50;
     974      515544 :   *_in51 = in51;
     975      515544 :   *_in52 = in52;
     976      515544 :   *_in53 = in53;
     977      515544 :   *_in54 = in54;
     978      515544 :   *_in55 = in55;
     979      515544 :   *_in56 = in56;
     980      515544 :   *_in57 = in57;
     981      515544 :   *_in58 = in58;
     982      515544 :   *_in59 = in59;
     983      515544 :   *_in60 = in60;
     984      515544 :   *_in61 = in61;
     985      515544 :   *_in62 = in62;
     986      515544 :   *_in63 = in63;
     987      515544 : }

Generated by: LCOV version 1.14