I also suspect you can make the immediate for BEXTR i32 or i64 just like in BMI and use the i64i32imm and i64immSExt32 predicate on the 64-bit patterns to ensure that the immediate is really only 32-bits. http://llvm-reviews.chandlerc.com/D1788