1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2; RUN: llc < %s -mtriple=thumbv7-apple-darwin -arm-atomic-cfg-tidy=0 -mcpu=cortex-a8 -relocation-model=pic -frame-pointer=all | FileCheck %s 3; rdar://7352504 4 5%0 = type { i16, i8, i8 } 6%1 = type { [2 x i32], [2 x i32] } 7%2 = type { ptr } 8%struct.FILE_POS = type { i8, i8, i16, i32 } 9%struct.GAP = type { i8, i8, i16 } 10%struct.LIST = type { ptr, ptr } 11%struct.STYLE = type { %union.anon, %union.anon, i16, i16, i32 } 12%struct.head_type = type { [2 x %struct.LIST], %union.FIRST_UNION, %union.SECOND_UNION, %union.THIRD_UNION, %union.FOURTH_UNION, ptr, %2, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32 } 13%union.FIRST_UNION = type { %struct.FILE_POS } 14%union.FOURTH_UNION = type { %struct.STYLE } 15%union.SECOND_UNION = type { %0 } 16%union.THIRD_UNION = type { %1 } 17%union.anon = type { %struct.GAP } 18%union.rec = type { %struct.head_type } 19 20@zz_hold = external global ptr ; <ptr> [#uses=2] 21@zz_res = external global ptr ; <ptr> [#uses=1] 22 23define ptr @Manifest(ptr %x, ptr %env, ptr %style, ptr %bthr, ptr %fthr, ptr %target, ptr %crs, i32 %ok, i32 %need_expand, ptr %enclose, i32 %fcr) nounwind { 24; CHECK-LABEL: Manifest: 25; CHECK: @ %bb.0: @ %entry 26; CHECK-NEXT: push {r4, r5, r6, r7, lr} 27; CHECK-NEXT: add r7, sp, #12 28; CHECK-NEXT: push.w {r8, r10, r11} 29; CHECK-NEXT: sub sp, #292 30; CHECK-NEXT: add.w r10, r7, #8 31; CHECK-NEXT: ldrd r8, lr, [r7, #20] 32; CHECK-NEXT: movs r5, #0 33; CHECK-NEXT: cmp r5, #0 34; CHECK-NEXT: ldm.w r10, {r4, r9, r10} 35; CHECK-NEXT: ldr.w r12, [r7, #28] 36; CHECK-NEXT: ittt ne 37; CHECK-NEXT: addne sp, #292 38; CHECK-NEXT: popne.w {r8, r10, r11} 39; CHECK-NEXT: popne {r4, r5, r6, r7, pc} 40; CHECK-NEXT: LBB0_1: @ %bb20 41; CHECK-NEXT: movs r5, #1 42; CHECK-NEXT: cmp r5, #0 43; CHECK-NEXT: bne LBB0_4 44; CHECK-NEXT: @ %bb.2: @ %bb20 45; CHECK-NEXT: beq LBB0_5 46; CHECK-NEXT: @ %bb.3: @ %bb420 47; CHECK-NEXT: movw r5, :lower16:(L_zz_hold$non_lazy_ptr-(LPC0_0+4)) 48; CHECK-NEXT: movt r5, :upper16:(L_zz_hold$non_lazy_ptr-(LPC0_0+4)) 49; CHECK-NEXT: movw r11, :lower16:(L_zz_res$non_lazy_ptr-(LPC0_1+4)) 50; CHECK-NEXT: LPC0_0: 51; CHECK-NEXT: add r5, pc 52; CHECK-NEXT: movt r11, :upper16:(L_zz_res$non_lazy_ptr-(LPC0_1+4)) 53; CHECK-NEXT: LPC0_1: 54; CHECK-NEXT: add r11, pc 55; CHECK-NEXT: ldr r5, [r5] 56; CHECK-NEXT: str r5, [sp, #32] @ 4-byte Spill 57; CHECK-NEXT: ldr.w r5, [r11] 58; CHECK-NEXT: mov.w r11, #0 59; CHECK-NEXT: str r5, [sp, #28] @ 4-byte Spill 60; CHECK-NEXT: ldr r5, [sp, #32] @ 4-byte Reload 61; CHECK-NEXT: str.w r11, [r5] 62; CHECK-NEXT: movs r5, #0 63; CHECK-NEXT: ldr r6, [sp, #28] @ 4-byte Reload 64; CHECK-NEXT: str r5, [r6] 65; CHECK-NEXT: ldr r5, [sp, #32] @ 4-byte Reload 66; CHECK-NEXT: str r0, [r5] 67; CHECK-NEXT: ldr r0, [r7, #32] 68; CHECK-NEXT: stm.w sp, {r4, r9, r10} 69; CHECK-NEXT: strd r8, lr, [sp, #12] 70; CHECK-NEXT: str.w r12, [sp, #20] 71; CHECK-NEXT: str r0, [sp, #24] 72; CHECK-NEXT: bl _Manifest 73; CHECK-NEXT: trap 74; CHECK-NEXT: LBB0_4: @ %bb20 75; CHECK-NEXT: itt ne 76; CHECK-NEXT: movne r0, #0 77; CHECK-NEXT: cmpne r0, #0 78; CHECK-NEXT: LBB0_5: @ %bb20 79; CHECK-NEXT: trap 80entry: 81 %xgaps.i = alloca [32 x ptr], align 4 ; <ptr> [#uses=0] 82 %ycomp.i = alloca [32 x ptr], align 4 ; <ptr> [#uses=0] 83 br label %bb20 84 85bb20: ; preds = %entry 86 switch i32 undef, label %bb1287 [ 87 i32 110, label %bb119 88 i32 120, label %bb119 89 i32 210, label %bb420 90 i32 230, label %bb420 91 i32 450, label %bb438 92 i32 460, label %bb438 93 i32 550, label %bb533 94 i32 560, label %bb569 95 i32 640, label %bb745 96 i32 780, label %bb1098 97 ] 98 99bb119: ; preds = %bb20, %bb20 100 unreachable 101 102bb420: ; preds = %bb20, %bb20 103 store volatile ptr null, ptr @zz_hold, align 4 104 store ptr null, ptr @zz_res, align 4 105 store volatile ptr %x, ptr @zz_hold, align 4 106 %0 = call ptr @Manifest(ptr undef, ptr %env, ptr %style, ptr %bthr, ptr %fthr, ptr %target, ptr %crs, i32 %ok, i32 %need_expand, ptr %enclose, i32 %fcr) nounwind ; <ptr> [#uses=0] 107 unreachable 108 109bb438: ; preds = %bb20, %bb20 110 unreachable 111 112bb533: ; preds = %bb20 113 ret ptr %x 114 115bb569: ; preds = %bb20 116 unreachable 117 118bb745: ; preds = %bb20 119 unreachable 120 121bb1098: ; preds = %bb20 122 unreachable 123 124bb1287: ; preds = %bb20 125 unreachable 126} 127