Validating with LLVM