- IRGen _assumeNonNegative to an llvm.assume intrinsic

eeckstein · eeckstein · commit 02ac7637c5bd · 2025-07-18T14:36:30.000+02:00
diff --git a/lib/IRGen/GenBuiltin.cpp b/lib/IRGen/GenBuiltin.cpp
@@ -626,6 +626,9 @@ void irgen::emitBuiltinCall(IRGenFunction &IGF, const BuiltinInfo &Builtin,
         llvm::MDNode *range = llvm::MDNode::get(ctx, rangeElems);
         I->setMetadata(llvm::LLVMContext::MD_range, range);
       }
+    } else {
+      auto *cmp = IGF.Builder.CreateICmpSGE(v, llvm::ConstantInt::get(v->getType(), 0));
+      IGF.Builder.CreateIntrinsicCall(llvm::Intrinsic::assume, cmp);
     }
     // Don't generate any code for the builtin.
     return out.add(v);

Original file line number	Diff line number	Diff line change
`@@ -626,6 +626,9 @@ void irgen::emitBuiltinCall(IRGenFunction &IGF, const BuiltinInfo &Builtin,`
`626`	`626`	`llvm::MDNode *range = llvm::MDNode::get(ctx, rangeElems);`
`627`	`627`	`I->setMetadata(llvm::LLVMContext::MD_range, range);`
`628`	`628`	`}`
	`629`	`+ } else {`
	`630`	`+ auto *cmp = IGF.Builder.CreateICmpSGE(v, llvm::ConstantInt::get(v->getType(), 0));`
	`631`	`+ IGF.Builder.CreateIntrinsicCall(llvm::Intrinsic::assume, cmp);`
`629`	`632`	`}`
`630`	`633`	`// Don't generate any code for the builtin.`
`631`	`634`	`return out.add(v);`