1/*
2 * Copyright (c) 2011,2013 ARM Limited
3 * All rights reserved.
4 *
5 * The license below extends only to copyright in the software and shall
6 * not be construed as granting a license to any other intellectual
7 * property including but not limited to intellectual property relating
8 * to a hardware implementation of the functionality of the software
9 * licensed hereunder. You may use the software subject to the license
10 * terms below provided that you ensure that this notice is replicated

--- 617 unchanged lines hidden (view full) ---

628 }
629
630 /** Records an integer register being set to a value. */
631 void setIntRegOperand(const StaticInst *si, int idx, uint64_t val)
632 {
633 setResult<uint64_t>(val);
634 }
635
636 /** Records an fp register being set to a value. */
637 void setFloatRegOperand(const StaticInst *si, int idx, FloatReg val,
638 int width)
639 {
640 if (width == 32 || width == 64) {
641 setResult<double>(val);
642 } else {
643 panic("Unsupported width!");

--- 415 unchanged lines hidden ---