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
6void 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}
12