I think the and operation in your llvm bitcode implementation of fshl should be an or operation!

It’s a little odd, because I suppose that would imply that the instruction, although linked, is not being used, or perhaps the results are being discarded?