Debug instructions, and more information about the autodiff flag is available in the rustc-dev-guide.