| ; RUN: opt -passes=loop-vectorize < %s -S -o - | FileCheck %s --check-prefix=CHECK |
| ; RUN: opt -passes=loop-vectorize -debug-only=loop-vectorize -disable-output < %s 2>&1 | FileCheck %s --check-prefix=CHECK-COST |
| ; REQUIRES: asserts |
| |
| target datalayout = "e-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64" |
| target triple = "thumbv8.1m.main-none-none-eabi" |
| |
| ; CHECK-LABEL: test |
| ; CHECK-COST: LV: Found an estimated cost of 0 for VF 1 For instruction: %and515 = shl i32 %l41, 3 |
| ; CHECK-COST: LV: Found an estimated cost of 1 for VF 1 For instruction: %l45 = and i32 %and515, 131072 |
| ; CHECK-COST: LV: Found an estimated cost of 2 for VF 4 For instruction: %and515 = shl i32 %l41, 3 |
| ; CHECK-COST: LV: Found an estimated cost of 2 for VF 4 For instruction: %l45 = and i32 %and515, 131072 |
| ; CHECK-NOT: vector.body |
| |
| define void @test(ptr %src, i32 %N) #0 { |
| entry: |
| br label %for.body386 |
| |
| for.body386: ; preds = %entry, %l77 |
| %add387 = phi i32 [ %inc532, %l77 ], [ 0, %entry ] |
| %arrayidx388 = getelementptr inbounds [101 x i32], ptr %src, i32 0, i32 %add387 |
| %l41 = load i32, ptr %arrayidx388, align 4 |
| %l42 = and i32 %l41, 65535 |
| %l43 = icmp eq i32 %l42, 0 |
| br i1 %l43, label %l77, label %l44 |
| |
| l44: ; preds = %for.body386 |
| %and515 = shl i32 %l41, 3 |
| %l45 = and i32 %and515, 131072 |
| %and506 = shl i32 %l41, 5 |
| %l46 = and i32 %and506, 262144 |
| %and497 = shl i32 %l41, 7 |
| %l47 = and i32 %and497, 524288 |
| %and488 = shl i32 %l41, 9 |
| %l48 = and i32 %and488, 1048576 |
| %and479 = shl i32 %l41, 11 |
| %l49 = and i32 %and479, 2097152 |
| %and470 = shl i32 %l41, 13 |
| %l50 = and i32 %and470, 4194304 |
| %and461 = shl i32 %l41, 15 |
| %l51 = and i32 %and461, 8388608 |
| %and452 = shl i32 %l41, 17 |
| %l52 = and i32 %and452, 16777216 |
| %and443 = shl i32 %l41, 19 |
| %l53 = and i32 %and443, 33554432 |
| %and434 = shl i32 %l41, 21 |
| %l54 = and i32 %and434, 67108864 |
| %and425 = shl i32 %l41, 23 |
| %l55 = and i32 %and425, 134217728 |
| %and416 = shl i32 %l41, 25 |
| %l56 = and i32 %and416, 268435456 |
| %and407 = shl i32 %l41, 27 |
| %l57 = and i32 %and407, 536870912 |
| %and398 = shl i32 %l41, 29 |
| %l58 = and i32 %and398, 1073741824 |
| %l59 = shl i32 %l41, 31 |
| %l60 = or i32 %l59, %l41 |
| %l61 = or i32 %l58, %l60 |
| %l62 = or i32 %l57, %l61 |
| %l63 = or i32 %l56, %l62 |
| %l64 = or i32 %l55, %l63 |
| %l65 = or i32 %l54, %l64 |
| %l66 = or i32 %l53, %l65 |
| %l67 = or i32 %l52, %l66 |
| %l68 = or i32 %l51, %l67 |
| %l69 = or i32 %l50, %l68 |
| %l70 = or i32 %l49, %l69 |
| %l71 = or i32 %l48, %l70 |
| %l72 = or i32 %l47, %l71 |
| %l73 = or i32 %l46, %l72 |
| %l74 = or i32 %l45, %l73 |
| %and524 = shl i32 %l41, 1 |
| %l75 = and i32 %and524, 65536 |
| %l76 = or i32 %l75, %l74 |
| store i32 %l76, ptr %arrayidx388, align 4 |
| br label %l77 |
| |
| l77: ; preds = %for.body386, %l44 |
| %inc532 = add nuw nsw i32 %add387, 1 |
| %exitcond649 = icmp eq i32 %inc532, %N |
| br i1 %exitcond649, label %exit, label %for.body386 |
| |
| exit: |
| ret void |
| } |
| |
| attributes #0 = { nounwind "min-legal-vector-width"="0" "target-cpu"="generic" "target-features"="+armv8.1-m.main,+fp-armv8d16sp,+fp16,+fullfp16,+hwdiv,+lob,+mve.fp,+ras,+strict-align,+thumb-mode,+vfp2sp,+vfp3d16sp,+vfp4d16sp" "use-soft-float"="false" } |