36 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s3 4; This is a case where we would incorrectly conclude that LBB0_1 could only5; be reached via fall through and would therefore omit the label.6 7@g = dso_local global i32 08 9define dso_local void @xyz() {10; CHECK-LABEL: xyz:11; CHECK: # %bb.0: # %entry12; CHECK-NEXT: movl $g, %eax13; CHECK-NEXT: movq %rax, %xmm014; CHECK-NEXT: xorpd %xmm1, %xmm115; CHECK-NEXT: ucomisd %xmm1, %xmm016; CHECK-NEXT: jne .LBB0_117; CHECK-NEXT: jnp .LBB0_218; CHECK-NEXT: .p2align 419; CHECK-NEXT: .LBB0_1: # %foo20; CHECK-NEXT: # =>This Inner Loop Header: Depth=121; CHECK-NEXT: ucomisd %xmm1, %xmm022; CHECK-NEXT: ja .LBB0_123; CHECK-NEXT: .LBB0_2: # %bar24; CHECK-NEXT: retq25entry:26 %cmp1 = fcmp oeq double bitcast (i64 ptrtoint (ptr @g to i64) to double), 0.000000e+0027 br i1 %cmp1, label %bar, label %foo28 29foo:30 %cmp2 = fcmp ogt double bitcast (i64 ptrtoint (ptr @g to i64) to double), 0.000000e+0031 br i1 %cmp2, label %foo, label %bar32 33bar:34 ret void35}36