1; RUN: opt -S -loop-reduce < %s | FileCheck %s 2 3target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128" 4target triple = "aarch64-unknown-linux-gnu" 5 6; This test check SCEVExpander FactorOutConstant() is not crashing with blind cast 'Factor' to SCEVConstant. 7 8; CHECK-LABEL: test 9; FIXME: Handle VectorType in SCEVExpander::expandAddToGEP. 10; The generated IR is not ideal with base 'scalar_vector' cast to i8*, and do ugly getelementptr over casted base. 11; CHECK: scevgep 12define void @test(ptr %a, i32 %v, i64 %n) { 13entry: 14 %scalar_vector = alloca <vscale x 4 x i32>, align 16 15 %num_elm = call i64 @llvm.aarch64.sve.cntw(i32 31) 16 %scalar_count = and i64 %num_elm, -4 17 br label %loop_header 18 19exit: 20 ret void 21 22loop_header: 23 %indvar = phi i64 [ 0, %entry ], [ %indvar_next, %for_loop ] 24 br label %scalar_loop 25 26scalar_loop: 27 %gep_vec = phi ptr [ %scalar_vector, %loop_header ], [ %gep_vec_inc, %scalar_loop ] 28 %scalar_iv = phi i64 [ 0, %loop_header ], [ %scalar_iv_next, %scalar_loop ] 29 store i32 %v, ptr %gep_vec, align 4 30 %scalar_iv_next = add i64 %scalar_iv, 1 31 %gep_vec_inc = getelementptr i32, ptr %gep_vec, i64 1 32 %scalar_exit = icmp eq i64 %scalar_iv_next, %scalar_count 33 br i1 %scalar_exit, label %for_loop, label %scalar_loop 34 35for_loop: 36 %vector = load <vscale x 4 x i32>, ptr %scalar_vector, align 16 37 %gep_a = getelementptr i32, ptr %a, i64 %indvar 38 call void @llvm.masked.store.nxv4i32.p0(<vscale x 4 x i32> %vector, ptr %gep_a, i32 4, <vscale x 4 x i1> undef) 39 %indvar_next = add nsw i64 %indvar, %scalar_count 40 %exit_cond = icmp eq i64 %indvar_next, %n 41 br i1 %exit_cond, label %exit, label %loop_header 42} 43 44declare i64 @llvm.aarch64.sve.cntw(i32 immarg) 45 46declare void @llvm.masked.store.nxv4i32.p0(<vscale x 4 x i32>, ptr, i32 immarg, <vscale x 4 x i1>) 47