Skip to content

Commit

Permalink
No need to get the value
Browse files Browse the repository at this point in the history
  • Loading branch information
adam weishaupt committed Oct 15, 2024
1 parent dda0359 commit 40ab376
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion LLVMParser.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -559,7 +559,7 @@ bool LLVMParser::verify(int ASTSize, llvm::SmallVectorImpl<BFSEntry> &AST,
// return false;
}

if (AP_R0.getSExtValue() != AP_R1.getSExtValue()) {
if (AP_R0 != AP_R1) {
#ifdef DEBUG_SIMPLIFICATION
outs() << "[!] Error: Verification failed for: " << SimpExpr << "\n";
#endif
Expand Down

0 comments on commit 40ab376

Please sign in to comment.