[llvm-branch-commits] [llvm] release/21.x: [SPARC] Prevent meta instructions from being inserted into delay slots (#161111) (PR #161937)
via llvm-branch-commits
llvm-branch-commits at lists.llvm.org
Sun Oct 5 23:39:39 PDT 2025
https://github.com/dyung updated https://github.com/llvm/llvm-project/pull/161937
>From 6e687cbe0dd3a6fc89cdd007dca6e4f5578fccff Mon Sep 17 00:00:00 2001
From: Koakuma <koachan at protonmail.com>
Date: Fri, 3 Oct 2025 19:25:08 +0700
Subject: [PATCH] [SPARC] Prevent meta instructions from being inserted into
delay slots (#161111)
Do not move meta instructions like `FAKE_USE`/`@llvm.fake.use` into
delay slots, as they don't correspond to real machine instructions.
This should fix crashes when compiling with, for example, `clang -Og`.
(cherry picked from commit 2e1fab93467ec8c37a236ae6e059300ebaa0c986)
---
llvm/lib/Target/Sparc/DelaySlotFiller.cpp | 4 +--
.../CodeGen/SPARC/2011-01-19-DelaySlot.ll | 25 +++++++++++++++++++
2 files changed, 27 insertions(+), 2 deletions(-)
diff --git a/llvm/lib/Target/Sparc/DelaySlotFiller.cpp b/llvm/lib/Target/Sparc/DelaySlotFiller.cpp
index 6c19049a001cf..024030d196ee3 100644
--- a/llvm/lib/Target/Sparc/DelaySlotFiller.cpp
+++ b/llvm/lib/Target/Sparc/DelaySlotFiller.cpp
@@ -206,8 +206,8 @@ Filler::findDelayInstr(MachineBasicBlock &MBB,
if (!done)
--I;
- // skip debug instruction
- if (I->isDebugInstr())
+ // Skip meta instructions.
+ if (I->isMetaInstruction())
continue;
if (I->hasUnmodeledSideEffects() || I->isInlineAsm() || I->isPosition() ||
diff --git a/llvm/test/CodeGen/SPARC/2011-01-19-DelaySlot.ll b/llvm/test/CodeGen/SPARC/2011-01-19-DelaySlot.ll
index 9ccd4f1c0ac9a..767ef7eb510e6 100644
--- a/llvm/test/CodeGen/SPARC/2011-01-19-DelaySlot.ll
+++ b/llvm/test/CodeGen/SPARC/2011-01-19-DelaySlot.ll
@@ -184,4 +184,29 @@ entry:
ret i32 %2
}
+define i32 @test_generic_inst(i32 %arg) #0 {
+;CHECK-LABEL: test_generic_inst:
+;CHECK: ! fake_use: {{.*}}
+;CHECK: bne {{.*}}
+;CHECK-NEXT: nop
+ %bar1 = call i32 @bar(i32 %arg)
+ %even = and i32 %bar1, 1
+ %cmp = icmp eq i32 %even, 0
+ ; This shouldn't get reordered into a delay slot
+ call void (...) @llvm.fake.use(i32 %arg)
+ br i1 %cmp, label %true, label %false
+true:
+ %bar2 = call i32 @bar(i32 %bar1)
+ br label %cont
+
+false:
+ %inc = add nsw i32 %bar1, 1
+ br label %cont
+
+cont:
+ %ret = phi i32 [ %bar2, %true ], [ %inc, %false ]
+ ret i32 %ret
+}
+
+declare void @llvm.fake.use(...)
attributes #0 = { nounwind "disable-tail-calls"="true" }
More information about the llvm-branch-commits
mailing list