URL
https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk
Only display areas with differences |
Details |
Blame |
View Log
Rev 297 |
Rev 384 |
/* PR rtl-optimization/39588 */
|
/* PR rtl-optimization/39588 */
|
/* Testcase by Olivier ROUSSEL <olivier.roussel@cril.univ-artois.fr> */
|
/* Testcase by Olivier ROUSSEL <olivier.roussel@cril.univ-artois.fr> */
|
|
|
#define lit_from_int(in) ((in<0)?(((-in)<<1)|1):(in<<1))
|
#define lit_from_int(in) ((in<0)?(((-in)<<1)|1):(in<<1))
|
|
|
void init_clause(int *literals, int size, int *lits)
|
void init_clause(int *literals, int size, int *lits)
|
{
|
{
|
int i;
|
int i;
|
for(i=0; i < size; i++)
|
for(i=0; i < size; i++)
|
lits[i] = lit_from_int(literals[i]);
|
lits[i] = lit_from_int(literals[i]);
|
}
|
}
|
|
|
© copyright 1999-2024
OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.