Unexpected extraction of 0 bits

[joaorsmatos02]

Hi, I encountered a potentially unexpected behavior while lifting a binary instruction to BAP IL. Specifically, when lifting the instruction:

cvttss2si rax, xmm0

BAP (2.6.0-alpha+a795ddd) produces (among other instructions):

Move(Var("RAX", Imm(0x40)), Concat(HIGH(0x0, Var("RAX", Imm(0x40))), Var("intrinsic:y0", Imm(0x40))))

This seems a bit odd to me. I was expecting a more straightforward move from intrinsic:y0 to RAX, without the Concat and HIGH operations. Is this the intended behavior, or could this be a bug in the x86 lifter?

Thanks in advance!