46 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes='loop-mssa(indvars,loop-rotate)' -verify-scev -S %s | FileCheck %s3 4define void @pr59534(i16 %c.0, ptr %A) {5; CHECK-LABEL: @pr59534(6; CHECK-NEXT: entry:7; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]8; CHECK: loop.header:9; CHECK-NEXT: [[C_1:%.*]] = icmp ne i16 [[C_0:%.*]], 010; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]11; CHECK: if.then:12; CHECK-NEXT: [[L:%.*]] = load i32, ptr [[A:%.*]], align 113; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[L]], 014; CHECK-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i1615; CHECK-NEXT: store i16 [[CONV]], ptr [[A]], align 216; CHECK-NEXT: br label [[IF_END]]17; CHECK: if.end:18; CHECK-NEXT: br i1 false, label [[LOOP_HEADER]], label [[EXIT:%.*]]19; CHECK: exit:20; CHECK-NEXT: ret void21;22entry:23 br label %loop.header24 25loop.header:26 %e.0 = phi i32 [ 0, %entry ], [ 1, %loop.latch ]27 %c.1 = icmp ne i16 %c.0, 028 br i1 %c.1, label %if.then, label %if.end29 30if.then:31 %l = load i32, ptr %A, align 132 %cmp = icmp sgt i32 %l, %e.033 %conv = zext i1 %cmp to i1634 store i16 %conv, ptr %A35 br label %if.end36 37if.end:38 br i1 false, label %loop.latch, label %exit39 40loop.latch:41 br label %loop.header42 43exit:44 ret void45}46