XPMPro is the software that uses the proprietary SM4 and SM3 formats, so if any software can actually help you with sm4 to sm3 conversion, it would be this one. We have not found any specific mentions about this, so if you struggle with this export, it might be best to contact their support.
Updated: September 13, 2023