2a3
> * Copyright (c) 2013 Advanced Micro Devices, Inc.
635a637,642
> /** Records a CC register being set to a value. */
> void setCCRegOperand(const StaticInst *si, int idx, uint64_t val)
> {
> setResult<uint64_t>(val);
> }
>