Home
last modified time | relevance | path

Searched refs:fl_axb (Results 1 - 4 of 4) sorted by relevance

/third_party/ltp/tools/sparse/sparse-src/validation/optim/
H A Dfact-add-mul.c12 int fl_axb(int a, int x, int b) { return ((x * a) + (x * b)) == ((a + b) * x); } in fl_axb() function
H A Dfact-and-ior.c12 int fl_axb(int a, int x, int b) { return ((x | a) & (x | b)) == ((a & b) | x); } in fl_axb() function
H A Dfact-xor-and.c12 int fl_axb(int a, int x, int b) { return ((x & a) ^ (x & b)) == ((a ^ b) & x); } in fl_axb() function
H A Dfact-ior-and.c12 int fl_axb(int a, int x, int b) { return ((x & a) | (x & b)) == ((a | b) & x); } in fl_axb() function

Completed in 2 milliseconds