From what I understand bitcode is still somewhat architecture dependent and wouldn't work well for ARM<=>x86 translation.