add InputRegister and OutputRegister, add SignExtensionTest, make SignExtension_test