| 807 | } |
| 808 | |
| 809 | uint64_t SignExtend(uint64_t x, int width) |
| 810 | { |
| 811 | uint64_t result = -1; |
| 812 | |
| 813 | if (x & ((uint64_t)1 << (width - 1))) |
| 814 | { |
| 815 | result ^= (((uint64_t)1 << width) - 1); |
| 816 | result |= x; |
| 817 | } |
| 818 | else |
| 819 | { |
| 820 | result = x; |
| 821 | } |
| 822 | |
| 823 | return result; |
| 824 | } |
| 825 | |
| 826 | enum Constraint ConstrainUnpredictable(enum Unpredictable u) |
| 827 | { |
no outgoing calls
no test coverage detected