Bitcode: Move these tests into compatibility.ll