decoder.isa (2680:246e7104f744) | decoder.isa (2704:731cd38be7f5) |
---|---|
1// -*- mode:c++ -*- 2 3// Copyright (c) 2003-2006 The Regents of The University of Michigan 4// All rights reserved. 5// 6// Redistribution and use in source and binary forms, with or without 7// modification, are permitted provided that the following conditions are 8// met: redistributions of source code must retain the above copyright --- 645 unchanged lines hidden (view full) --- 654 0x4400: wmb({{ }}, IsWriteBarrier, MemWriteOp); 655 } 656 657#if FULL_SYSTEM 658 format BasicOperate { 659 0xe000: rc({{ 660 Ra = xc->readIntrFlag(); 661 xc->setIntrFlag(0); | 1// -*- mode:c++ -*- 2 3// Copyright (c) 2003-2006 The Regents of The University of Michigan 4// All rights reserved. 5// 6// Redistribution and use in source and binary forms, with or without 7// modification, are permitted provided that the following conditions are 8// met: redistributions of source code must retain the above copyright --- 645 unchanged lines hidden (view full) --- 654 0x4400: wmb({{ }}, IsWriteBarrier, MemWriteOp); 655 } 656 657#if FULL_SYSTEM 658 format BasicOperate { 659 0xe000: rc({{ 660 Ra = xc->readIntrFlag(); 661 xc->setIntrFlag(0); |
662 }}, IsNonSpeculative); | 662 }}, IsNonSpeculative, IsUnverifiable); |
663 0xf000: rs({{ 664 Ra = xc->readIntrFlag(); 665 xc->setIntrFlag(1); | 663 0xf000: rs({{ 664 Ra = xc->readIntrFlag(); 665 xc->setIntrFlag(1); |
666 }}, IsNonSpeculative); | 666 }}, IsNonSpeculative, IsUnverifiable); |
667 } 668#else 669 format FailUnimpl { 670 0xe000: rc(); 671 0xf000: rs(); 672 } 673#endif 674 } --- 152 unchanged lines hidden --- | 667 } 668#else 669 format FailUnimpl { 670 0xe000: rc(); 671 0xf000: rs(); 672 } 673#endif 674 } --- 152 unchanged lines hidden --- |