Home
last modified time | relevance | path

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

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