1 /* PR rtl-optimization/39588 */
2 /* Testcase by Olivier ROUSSEL <olivier.roussel@cril.univ-artois.fr> */
4 #define lit_from_int(in) ((in<0)?(((-in)<<1)|1):(in<<1))
6 void init_clause(int *literals
, int size
, int *lits
)
9 for(i
=0; i
< size
; i
++)
10 lits
[i
] = lit_from_int(literals
[i
]);