Reformat Decoder-vixl.cpp.