MCPcopy Create free account
hub / github.com/AliveToolkit/alive2 / bswap

Method bswap

smt/expr.cpp:1061–1073  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1059}
1060
1061expr expr::bswap() const {
1062 C();
1063 auto nbits = bits();
1064 constexpr unsigned bytelen = 8;
1065
1066 assert(nbits % (bytelen * 2) == 0);
1067 expr res = extract(bytelen - 1, 0);
1068 for (unsigned i = 1; i < nbits / bytelen; i++) {
1069 res = res.concat(extract((i + 1) * bytelen - 1, i * bytelen));
1070 }
1071
1072 return res;
1073}
1074
1075expr expr::bitreverse() const {
1076 C();

Callers 1

toSMTMethod · 0.80

Calls 1

concatMethod · 0.45

Tested by

no test coverage detected