Home
last modified time | relevance | path

Searched refs:fm_abx (Results 1 – 4 of 4) sorted by relevance

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