A program transformation and architecture support for quantum uncomputation