For the LLVM bitcode as produced by the tools available at http://llvm.org/ , yes it is correct.

However you are forgetting three very important points:

1 - Apple is free to use their own fork of LLVM bitcode

2 - Apple controls what those bitcodes actually mean on their compiler stack

3 - LLVM guys already had a few talks at LLVM conferences about creating an actual platform independent form of bitcode