[PATCH] D24151: [Legalizer] Don't throw away false low half for GT/LT SETCC

[Michael Kuperstein via llvm-commits]

mkuper created this revision.
mkuper added reviewers: spatel, majnemer.
mkuper added a subscriber: llvm-commits.

When expanding a SETCC for which the low half is known to evaluate to false, we can only throw it away for LT/GT comparisons, not LE/GE.

This fixes PR29170.

https://reviews.llvm.org/D24151

Files:
  lib/CodeGen/SelectionDAG/LegalizeIntegerTypes.cpp
  test/CodeGen/X86/pr29170.ll

Index: test/CodeGen/X86/pr29170.ll
===================================================================
--- test/CodeGen/X86/pr29170.ll
+++ test/CodeGen/X86/pr29170.ll
@@ -0,0 +1,32 @@
+; RUN: llc < %s | FileCheck %s
+
+target datalayout = "e-m:e-p:32:32-f64:32:64-f80:32-n8:16:32-S128"
+target triple = "i386-unknown-linux-gnu"
+
+ at b = global i16 0, align 4
+
+; CHECK-LABEL: @main
+; CHECK: cmpl
+; CHECL: sbbl
+define i32 @main() {
+entry:
+  %true = icmp eq i32 0, 0
+  %const = bitcast i64 -4294967296 to i64
+  br i1 %true, label %go, label %if.else
+
+go:
+  %b = load i16, i16* @b, align 4
+  %sext = shl i16 %b, 8
+  %conv = ashr i16 %sext, 8
+  %neg4 = xor i64 %const, -1
+  %conv5 = zext i16 %conv to i64
+  %cmp = icmp slt i64 %conv5, %neg4
+  br i1 %cmp, label %if.then, label %if.else
+
+if.then:
+  ret i32 42
+
+if.else:
+  ret i32 0
+}
+
Index: lib/CodeGen/SelectionDAG/LegalizeIntegerTypes.cpp
===================================================================
--- lib/CodeGen/SelectionDAG/LegalizeIntegerTypes.cpp
+++ lib/CodeGen/SelectionDAG/LegalizeIntegerTypes.cpp
@@ -2865,16 +2865,16 @@
 
   ConstantSDNode *LoCmpC = dyn_cast<ConstantSDNode>(LoCmp.getNode());
   ConstantSDNode *HiCmpC = dyn_cast<ConstantSDNode>(HiCmp.getNode());
-  if ((LoCmpC && LoCmpC->isNullValue()) ||
-      (HiCmpC && HiCmpC->isNullValue() &&
-       (CCCode == ISD::SETLE || CCCode == ISD::SETGE || CCCode == ISD::SETUGE ||
-        CCCode == ISD::SETULE)) ||
-      (HiCmpC && HiCmpC->getAPIntValue() == 1 &&
-       (CCCode == ISD::SETLT || CCCode == ISD::SETGT || CCCode == ISD::SETUGT ||
-        CCCode == ISD::SETULT))) {
-    // low part is known false, returns high part.
+
+  bool EqAllowed = (CCCode == ISD::SETLE || CCCode == ISD::SETGE ||
+                    CCCode == ISD::SETUGE || CCCode == ISD::SETULE);
+
+  if ((EqAllowed && (HiCmpC && HiCmpC->isNullValue())) ||
+      (!EqAllowed && ((HiCmpC && (HiCmpC->getAPIntValue() == 1)) ||
+                      (LoCmpC && LoCmpC->isNullValue())))) {
     // For LE / GE, if high part is known false, ignore the low part.
-    // For LT / GT, if high part is known true, ignore the low part.
+    // For LT / GT: if low part is known false, return the high part.
+    //              if high part is known true, ignore the low part.
     NewLHS = HiCmp;
     NewRHS = SDValue();
     return;


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D24151.70050.patch
Type: text/x-patch
Size: 2354 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160901/c987a5f6/attachment.bin>