44 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -S -passes=loop-reduce,loop-term-fold -mtriple=riscv64-unknown-linux-gnu < %s | FileCheck %s3 4define void @test(ptr %p, i8 %arg, i32 %start) {5; CHECK-LABEL: define void @test(6; CHECK-SAME: ptr [[P:%.*]], i8 [[ARG:%.*]], i32 [[START:%.*]]) {7; CHECK-NEXT: entry:8; CHECK-NEXT: [[CONV:%.*]] = zext i8 [[ARG]] to i329; CHECK-NEXT: [[SHR:%.*]] = lshr i32 [[CONV]], 110; CHECK-NEXT: [[TMP0:%.*]] = add i32 [[START]], [[SHR]]11; CHECK-NEXT: [[TMP1:%.*]] = add i32 [[TMP0]], 112; CHECK-NEXT: br label [[FOR_BODY:%.*]]13; CHECK: for.body:14; CHECK-NEXT: [[ADD810:%.*]] = phi i32 [ [[START]], [[ENTRY:%.*]] ], [ [[ADD:%.*]], [[FOR_BODY]] ]15; CHECK-NEXT: [[IDXPROM2:%.*]] = zext i32 [[ADD810]] to i6416; CHECK-NEXT: [[ARRAYIDX3:%.*]] = getelementptr i8, ptr [[P]], i64 [[IDXPROM2]]17; CHECK-NEXT: [[V:%.*]] = load i8, ptr [[ARRAYIDX3]], align 118; CHECK-NEXT: [[ADD]] = add i32 [[ADD810]], 119; CHECK-NEXT: [[LSR_FOLD_TERM_COND_REPLACED_TERM_COND:%.*]] = icmp eq i32 [[ADD]], [[TMP1]]20; CHECK-NEXT: br i1 [[LSR_FOLD_TERM_COND_REPLACED_TERM_COND]], label [[EXIT:%.*]], label [[FOR_BODY]]21; CHECK: exit:22; CHECK-NEXT: ret void23;24entry:25 %conv = zext i8 %arg to i3226 %shr = lshr i32 %conv, 127 %wide.trip.count = zext nneg i32 %shr to i6428 br label %for.body29 30for.body:31 %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]32 %add810 = phi i32 [ %start, %entry ], [ %add, %for.body ]33 %idxprom2 = zext i32 %add810 to i6434 %arrayidx3 = getelementptr i8, ptr %p, i64 %idxprom235 %v = load i8, ptr %arrayidx3, align 136 %add = add i32 %add810, 137 %indvars.iv.next = add i64 %indvars.iv, 138 %exitcond.not = icmp eq i64 %indvars.iv, %wide.trip.count39 br i1 %exitcond.not, label %exit, label %for.body40 41exit:42 ret void43}44