`prev.asm` is valid, while `current.asm` is not. The difference is that TransformationPropagateInstructionUp has been applied. [tofile.zip](https://github.com/KhronosGroup/SPIRV-Tools/files/5390696/tofile.zip) @Vasniktel for info.