1; RUN: llc < %s -mtriple=thumbv7-apple-ios -relocation-model=pic -disable-fp-elim -mcpu=cortex-a8 | FileCheck %s 2; rdar://10676853 3 4%struct.Dict_node_struct = type { i8*, %struct.Word_file_struct*, %struct.Exp_struct*, %struct.Dict_node_struct*, %struct.Dict_node_struct* } 5%struct.Word_file_struct = type { [60 x i8], i32, %struct.Word_file_struct* } 6%struct.Exp_struct = type { i8, i8, i8, i8, %union.anon } 7%union.anon = type { %struct.E_list_struct* } 8%struct.E_list_struct = type { %struct.E_list_struct*, %struct.Exp_struct* } 9 10@lookup_list = external hidden unnamed_addr global %struct.Dict_node_struct*, align 4 11 12declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i1) nounwind 13 14define hidden fastcc void @rdictionary_lookup(%struct.Dict_node_struct* %dn, i8* nocapture %s) nounwind ssp { 15; CHECK-LABEL: rdictionary_lookup: 16entry: 17 br label %tailrecurse 18 19tailrecurse: ; preds = %if.then10, %entry 20 %dn.tr = phi %struct.Dict_node_struct* [ %dn, %entry ], [ %9, %if.then10 ] 21 %cmp = icmp eq %struct.Dict_node_struct* %dn.tr, null 22 br i1 %cmp, label %if.end11, label %if.end 23 24if.end: ; preds = %tailrecurse 25 %string = getelementptr inbounds %struct.Dict_node_struct, %struct.Dict_node_struct* %dn.tr, i32 0, i32 0 26 %0 = load i8*, i8** %string, align 4 27 br label %while.cond.i 28 29while.cond.i: ; preds = %while.body.i, %if.end 30 %1 = phi i8* [ %s, %if.end ], [ %incdec.ptr.i, %while.body.i ] 31 %storemerge.i = phi i8* [ %0, %if.end ], [ %incdec.ptr6.i, %while.body.i ] 32 %2 = load i8, i8* %1, align 1 33 %cmp.i = icmp eq i8 %2, 0 34 %.pre.i = load i8, i8* %storemerge.i, align 1 35 br i1 %cmp.i, label %lor.lhs.false.i, label %land.end.i 36 37land.end.i: ; preds = %while.cond.i 38 %cmp4.i = icmp eq i8 %2, %.pre.i 39 br i1 %cmp4.i, label %while.body.i, label %while.end.i 40 41while.body.i: ; preds = %land.end.i 42 %incdec.ptr.i = getelementptr inbounds i8, i8* %1, i32 1 43 %incdec.ptr6.i = getelementptr inbounds i8, i8* %storemerge.i, i32 1 44 br label %while.cond.i 45 46while.end.i: ; preds = %land.end.i 47 %cmp8.i = icmp eq i8 %2, 42 48 br i1 %cmp8.i, label %if.end3, label %lor.lhs.false.i 49 50lor.lhs.false.i: ; preds = %while.end.i, %while.cond.i 51 %3 = phi i8 [ %2, %while.end.i ], [ 0, %while.cond.i ] 52 %cmp11.i = icmp eq i8 %.pre.i, 42 53 br i1 %cmp11.i, label %if.end3, label %dict_match.exit 54 55dict_match.exit: ; preds = %lor.lhs.false.i 56 %cmp14.i = icmp eq i8 %3, 46 57 %conv16.i = sext i8 %3 to i32 58 %.conv16.i = select i1 %cmp14.i, i32 0, i32 %conv16.i 59 %cmp18.i = icmp eq i8 %.pre.i, 46 60 %conv22.i = sext i8 %.pre.i to i32 61 %cond24.i = select i1 %cmp18.i, i32 0, i32 %conv22.i 62 %sub.i = sub nsw i32 %.conv16.i, %cond24.i 63 %cmp1 = icmp sgt i32 %sub.i, -1 64 br i1 %cmp1, label %if.end3, label %if.then10 65 66if.end3: ; preds = %dict_match.exit, %lor.lhs.false.i, %while.end.i 67; CHECK: %if.end3 68; CHECK: cmp 69; CHECK-NOT: cbnz 70 %storemerge1.i3 = phi i32 [ %sub.i, %dict_match.exit ], [ 0, %lor.lhs.false.i ], [ 0, %while.end.i ] 71 %right = getelementptr inbounds %struct.Dict_node_struct, %struct.Dict_node_struct* %dn.tr, i32 0, i32 4 72 %4 = load %struct.Dict_node_struct*, %struct.Dict_node_struct** %right, align 4 73 tail call fastcc void @rdictionary_lookup(%struct.Dict_node_struct* %4, i8* %s) 74 %cmp4 = icmp eq i32 %storemerge1.i3, 0 75 br i1 %cmp4, label %if.then5, label %if.end8 76 77if.then5: ; preds = %if.end3 78 %call6 = tail call fastcc i8* @xalloc(i32 20) 79 %5 = bitcast i8* %call6 to %struct.Dict_node_struct* 80 %6 = bitcast %struct.Dict_node_struct* %dn.tr to i8* 81 tail call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 %call6, i8* align 4 %6, i32 16, i1 false) 82 %7 = load %struct.Dict_node_struct*, %struct.Dict_node_struct** @lookup_list, align 4 83 %right7 = getelementptr inbounds i8, i8* %call6, i32 16 84 %8 = bitcast i8* %right7 to %struct.Dict_node_struct** 85 store %struct.Dict_node_struct* %7, %struct.Dict_node_struct** %8, align 4 86 store %struct.Dict_node_struct* %5, %struct.Dict_node_struct** @lookup_list, align 4 87 br label %if.then10 88 89if.end8: ; preds = %if.end3 90 %cmp9 = icmp slt i32 %storemerge1.i3, 1 91 br i1 %cmp9, label %if.then10, label %if.end11 92 93if.then10: ; preds = %if.end8, %if.then5, %dict_match.exit 94 %left = getelementptr inbounds %struct.Dict_node_struct, %struct.Dict_node_struct* %dn.tr, i32 0, i32 3 95 %9 = load %struct.Dict_node_struct*, %struct.Dict_node_struct** %left, align 4 96 br label %tailrecurse 97 98if.end11: ; preds = %if.end8, %tailrecurse 99 ret void 100} 101 102; Materializable 103declare hidden fastcc i8* @xalloc(i32) nounwind ssp 104