phosek added a comment. You will get the invalid value error (I've added a test for this). This is handled by the `Value->getAsInteger` method since the value is defined as `uint64_t`. https://reviews.llvm.org/D24891