1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt %s -S -riscv-codegenprepare -mtriple=riscv64 | FileCheck %s
3
4; Test that we can convert the %wide.trip.count zext to a sext. The dominating
5; condition %cmp3 ruled out %n being negative.
6define void @test1(ptr nocapture noundef %a, i32 noundef signext %n) {
7; CHECK-LABEL: @test1(
8; CHECK-NEXT:  entry:
9; CHECK-NEXT:    [[CMP3:%.*]] = icmp sgt i32 [[N:%.*]], 0
10; CHECK-NEXT:    br i1 [[CMP3]], label [[FOR_BODY_PREHEADER:%.*]], label [[FOR_COND_CLEANUP:%.*]]
11; CHECK:       for.body.preheader:
12; CHECK-NEXT:    [[WIDE_TRIP_COUNT:%.*]] = sext i32 [[N]] to i64
13; CHECK-NEXT:    br label [[FOR_BODY:%.*]]
14; CHECK:       for.cond.cleanup.loopexit:
15; CHECK-NEXT:    br label [[FOR_COND_CLEANUP]]
16; CHECK:       for.cond.cleanup:
17; CHECK-NEXT:    ret void
18; CHECK:       for.body:
19; CHECK-NEXT:    [[LSR_IV5:%.*]] = phi i64 [ [[WIDE_TRIP_COUNT]], [[FOR_BODY_PREHEADER]] ], [ [[LSR_IV_NEXT:%.*]], [[FOR_BODY]] ]
20; CHECK-NEXT:    [[LSR_IV:%.*]] = phi ptr [ [[A:%.*]], [[FOR_BODY_PREHEADER]] ], [ [[UGLYGEP:%.*]], [[FOR_BODY]] ]
21; CHECK-NEXT:    [[TMP0:%.*]] = load i32, ptr [[LSR_IV]], align 4
22; CHECK-NEXT:    [[ADD:%.*]] = add nsw i32 [[TMP0]], 4
23; CHECK-NEXT:    store i32 [[ADD]], ptr [[LSR_IV]], align 4
24; CHECK-NEXT:    [[UGLYGEP]] = getelementptr i8, ptr [[LSR_IV]], i64 4
25; CHECK-NEXT:    [[LSR_IV_NEXT]] = add nsw i64 [[LSR_IV5]], -1
26; CHECK-NEXT:    [[EXITCOND_NOT:%.*]] = icmp eq i64 [[LSR_IV_NEXT]], 0
27; CHECK-NEXT:    br i1 [[EXITCOND_NOT]], label [[FOR_COND_CLEANUP_LOOPEXIT:%.*]], label [[FOR_BODY]]
28;
29entry:
30  %cmp3 = icmp sgt i32 %n, 0
31  br i1 %cmp3, label %for.body.preheader, label %for.cond.cleanup
32
33for.body.preheader:                               ; preds = %entry
34  %wide.trip.count = zext i32 %n to i64
35  br label %for.body
36
37for.cond.cleanup.loopexit:                        ; preds = %for.body
38  br label %for.cond.cleanup
39
40for.cond.cleanup:                                 ; preds = %for.cond.cleanup.loopexit, %entry
41  ret void
42
43for.body:                                         ; preds = %for.body.preheader, %for.body
44  %lsr.iv5 = phi i64 [ %wide.trip.count, %for.body.preheader ], [ %lsr.iv.next, %for.body ]
45  %lsr.iv = phi ptr [ %a, %for.body.preheader ], [ %uglygep, %for.body ]
46  %0 = load i32, ptr %lsr.iv, align 4
47  %add = add nsw i32 %0, 4
48  store i32 %add, ptr %lsr.iv, align 4
49  %uglygep = getelementptr i8, ptr %lsr.iv, i64 4
50  %lsr.iv.next = add nsw i64 %lsr.iv5, -1
51  %exitcond.not = icmp eq i64 %lsr.iv.next, 0
52  br i1 %exitcond.not, label %for.cond.cleanup.loopexit, label %for.body
53}
54