1; RUN: opt -O2 -disable-output < %s 2; PR15714 3 4%struct.ham = type { i32 } 5 6@global5 = common global i32 0, align 4 7@global6 = common global i32 0, align 4 8@global7 = common global i32 0, align 4 9@global = common global i32 0, align 4 10@global8 = common global %struct.ham zeroinitializer, align 4 11@global9 = common global i32 0, align 4 12@global10 = common global i32 0, align 4 13@global11 = common global i32 0, align 4 14 15define void @zot12() { 16bb: 17 store i32 0, ptr @global5, align 4 18 store i32 0, ptr @global6, align 4 19 br label %bb2 20 21bb1: ; preds = %bb11 22 %tmp = load i32, ptr @global5, align 4 23 br label %bb2 24 25bb2: ; preds = %bb1, %bb 26 %tmp3 = phi i32 [ %tmp, %bb1 ], [ 0, %bb ] 27 %cmp = icmp ne i64 ptrtoint (ptr @global5 to i64), 1 28 %ext = zext i1 %cmp to i32 29 %tmp4 = xor i32 %tmp3, %ext 30 store i32 %tmp4, ptr @global5, align 4 31 %tmp5 = icmp eq i32 %tmp3, %ext 32 br i1 %tmp5, label %bb8, label %bb6 33 34bb6: ; preds = %bb2 35 %tmp7 = tail call i32 @quux13() 36 br label %bb8 37 38bb8: ; preds = %bb6, %bb2 39 %tmp9 = load i32, ptr @global7, align 4 40 %tmp10 = icmp eq i32 %tmp9, 0 41 br i1 %tmp10, label %bb11, label %bb15 42 43bb11: ; preds = %bb8 44 %tmp12 = load i32, ptr @global6, align 4 45 %tmp13 = add nsw i32 %tmp12, 1 46 store i32 %tmp13, ptr @global6, align 4 47 %tmp14 = icmp slt i32 %tmp13, 42 48 br i1 %tmp14, label %bb1, label %bb15 49 50bb15: ; preds = %bb11, %bb8 51 ret void 52} 53 54define i32 @quux13() { 55bb: 56 store i32 1, ptr @global5, align 4 57 ret i32 1 58} 59 60define void @wombat() { 61bb: 62 tail call void @zot12() 63 ret void 64} 65 66define void @wombat14() { 67bb: 68 tail call void @blam() 69 ret void 70} 71 72define void @blam() { 73bb: 74 store i32 ptrtoint (ptr @global to i32), ptr @global8, align 4 75 store i32 0, ptr @global9, align 4 76 %tmp = load i32, ptr @global8, align 4 77 br label %bb1 78 79bb1: ; preds = %bb1, %bb 80 %tmp2 = phi i32 [ 0, %bb ], [ %tmp11, %bb1 ] 81 %tmp3 = phi i32 [ %tmp, %bb ], [ %tmp10, %bb1 ] 82 %tmp4 = icmp sgt i32 %tmp3, 0 83 %tmp5 = zext i1 %tmp4 to i32 84 %tmp6 = urem i32 %tmp5, 5 85 %tmp7 = mul i32 %tmp3, -80 86 %tmp8 = or i32 %tmp7, %tmp6 87 %tmp9 = icmp eq i32 %tmp8, 0 88 %tmp10 = zext i1 %tmp9 to i32 89 %tmp11 = add nsw i32 %tmp2, 1 90 %tmp12 = icmp eq i32 %tmp11, 20 91 br i1 %tmp12, label %bb13, label %bb1 92 93bb13: ; preds = %bb1 94 store i32 %tmp10, ptr @global8, align 4 95 store i32 0, ptr @global10, align 4 96 store i32 %tmp6, ptr @global11, align 4 97 store i32 20, ptr @global9, align 4 98 ret void 99} 100