Implement integer sign-extension.
Implement integer sign-extension.

Change-Id: I0c256131a8a631ba13fac0e2714e7637d058fd3e

treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst