1fcd6549eSNikita Popov; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4 2fcd6549eSNikita Popov; RUN: opt -S -passes=loop-idiom < %s | FileCheck %s 3fcd6549eSNikita Popov 4*07292b72SNikita Popov; The poison flags should be preserved, as no transform takes place. 5fcd6549eSNikita Popovdefine void @test(ptr %p.end, ptr %p.start) { 6fcd6549eSNikita Popov; CHECK-LABEL: define void @test( 7fcd6549eSNikita Popov; CHECK-SAME: ptr [[P_END:%.*]], ptr [[P_START:%.*]]) { 8fcd6549eSNikita Popov; CHECK-NEXT: entry: 9fcd6549eSNikita Popov; CHECK-NEXT: [[P_END_INT:%.*]] = ptrtoint ptr [[P_END]] to i64 10fcd6549eSNikita Popov; CHECK-NEXT: [[P_START_INT:%.*]] = ptrtoint ptr [[P_START]] to i64 11*07292b72SNikita Popov; CHECK-NEXT: [[DIST:%.*]] = sub nuw i64 [[P_END_INT]], [[P_START_INT]] 12*07292b72SNikita Popov; CHECK-NEXT: [[LEN:%.*]] = lshr exact i64 [[DIST]], 5 13fcd6549eSNikita Popov; CHECK-NEXT: [[CMP:%.*]] = icmp eq ptr [[P_END]], [[P_START]] 14fcd6549eSNikita Popov; CHECK-NEXT: br i1 [[CMP]], label [[EXIT:%.*]], label [[PREHEADER:%.*]] 15fcd6549eSNikita Popov; CHECK: preheader: 16fcd6549eSNikita Popov; CHECK-NEXT: br label [[LOOP:%.*]] 17fcd6549eSNikita Popov; CHECK: loop: 18fcd6549eSNikita Popov; CHECK-NEXT: [[IV:%.*]] = phi i64 [ [[LEN]], [[PREHEADER]] ], [ [[IV_DEC:%.*]], [[LOOP]] ] 19fcd6549eSNikita Popov; CHECK-NEXT: [[IV_NEG:%.*]] = sub nsw i64 0, [[IV]] 20fcd6549eSNikita Popov; CHECK-NEXT: [[SRC:%.*]] = getelementptr inbounds [32 x i8], ptr [[P_END]], i64 [[IV_NEG]] 21fcd6549eSNikita Popov; CHECK-NEXT: [[V:%.*]] = load <4 x i64>, ptr [[SRC]], align 8 22fcd6549eSNikita Popov; CHECK-NEXT: [[DST:%.*]] = getelementptr inbounds [32 x i8], ptr [[P_START]], i64 [[IV_NEG]] 23fcd6549eSNikita Popov; CHECK-NEXT: store <4 x i64> [[V]], ptr [[DST]], align 8 24fcd6549eSNikita Popov; CHECK-NEXT: [[IV_DEC]] = add i64 [[IV]], -1 25fcd6549eSNikita Popov; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i64 [[IV_DEC]], 0 26fcd6549eSNikita Popov; CHECK-NEXT: br i1 [[CMP2]], label [[LOOP_EXIT:%.*]], label [[LOOP]] 27fcd6549eSNikita Popov; CHECK: loop.exit: 28fcd6549eSNikita Popov; CHECK-NEXT: br label [[EXIT]] 29fcd6549eSNikita Popov; CHECK: exit: 30fcd6549eSNikita Popov; CHECK-NEXT: ret void 31fcd6549eSNikita Popov; 32fcd6549eSNikita Popoventry: 33fcd6549eSNikita Popov %p.end.int = ptrtoint ptr %p.end to i64 34fcd6549eSNikita Popov %p.start.int = ptrtoint ptr %p.start to i64 35fcd6549eSNikita Popov %dist = sub nuw i64 %p.end.int, %p.start.int 36fcd6549eSNikita Popov %len = lshr exact i64 %dist, 5 37fcd6549eSNikita Popov %cmp = icmp eq ptr %p.end, %p.start 38fcd6549eSNikita Popov br i1 %cmp, label %exit, label %preheader 39fcd6549eSNikita Popov 40fcd6549eSNikita Popovpreheader: 41fcd6549eSNikita Popov br label %loop 42fcd6549eSNikita Popov 43fcd6549eSNikita Popovloop: 44fcd6549eSNikita Popov %iv = phi i64 [ %len, %preheader ], [ %iv.dec, %loop ] 45fcd6549eSNikita Popov %iv.neg = sub nsw i64 0, %iv 46fcd6549eSNikita Popov %src = getelementptr inbounds [32 x i8], ptr %p.end, i64 %iv.neg 47fcd6549eSNikita Popov %v = load <4 x i64>, ptr %src, align 8 48fcd6549eSNikita Popov %dst = getelementptr inbounds [32 x i8], ptr %p.start, i64 %iv.neg 49fcd6549eSNikita Popov store <4 x i64> %v, ptr %dst, align 8 50fcd6549eSNikita Popov %iv.dec = add i64 %iv, -1 51fcd6549eSNikita Popov %cmp2 = icmp eq i64 %iv.dec, 0 52fcd6549eSNikita Popov br i1 %cmp2, label %loop.exit, label %loop 53fcd6549eSNikita Popov 54fcd6549eSNikita Popovloop.exit: 55fcd6549eSNikita Popov br label %exit 56fcd6549eSNikita Popov 57fcd6549eSNikita Popovexit: 58fcd6549eSNikita Popov ret void 59fcd6549eSNikita Popov} 60