1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -indvars -verify-scev %s | FileCheck %s 3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:1" 4target triple = "x86_64-unknown-linux-gnu" 5 6define i32 @testDiv(i8* %p, i64* %p1) { 7; CHECK-LABEL: @testDiv( 8; CHECK-NEXT: entry: 9; CHECK-NEXT: br label [[LOOP1:%.*]] 10; CHECK: loop1: 11; CHECK-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ [[INDVARS_IV_NEXT:%.*]], [[LOOP2_EXIT:%.*]] ], [ 8, [[ENTRY:%.*]] ] 12; CHECK-NEXT: [[EXITCOND:%.*]] = icmp eq i64 [[INDVARS_IV]], 15 13; CHECK-NEXT: br i1 [[EXITCOND]], label [[EXIT:%.*]], label [[GENERAL_CASE24:%.*]] 14; CHECK: general_case24: 15; CHECK-NEXT: br i1 false, label [[LOOP2_PREHEADER:%.*]], label [[LOOP2_EXIT]] 16; CHECK: loop2.preheader: 17; CHECK-NEXT: br label [[LOOP2:%.*]] 18; CHECK: loop2: 19; CHECK-NEXT: [[I4:%.*]] = load atomic i64, i64* [[P1:%.*]] unordered, align 8 20; CHECK-NEXT: [[I6:%.*]] = sub i64 [[I4]], -1 21; CHECK-NEXT: store atomic i64 [[I6]], i64* [[P1]] unordered, align 8 22; CHECK-NEXT: br i1 true, label [[LOOP2_EXIT_LOOPEXIT:%.*]], label [[LOOP2]] 23; CHECK: loop2.exit.loopexit: 24; CHECK-NEXT: br label [[LOOP2_EXIT]] 25; CHECK: loop2.exit: 26; CHECK-NEXT: [[INDVARS_IV_NEXT]] = add nuw nsw i64 [[INDVARS_IV]], 1 27; CHECK-NEXT: br i1 false, label [[EXIT]], label [[LOOP1]] 28; CHECK: exit: 29; CHECK-NEXT: ret i32 0 30; 31entry: 32 br label %loop1 33 34loop1: ; preds = %loop2.exit, %entry 35 %local_0_ = phi i32 [ 8, %entry ], [ %i9, %loop2.exit ] 36 %local_2_ = phi i32 [ 63864, %entry ], [ %local_2_43, %loop2.exit ] 37 %local_3_ = phi i32 [ 51, %entry ], [ %local_3_44, %loop2.exit ] 38 %i = udiv i32 14, %local_0_ 39 %i1 = icmp ugt i32 %local_0_, 14 40 br i1 %i1, label %exit, label %general_case24 41 42general_case24: ; preds = %loop1 43 %i2 = udiv i32 60392, %i 44 br i1 false, label %loop2, label %loop2.exit 45 46loop2: ; preds = %loop2, %general_case24 47 %local_1_56 = phi i32 [ %i2, %general_case24 ], [ %i3, %loop2 ] 48 %local_2_57 = phi i32 [ 1, %general_case24 ], [ %i7, %loop2 ] 49 %i3 = add i32 %local_1_56, -1 50 %i4 = load atomic i64, i64* %p1 unordered, align 8 51 %i5 = sext i32 %i3 to i64 52 %i6 = sub i64 %i4, %i5 53 store atomic i64 %i6, i64* %p1 unordered, align 8 54 %i7 = add nuw nsw i32 %local_2_57, 1 55 %i8 = icmp ugt i32 %local_2_57, 7 56 br i1 %i8, label %loop2.exit, label %loop2 57 58loop2.exit: ; preds = %loop2, %general_case24 59 %local_2_43 = phi i32 [ %local_2_, %general_case24 ], [ 9, %loop2 ] 60 %local_3_44 = phi i32 [ %local_3_, %general_case24 ], [ %local_1_56, %loop2 ] 61 %i9 = add nuw nsw i32 %local_0_, 1 62 %i10 = icmp ugt i32 %local_0_, 129 63 br i1 %i10, label %exit, label %loop1 64 65exit: ; preds = %loop2.exit, %loop1 66 ret i32 0 67} 68 69define i32 @testRem(i8* %p, i64* %p1) { 70; CHECK-LABEL: @testRem( 71; CHECK-NEXT: entry: 72; CHECK-NEXT: br label [[LOOP1:%.*]] 73; CHECK: loop1: 74; CHECK-NEXT: [[LOCAL_0_:%.*]] = phi i32 [ 8, [[ENTRY:%.*]] ], [ [[I9:%.*]], [[LOOP2_EXIT:%.*]] ] 75; CHECK-NEXT: [[EXITCOND:%.*]] = icmp eq i32 [[LOCAL_0_]], 15 76; CHECK-NEXT: br i1 [[EXITCOND]], label [[EXIT:%.*]], label [[GENERAL_CASE24:%.*]] 77; CHECK: general_case24: 78; CHECK-NEXT: br i1 false, label [[LOOP2_PREHEADER:%.*]], label [[LOOP2_EXIT]] 79; CHECK: loop2.preheader: 80; CHECK-NEXT: [[TMP0:%.*]] = udiv i32 14, [[LOCAL_0_]] 81; CHECK-NEXT: [[TMP1:%.*]] = udiv i32 60392, [[TMP0]] 82; CHECK-NEXT: [[TMP2:%.*]] = mul i32 [[TMP1]], -1 83; CHECK-NEXT: [[TMP3:%.*]] = mul i32 [[TMP2]], [[TMP0]] 84; CHECK-NEXT: [[TMP4:%.*]] = sext i32 [[TMP3]] to i64 85; CHECK-NEXT: [[TMP5:%.*]] = add nsw i64 [[TMP4]], 60392 86; CHECK-NEXT: br label [[LOOP2:%.*]] 87; CHECK: loop2: 88; CHECK-NEXT: [[INDVARS_IV_NEXT:%.*]] = add nsw i64 [[TMP5]], -1 89; CHECK-NEXT: [[I4:%.*]] = load atomic i64, i64* [[P1:%.*]] unordered, align 8 90; CHECK-NEXT: [[I6:%.*]] = sub i64 [[I4]], [[INDVARS_IV_NEXT]] 91; CHECK-NEXT: store atomic i64 [[I6]], i64* [[P1]] unordered, align 8 92; CHECK-NEXT: br i1 true, label [[LOOP2_EXIT_LOOPEXIT:%.*]], label [[LOOP2]] 93; CHECK: loop2.exit.loopexit: 94; CHECK-NEXT: br label [[LOOP2_EXIT]] 95; CHECK: loop2.exit: 96; CHECK-NEXT: [[I9]] = add nuw nsw i32 [[LOCAL_0_]], 1 97; CHECK-NEXT: br i1 false, label [[EXIT]], label [[LOOP1]] 98; CHECK: exit: 99; CHECK-NEXT: ret i32 0 100; 101entry: 102 br label %loop1 103 104loop1: ; preds = %loop2.exit, %entry 105 %local_0_ = phi i32 [ 8, %entry ], [ %i9, %loop2.exit ] 106 %local_2_ = phi i32 [ 63864, %entry ], [ %local_2_43, %loop2.exit ] 107 %local_3_ = phi i32 [ 51, %entry ], [ %local_3_44, %loop2.exit ] 108 %i = udiv i32 14, %local_0_ 109 %i1 = icmp ugt i32 %local_0_, 14 110 br i1 %i1, label %exit, label %general_case24 111 112general_case24: ; preds = %loop1 113 %i2 = urem i32 60392, %i 114 br i1 false, label %loop2, label %loop2.exit 115 116loop2: ; preds = %loop2, %general_case24 117 %local_1_56 = phi i32 [ %i2, %general_case24 ], [ %i3, %loop2 ] 118 %local_2_57 = phi i32 [ 1, %general_case24 ], [ %i7, %loop2 ] 119 %i3 = add i32 %local_1_56, -1 120 %i4 = load atomic i64, i64* %p1 unordered, align 8 121 %i5 = sext i32 %i3 to i64 122 %i6 = sub i64 %i4, %i5 123 store atomic i64 %i6, i64* %p1 unordered, align 8 124 %i7 = add nuw nsw i32 %local_2_57, 1 125 %i8 = icmp ugt i32 %local_2_57, 7 126 br i1 %i8, label %loop2.exit, label %loop2 127 128loop2.exit: ; preds = %loop2, %general_case24 129 %local_2_43 = phi i32 [ %local_2_, %general_case24 ], [ 9, %loop2 ] 130 %local_3_44 = phi i32 [ %local_3_, %general_case24 ], [ %local_1_56, %loop2 ] 131 %i9 = add nuw nsw i32 %local_0_, 1 132 %i10 = icmp ugt i32 %local_0_, 129 133 br i1 %i10, label %exit, label %loop1 134 135exit: ; preds = %loop2.exit, %loop1 136 ret i32 0 137} 138