OSDN Git Service

[x86] regenerate checks; NFC
authorSanjay Patel <spatel@rotateright.com>
Thu, 8 Mar 2018 16:56:49 +0000 (16:56 +0000)
committerSanjay Patel <spatel@rotateright.com>
Thu, 8 Mar 2018 16:56:49 +0000 (16:56 +0000)
This test will fail if we fix FP undef constant folding.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@327026 91177308-0d34-0410-b5e6-96231b3b80d8

test/CodeGen/X86/undef-label.ll

index 1afd935..54d9bdd 100644 (file)
@@ -1,13 +1,29 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
 ; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s
 
 ; This is a case where we would incorrectly conclude that LBB0_1 could only
 ; be reached via fall through and would therefore omit the label.
 
-; CHECK:      jne     .LBB0_1
-; CHECK-NEXT: jnp     .LBB0_3
-; CHECK-NEXT: .LBB0_1:
-
 define void @xyz() {
+; CHECK-LABEL: xyz:
+; CHECK:       # %bb.0: # %entry
+; CHECK-NEXT:    xorpd %xmm0, %xmm0
+; CHECK-NEXT:    ucomisd %xmm0, %xmm0
+; CHECK-NEXT:    jne .LBB0_1
+; CHECK-NEXT:    jnp .LBB0_3
+; CHECK-NEXT:  .LBB0_1: # %foo.preheader
+; CHECK-NEXT:    mulsd %xmm0, %xmm1
+; CHECK-NEXT:    movapd %xmm1, %xmm0
+; CHECK-NEXT:    subsd %xmm0, %xmm0
+; CHECK-NEXT:    divsd %xmm1, %xmm0
+; CHECK-NEXT:    movsd {{.*#+}} xmm1 = mem[0],zero
+; CHECK-NEXT:    .p2align 4, 0x90
+; CHECK-NEXT:  .LBB0_2: # %foo
+; CHECK-NEXT:    # =>This Inner Loop Header: Depth=1
+; CHECK-NEXT:    ucomisd %xmm1, %xmm0
+; CHECK-NEXT:    ja .LBB0_2
+; CHECK-NEXT:  .LBB0_3: # %bar
+; CHECK-NEXT:    retq
 entry:
   br i1 fcmp oeq (double fsub (double undef, double undef), double 0.000000e+00), label %bar, label %foo