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