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 
init_clause(int * literals,int size,int * lits)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 }
12