1 ; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s 2 3 ; CHECK: %tmp9 = shl i64 %tmp8, 33 4 ; CHECK-NEXT: --> {{.*}} Exits: (-8589934592 + (8589934592 * (zext i32 %arg2 to i64))) 5 ; CHECK: %tmp10 = ashr exact i64 %tmp9, 32 6 ; CHECK-NEXT: --> {{.*}} Exits: (sext i32 (-2 + (2 * %arg2)) to i64) 7 ; CHECK: %tmp11 = getelementptr inbounds i32, i32* %arg, i64 %tmp10 8 ; CHECK-NEXT: --> {{.*}} Exits: ((4 * (sext i32 (-2 + (2 * %arg2)) to i64))<nsw> + %arg) 9 ; CHECK: %tmp14 = or i64 %tmp10, 1 10 ; CHECK-NEXT: --> {{.*}} Exits: (1 + (sext i32 (-2 + (2 * %arg2)) to i64))<nsw> 11 ; CHECK: %tmp15 = getelementptr inbounds i32, i32* %arg, i64 %tmp14 12 ; CHECK-NEXT: --> {{.*}} Exits: (4 + (4 * (sext i32 (-2 + (2 * %arg2)) to i64))<nsw> + %arg) 13 ; CHECK:Loop %bb7: backedge-taken count is (-1 + (zext i32 %arg2 to i64))<nsw> 14 ; CHECK-NEXT:Loop %bb7: max backedge-taken count is -1 15 ; CHECK-NEXT:Loop %bb7: Predicated backedge-taken count is (-1 + (zext i32 %arg2 to i64))<nsw> 16 17 define void @foo(i32* nocapture %arg, i32 %arg1, i32 %arg2) { 18 bb: 19 %tmp = icmp sgt i32 %arg2, 0 20 br i1 %tmp, label %bb3, label %bb6 21 22 bb3: ; preds = %bb 23 %tmp4 = zext i32 %arg2 to i64 24 br label %bb7 25 26 bb5: ; preds = %bb7 27 br label %bb6 28 29 bb6: ; preds = %bb5, %bb 30 ret void 31 32 bb7: ; preds = %bb7, %bb3 33 %tmp8 = phi i64 [ %tmp18, %bb7 ], [ 0, %bb3 ] 34 %tmp9 = shl i64 %tmp8, 33 35 %tmp10 = ashr exact i64 %tmp9, 32 36 %tmp11 = getelementptr inbounds i32, i32* %arg, i64 %tmp10 37 %tmp12 = load i32, i32* %tmp11, align 4 38 %tmp13 = sub nsw i32 %tmp12, %arg1 39 store i32 %tmp13, i32* %tmp11, align 4 40 %tmp14 = or i64 %tmp10, 1 41 %tmp15 = getelementptr inbounds i32, i32* %arg, i64 %tmp14 42 %tmp16 = load i32, i32* %tmp15, align 4 43 %tmp17 = mul nsw i32 %tmp16, %arg1 44 store i32 %tmp17, i32* %tmp15, align 4 45 %tmp18 = add nuw nsw i64 %tmp8, 1 46 %tmp19 = icmp eq i64 %tmp18, %tmp4 47 br i1 %tmp19, label %bb5, label %bb7 48 } 49 50 ; CHECK: %t10 = ashr exact i128 %t9, 1 51 ; CHECK-NEXT: --> {{.*}} Exits: (sext i127 (-633825300114114700748351602688 + (633825300114114700748351602688 * (zext i32 %arg5 to i127))) to i128) 52 ; CHECK: %t14 = or i128 %t10, 1 53 ; CHECK-NEXT: --> {{.*}} Exits: (1 + (sext i127 (-633825300114114700748351602688 + (633825300114114700748351602688 * (zext i32 %arg5 to i127))) to i128))<nsw> 54 ; CHECK: Loop %bb7: backedge-taken count is (-1 + (zext i32 %arg5 to i128))<nsw> 55 ; CHECK-NEXT: Loop %bb7: max backedge-taken count is -1 56 ; CHECK-NEXT: Loop %bb7: Predicated backedge-taken count is (-1 + (zext i32 %arg5 to i128))<nsw> 57 58 define void @goo(i32* nocapture %arg3, i32 %arg4, i32 %arg5) { 59 bb: 60 %t = icmp sgt i32 %arg5, 0 61 br i1 %t, label %bb3, label %bb6 62 63 bb3: ; preds = %bb 64 %t4 = zext i32 %arg5 to i128 65 br label %bb7 66 67 bb5: ; preds = %bb7 68 br label %bb6 69 70 bb6: ; preds = %bb5, %bb 71 ret void 72 73 bb7: ; preds = %bb7, %bb3 74 %t8 = phi i128 [ %t18, %bb7 ], [ 0, %bb3 ] 75 %t9 = shl i128 %t8, 100 76 %t10 = ashr exact i128 %t9, 1 77 %t11 = getelementptr inbounds i32, i32* %arg3, i128 %t10 78 %t12 = load i32, i32* %t11, align 4 79 %t13 = sub nsw i32 %t12, %arg4 80 store i32 %t13, i32* %t11, align 4 81 %t14 = or i128 %t10, 1 82 %t15 = getelementptr inbounds i32, i32* %arg3, i128 %t14 83 %t16 = load i32, i32* %t15, align 4 84 %t17 = mul nsw i32 %t16, %arg4 85 store i32 %t17, i32* %t15, align 4 86 %t18 = add nuw nsw i128 %t8, 1 87 %t19 = icmp eq i128 %t18, %t4 88 br i1 %t19, label %bb5, label %bb7 89 } 90
