50 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -p loop-vectorize -S %s | FileCheck %s3 4target datalayout = "e-m:e-p:64:64-i64:64-i128:128-n32:64-S128"5target triple = "riscv64-unknown-linux-gnu"6 7; Test for https://github.com/llvm/llvm-project/issues/114860.8define void @test_invariant_cond_for_select(ptr %dst, i8 %x) #0 {9; CHECK-LABEL: define void @test_invariant_cond_for_select(10; CHECK-SAME: ptr [[DST:%.*]], i8 [[X:%.*]]) #[[ATTR0:[0-9]+]] {11; CHECK-NEXT: [[ENTRY:.*]]:12; CHECK-NEXT: br label %[[LOOP:.*]]13; CHECK: [[LOOP]]:14; CHECK-NEXT: [[IV:%.*]] = phi i64 [ 0, %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]15; CHECK-NEXT: [[C_1:%.*]] = icmp eq i8 [[X]], 016; CHECK-NEXT: [[C_2:%.*]] = icmp sgt i64 [[IV]], 017; CHECK-NEXT: [[C_2_EXT:%.*]] = zext i1 [[C_2]] to i6418; CHECK-NEXT: [[SEL:%.*]] = select i1 [[C_1]], i64 [[C_2_EXT]], i64 019; CHECK-NEXT: [[SEL_TRUNC:%.*]] = trunc i64 [[SEL]] to i820; CHECK-NEXT: [[GEP:%.*]] = getelementptr inbounds i8, ptr [[DST]], i64 [[IV]]21; CHECK-NEXT: store i8 [[SEL_TRUNC]], ptr [[GEP]], align 122; CHECK-NEXT: [[IV_NEXT]] = add i64 [[IV]], 423; CHECK-NEXT: [[EC:%.*]] = icmp ult i64 [[IV]], 1424; CHECK-NEXT: br i1 [[EC]], label %[[LOOP]], label %[[EXIT:.*]]25; CHECK: [[EXIT]]:26; CHECK-NEXT: ret void27;28entry:29 br label %loop30 31loop:32 %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]33 %c.1 = icmp eq i8 %x, 034 %c.2 = icmp sgt i64 %iv, 035 %c.2.ext = zext i1 %c.2 to i6436 %sel = select i1 %c.1, i64 %c.2.ext, i64 037 %sel.trunc = trunc i64 %sel to i838 %gep = getelementptr inbounds i8, ptr %dst, i64 %iv39 store i8 %sel.trunc, ptr %gep, align 140 %iv.next = add i64 %iv, 441 %ec = icmp ult i64 %iv, 1442 br i1 %ec, label %loop, label %exit43 44exit:45 ret void46}47 48attributes #0 = { "target-features"="+64bit,+v" }49 50