| 1073 | } |
| 1074 | |
| 1075 | expr expr::bitreverse() const { |
| 1076 | C(); |
| 1077 | auto nbits = bits(); |
| 1078 | |
| 1079 | expr res = extract(0, 0); |
| 1080 | for (unsigned i = 1; i < nbits; ++i) { |
| 1081 | res = res.concat(extract(i, i)); |
| 1082 | } |
| 1083 | |
| 1084 | return res; |
| 1085 | } |
| 1086 | |
| 1087 | expr expr::cttz(const expr &val_zero) const { |
| 1088 | C(); |