Offset bitvectors fail to vectorise

[joshniemela]

LoopVectorization.check_args returns false for OffsetArray{Bool, BitVector}, but doesn't with the similar OffsetArray{Bool, Vector{Bool}}
Code to reproduce the problem:

using OffsetArrays
using LoopVectorization

OffsetArray(zeros(Bool, 10)) |> LoopVectorization.check_args
OffsetArray(trues(10)) |> LoopVectorization.check_args

Both are expected to return true

[chriselrod]

It should check the offset, and then do a partial iteration to make it a multiple of 8.

[joshniemela]

It should check the offset, and then do a partial iteration to make it a multiple of 8.

Any ideas how I might be able to implement this?

[chriselrod]

I think it'd be a fair bit of work.
You could look at

LoopVectorization.jl/src/codegen/lowering.jl

Line 288 in 57c7ffa

function lower_unrolled_dynamic(

I am slowly working on replacing this library, but admittedly BitArray support will initially be poor. My point in bringing that up is that further work on LoopVectorization.jl will have a limited lifespan.