From e23656fa5f68ade972475e56ffe8945cddd95deb Mon Sep 17 00:00:00 2001
From: Alessandro Di Federico <ale@rev.ng>
Date: Tue, 2 Aug 2022 10:37:32 +0200
Subject: [PATCH] MakeSegmentRef: ignore 128-bit integer constants

---
 lib/RemoveLiftingArtifacts/MakeSegmentRefPass.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/RemoveLiftingArtifacts/MakeSegmentRefPass.cpp b/lib/RemoveLiftingArtifacts/MakeSegmentRefPass.cpp
index 2982f895b..c89d4ce68 100644
--- a/lib/RemoveLiftingArtifacts/MakeSegmentRefPass.cpp
+++ b/lib/RemoveLiftingArtifacts/MakeSegmentRefPass.cpp
@@ -75,7 +75,8 @@ bool MakeSegmentRefPass::runOnFunction(Function &F) {
           if (BI->getCondition() != Op)
             continue;
 
-      if (ConstantInt *ConstOp = dyn_cast<CI>(skipCasts(Op))) {
+      ConstantInt *ConstOp = dyn_cast<CI>(skipCasts(Op));
+      if (ConstOp != nullptr and ConstOp->getBitWidth() <= 64) {
         uint64_t Literal = ConstOp->getZExtValue();
 
         if (auto Segment = findLiteralInSegments(*Model, Literal); Segment) {