/* PR rtl-optimization/39588 */
/* Testcase by Olivier ROUSSEL <olivier.roussel@cril.univ-artois.fr> */

#define lit_from_int(in) ((in<0)?(((-in)<<1)|1):(in<<1))

void init_clause(int *literals, int size, int *lits)
{
  int i;
  for(i=0; i < size; i++)
    lits[i] = lit_from_int(literals[i]);
}