[PATCH] D54250: Fix not correct imm operand assertion for SUB32ri in X86CondBrFolding::analyzeCompare

Phabricator via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Dec 11 07:36:39 PST 2018


This revision was automatically updated to reflect the committed changes.
Closed by commit rL348853: Fix not correct imm operand assertion for SUB32ri in X86CondBrFolding… (authored by ctopper, committed by ).

Changed prior to commit:
  https://reviews.llvm.org/D54250?vs=177321&id=177706#toc

Repository:
  rL LLVM

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D54250/new/

https://reviews.llvm.org/D54250

Files:
  llvm/trunk/lib/Target/X86/X86CondBrFolding.cpp
  llvm/trunk/test/CodeGen/X86/test_x86condbr_globaladdr.mir


Index: llvm/trunk/test/CodeGen/X86/test_x86condbr_globaladdr.mir
===================================================================
--- llvm/trunk/test/CodeGen/X86/test_x86condbr_globaladdr.mir
+++ llvm/trunk/test/CodeGen/X86/test_x86condbr_globaladdr.mir
@@ -0,0 +1,30 @@
+# RUN: llc -o - %s -mtriple=i686-- -mcpu=ivybridge --run-pass X86CondBrFolding | FileCheck %s
+
+# Test wrong assertion when meet SUB32ri with global address
+# in X86CondBrFoldingiPass
+--- |
+  @img2buf_normal = external global i32
+  define void @func() { ret void }
+...
+---
+# CHECK: bb.0:
+# CHECK: %2:gr32 = SUB32ri %1, @img2buf_normal, implicit-def $eflags
+
+name: func
+tracksRegLiveness: true
+body: |
+  bb.0:
+    liveins: $edx
+    %1:gr32 = COPY $edx
+    %2:gr32 = MOV32rm %1:gr32, 1, $noreg, 850256, $noreg
+    %3:gr32 = SUB32ri %2:gr32, @img2buf_normal, implicit-def $eflags
+    JE_1 %bb.2, implicit $eflags
+    JMP_1 %bb.3
+
+  bb.2:
+    RET 0, undef $eax
+
+  bb.3:
+    $eax = MOV32rr %3:gr32
+    RET 0, $eax
+...
Index: llvm/trunk/lib/Target/X86/X86CondBrFolding.cpp
===================================================================
--- llvm/trunk/lib/Target/X86/X86CondBrFolding.cpp
+++ llvm/trunk/lib/Target/X86/X86CondBrFolding.cpp
@@ -468,7 +468,8 @@
     break;
   }
   SrcReg = MI.getOperand(SrcRegIndex).getReg();
-  assert(MI.getOperand(ValueIndex).isImm() && "Expecting Imm operand");
+  if (!MI.getOperand(ValueIndex).isImm())
+    return false;
   CmpValue = MI.getOperand(ValueIndex).getImm();
   return true;
 }


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D54250.177706.patch
Type: text/x-patch
Size: 1530 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20181211/f6048b31/attachment.bin>


More information about the llvm-commits mailing list