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)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