bnd jumps not lifted

[danmaam]

Description

Description

Lifting a bnd jmp instruction with x86 architecture results in an IRSB with no instructions and jumpkind Ijk_NoDecode
Steps to reproduce the bug

Steps to reproduce the bug

IPython session:
In [1]: import pyvex

In [2]: import archinfo

In [3]: import capstone

In [4]: md = capstone.Cs(capstone.CS_ARCH_X86, capstone.CS_MODE_32)

In [5]: bytecode = b'\xf2\xeb\xf5'

In [6]: pyvex.lift(bytecode, 0x0, archinfo.arch_from_id('x86'))
Out[6]: IRSB <0x0 bytes, 0 ins., <Arch X86 (LE)>> at 0x0

In [7]: for i in md.disasm(bytecode, 0x0):
...: print("0x%x:\t%s\t%s\n" % (i.address, i.mnemonic, i.op_str))
...:
0x0: bnd jmp 0xfffffff8

Environment

pyvex 9.2.37 from pypi

Additional context

No response