llvm/test/CodeGen/X86/undef-label.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s
   3
   4 ; This is a case where we would incorrectly conclude that LBB0_1 could only
   5 ; be reached via fall through and would therefore omit the label.
   6
   7 @g = dso_local global i32 0
   8
   9 define dso_local void @xyz() {
  10 ; CHECK-LABEL: xyz:
  11 ; CHECK:       # %bb.0: # %entry
  12 ; CHECK-NEXT:    movl $g, %eax
  13 ; CHECK-NEXT:    movq %rax, %xmm0
  14 ; CHECK-NEXT:    xorpd %xmm1, %xmm1
  15 ; CHECK-NEXT:    ucomisd %xmm1, %xmm0
  16 ; CHECK-NEXT:    jne .LBB0_1
  17 ; CHECK-NEXT:    jnp .LBB0_2
  18 ; CHECK-NEXT:    .p2align 4, 0x90
  19 ; CHECK-NEXT:  .LBB0_1: # %foo
  20 ; CHECK-NEXT:    # =>This Inner Loop Header: Depth=1
  21 ; CHECK-NEXT:    ucomisd %xmm1, %xmm0
  22 ; CHECK-NEXT:    ja .LBB0_1
  23 ; CHECK-NEXT:  .LBB0_2: # %bar
  24 ; CHECK-NEXT:    retq
  25 entry:
  26   %cmp1 = fcmp oeq double bitcast (i64 ptrtoint (ptr @g to i64) to double), 0.000000e+00
  27   br i1 %cmp1, label %bar, label %foo
  28
  29 foo:
  30   %cmp2 = fcmp ogt double bitcast (i64 ptrtoint (ptr @g to i64) to double), 0.000000e+00
  31   br i1 %cmp2, label %foo, label %bar
  32
  33 bar:
  34   ret void
  35 }