1 ; RUN: llc < %s -mtriple=thumbv7-apple-darwin -arm-atomic-cfg-tidy=0 | FileCheck %s 2 ; RUN: llc < %s -mtriple=thumbv7-apple-darwin -arm-atomic-cfg-tidy=0 -arm-default-it | FileCheck %s 3 ; RUN: llc < %s -mtriple=thumbv8-apple-darwin -arm-atomic-cfg-tidy=0 -arm-no-restrict-it | FileCheck %s 4 5 ; There shouldn't be a unconditional branch at end of bb52. 6 ; rdar://7184787 7 8 @posed = external global i64 ; <i64*> [#uses=1] 9 10 define i1 @ab_bb52(i64 %.reload78, i64* %.out, i64* %.out1) nounwind { 11 newFuncRoot: 12 br label %bb52 13 14 bb52.bb55_crit_edge.exitStub: ; preds = %bb52 15 store i64 %0, i64* %.out 16 store i64 %2, i64* %.out1 17 ret i1 true 18 19 bb52.bb53_crit_edge.exitStub: ; preds = %bb52 20 store i64 %0, i64* %.out 21 store i64 %2, i64* %.out1 22 ret i1 false 23 24 bb52: ; preds = %newFuncRoot 25 ; CHECK: movne 26 ; CHECK: moveq 27 ; CHECK: pop 28 %0 = load i64, i64* @posed, align 4 ; <i64> [#uses=3] 29 %1 = sub i64 %0, %.reload78 ; <i64> [#uses=1] 30 %2 = ashr i64 %1, 1 ; <i64> [#uses=3] 31 %3 = icmp eq i64 %2, 0 ; <i1> [#uses=1] 32 br i1 %3, label %bb52.bb55_crit_edge.exitStub, label %bb52.bb53_crit_edge.exitStub 33 } 34