12 lines
296 B
C
12 lines
296 B
C
/* 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]);
|
|
}
|