From f0aa6fb9092fa14a618d553fa13c47f0c8e49a77 Mon Sep 17 00:00:00 2001
From: rarbore2 <rarbore2@illinois.edu>
Date: Tue, 4 Mar 2025 19:18:12 -0600
Subject: [PATCH] Add more LLVM attributes
---
hercules_cg/src/cpu.rs | 15 +++++++++------
1 file changed, 9 insertions(+), 6 deletions(-)
diff --git a/hercules_cg/src/cpu.rs b/hercules_cg/src/cpu.rs
index 37bf814d..c5ffe760 100644
--- a/hercules_cg/src/cpu.rs
+++ b/hercules_cg/src/cpu.rs
@@ -146,7 +146,7 @@ impl<'a> CPUContext<'a> {
self.function.name,
)?;
}
- write!(w, ") {{\n")?;
+ write!(w, ") nounwind nosync willreturn norecurse {{\n")?;
let mut blocks: BTreeMap<_, _> = (0..self.function.nodes.len())
.filter(|idx| self.function.nodes[*idx].is_control())
@@ -346,7 +346,7 @@ impl<'a> CPUContext<'a> {
let offset = offsets[&id].0;
write!(
body,
- " {} = getelementptr i8, ptr %backing, i64 %dc{}\n",
+ " {} = getelementptr inbounds i8, ptr %backing, i64 %dc{}\n",
self.get_value(id, false),
offset.idx()
)?;
@@ -473,11 +473,14 @@ impl<'a> CPUContext<'a> {
let opcode = match (op, op_ty) {
(BinaryOperator::Add, OpTy::Float) => "fadd",
- (BinaryOperator::Add, _) => "add",
+ (BinaryOperator::Add, OpTy::Unsigned) => "add nuw",
+ (BinaryOperator::Add, OpTy::Signed) => "add nsw",
(BinaryOperator::Sub, OpTy::Float) => "fsub",
- (BinaryOperator::Sub, _) => "sub",
+ (BinaryOperator::Sub, OpTy::Unsigned) => "sub nuw",
+ (BinaryOperator::Sub, OpTy::Signed) => "sub nsw",
(BinaryOperator::Mul, OpTy::Float) => "fmul",
- (BinaryOperator::Mul, _) => "mul",
+ (BinaryOperator::Mul, OpTy::Unsigned) => "mul nuw",
+ (BinaryOperator::Mul, OpTy::Signed) => "mul nsw",
(BinaryOperator::Div, OpTy::Float) => "fdiv",
(BinaryOperator::Div, OpTy::Unsigned) => "udiv",
(BinaryOperator::Div, OpTy::Signed) => "sdiv",
@@ -1005,7 +1008,7 @@ impl<'a> CPUContext<'a> {
let name = format!("%gep.{}", Self::gen_filler_id());
write!(
body,
- " {} = getelementptr i8, ptr {}, i64 {}\n",
+ " {} = getelementptr inbounds i8, ptr {}, i64 {}\n",
name, ptr, size
)?;
Ok(name)
--
GitLab