1# RUN: llc -mtriple=arm-apple-ios -run-pass=if-converter %s -o - | FileCheck %s 2--- 3name: foo 4body: | 5 bb.0: 6 Bcc %bb.2, 1, $cpsr 7 8 bb.1: 9 successors: %bb.3(0x20000000), %bb.4(0x60000000) 10 $sp = tADDspi $sp, 1, 14, _ 11 Bcc %bb.3, 1, $cpsr 12 B %bb.4 13 14 bb.2: 15 successors: %bb.3(0x20000000), %bb.4(0x60000000) 16 $sp = tADDspi $sp, 2, 14, _ 17 Bcc %bb.3, 1, $cpsr 18 B %bb.4 19 20 bb.3: 21 successors: 22 $sp = tADDspi $sp, 3, 14, _ 23 BX_RET 14, _ 24 25 bb.4: 26 successors: 27 $sp = tADDspi $sp, 4, 14, _ 28 BX_RET 14, _ 29... 30 31# Forked-diamond testcase with unanalyzable instructions in both the True and 32# False BBs following the forked diamond. 33 34# CHECK: body: | 35# CHECK: bb.0: 36# CHECK: successors: %bb.2(0x20000000), %bb.1(0x60000000) 37 38# CHECK: $sp = tADDspi $sp, 2, 1, $cpsr 39# CHECK: $sp = tADDspi $sp, 1, 0, $cpsr, implicit $sp 40# CHECK: Bcc %bb.2, 1, $cpsr 41 42# CHECK: bb.1: 43# CHECK: $sp = tADDspi $sp, 4, 14, $noreg 44# CHECK: BX_RET 14, $noreg 45 46# CHECK: bb.2: 47# CHECK: $sp = tADDspi $sp, 3, 14, $noreg 48# CHECK: BX_RET 14, $noreg 49