1  /* PR rtl-optimization/39588 */
       2  /* Testcase by Olivier ROUSSEL <olivier.roussel@cril.univ-artois.fr> */
       3  
       4  #define lit_from_int(in) ((in<0)?(((-in)<<1)|1):(in<<1))
       5  
       6  void init_clause(int *literals, int size, int *lits)
       7  {
       8    int i;
       9    for(i=0; i < size; i++)
      10      lits[i] = lit_from_int(literals[i]);
      11  }