[PATCH] D126900: [SystemZ] Fix check for zero size when lowering memcmp.
Kai Nacke via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Jun 2 10:56:13 PDT 2022
Kai created this revision.
Kai added reviewers: uweigand, jnspaulsson.
Herald added a subscriber: hiraditya.
Herald added a project: All.
Kai requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.
During lowering of `memcmp`/`bcmp`, the check for a size of `0` is done in 2 different ways.
In rare cases this can lead to a crash in `SystemZSelectionDAGInfo::EmitTargetCodeForMemcmp()`.
The root cause is that `SelectionDAGBuilder::visitMemCmpBCmpCall()` checks for a constant int value which is not yet evaluated. When the value is turned into a `SDValue`, then the evaluation is done and results in a `ConstantSDNode`. `EmitTargetCodeForMemcmp()` expect the special case of `0` length to be handled, which results in an assertion.
The fix is to turn the value into a `SDValue`, so that both functions use the same check.
Repository:
rG LLVM Github Monorepo
https://reviews.llvm.org/D126900
Files:
llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp
llvm/test/CodeGen/SystemZ/memcmp-03.ll
Index: llvm/test/CodeGen/SystemZ/memcmp-03.ll
===================================================================
--- /dev/null
+++ llvm/test/CodeGen/SystemZ/memcmp-03.ll
@@ -0,0 +1,20 @@
+; Test memcmp with 0 size.
+
+; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
+; REQUIRES: asserts
+
+declare i32 @memcmp(i8* nocapture, i8* nocapture, i64)
+
+define hidden void @fun() {
+; CHECK-LABEL: fun
+entry:
+ %len = extractvalue [2 x i64] zeroinitializer, 1
+ br i1 undef, label %end, label %call
+
+call:
+ %res = tail call signext i32 @memcmp(i8* noundef undef, i8* noundef undef, i64 noundef %len)
+ unreachable
+
+end:
+ unreachable
+}
Index: llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp
===================================================================
--- llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp
+++ llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp
@@ -7902,7 +7902,7 @@
bool SelectionDAGBuilder::visitMemCmpBCmpCall(const CallInst &I) {
const Value *LHS = I.getArgOperand(0), *RHS = I.getArgOperand(1);
const Value *Size = I.getArgOperand(2);
- const ConstantInt *CSize = dyn_cast<ConstantInt>(Size);
+ const ConstantSDNode *CSize = dyn_cast<ConstantSDNode>(getValue(Size));
if (CSize && CSize->getZExtValue() == 0) {
EVT CallVT = DAG.getTargetLoweringInfo().getValueType(DAG.getDataLayout(),
I.getType(), true);
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D126900.433796.patch
Type: text/x-patch
Size: 1437 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220602/f0c6715f/attachment.bin>
More information about the llvm-commits
mailing list