1 ; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s 2 3 ; This is a case where we would incorrectly conclude that LBB0_1 could only 4 ; be reached via fall through and would therefore omit the label. 5 6 ; CHECK: jne .LBB0_1 7 ; CHECK-NEXT: jnp .LBB0_3 8 ; CHECK-NEXT: .LBB0_1: 9 10 define void @xyz() { 11 entry: 12 br i1 fcmp oeq (double fsub (double undef, double undef), double 0.000000e+00), label %bar, label %foo 13 14 foo: 15 br i1 fcmp ogt (double fdiv (double fsub (double fmul (double undef, double undef), double fsub (double undef, double undef)), double fmul (double undef, double undef)), double 1.0), label %foo, label %bar 16 17 bar: 18 ret void 19 } 20
