Added test source file
[dyninst.git] / testsuite / src / instruction / fucompp.C
1 /*
2  * Copyright (c) 1996-2009 Barton P. Miller
3  * 
4  * We provide the Paradyn Parallel Performance Tools (below
5  * described as "Paradyn") on an AS IS basis, and do not warrant its
6  * validity or performance.  We reserve the right to update, modify,
7  * or discontinue this software at any time.  We shall have no
8  * obligation to supply such updates or modifications or any other
9  * form of support to you.
10  * 
11  * By your use of Paradyn, you understand and agree that we (or any
12  * other person or entity with proprietary rights in Paradyn) are
13  * under no obligation to provide either maintenance services,
14  * update services, notices of latent defects, or correction of
15  * defects for Paradyn.
16  * 
17  * This library is free software; you can redistribute it and/or
18  * modify it under the terms of the GNU Lesser General Public
19  * License as published by the Free Software Foundation; either
20  * version 2.1 of the License, or (at your option) any later version.
21  * 
22  * This library is distributed in the hope that it will be useful,
23  * but WITHOUT ANY WARRANTY; without even the implied warranty of
24  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
25  * Lesser General Public License for more details.
26  * 
27  * You should have received a copy of the GNU Lesser General Public
28  * License along with this library; if not, write to the Free Software
29  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
30  */
31
32 #include "instruction_comp.h"
33 #include "test_lib.h"
34
35 #include "Instruction.h"
36 #include "InstructionDecoder.h"
37 #include <boost/assign/list_of.hpp>
38 #include <deque>
39 using namespace Dyninst;
40 using namespace InstructionAPI;
41 using namespace boost;
42 using namespace boost::assign;
43
44 using namespace std;
45
46 class fucompp_Mutator : public InstructionMutator {
47     public:
48         fucompp_Mutator() { };
49         virtual test_results_t executeTest();
50 };
51
52 extern "C" DLLEXPORT TestMutator* fucompp_factory()
53 {
54     return new fucompp_Mutator();
55 }
56
57
58 test_results_t fucompp_Mutator::executeTest()
59 {
60     const unsigned char buffer[] =
61     {
62         0xDA, 0xE9
63     };
64     unsigned int size = 2;
65     unsigned int expectedInsns = 2;
66     InstructionDecoder d(buffer, size, Dyninst::Arch_x86);
67     std::deque<Instruction::Ptr> decodedInsns;
68     Instruction::Ptr i;
69     do
70     {
71         i = d.decode();
72         decodedInsns.push_back(i);
73     }
74     while(i && i->isValid());
75     if(decodedInsns.size() != expectedInsns)
76     {
77         logerror("FAILED: Expected %d instructions, decoded %d\n", expectedInsns, decodedInsns.size());
78         for(std::deque<Instruction::Ptr>::iterator curInsn = decodedInsns.begin();
79             curInsn != decodedInsns.end();
80             ++curInsn)
81         {
82             if(*curInsn)
83             {
84                 logerror("\t%s\n", (*curInsn)->format().c_str());
85             }
86             else
87             {
88                 logerror("\t[NULL]\n");
89             }
90         }
91     
92         return FAILED;
93     }
94     if(decodedInsns.back() && decodedInsns.back()->isValid())
95     {
96         logerror("FAILED: Expected instructions to end with an invalid instruction, but they didn't");
97         return FAILED;
98     }
99   
100     Architecture curArch = Arch_x86;
101     registerSet expectedRead, expectedWritten;
102     test_results_t retVal = PASSED;
103     {
104         using namespace x86;
105   
106         RegisterAST::Ptr r_st0(new RegisterAST(st0));
107         RegisterAST::Ptr r_st1(new RegisterAST(st1));
108
109         expectedRead = list_of(r_st0)(r_st1);
110         expectedWritten = list_of(r_st0)(r_st1);
111   
112   
113         retVal = failure_accumulator(retVal, verify_read_write_sets(decodedInsns.front(), expectedRead, expectedWritten));
114         decodedInsns.pop_front();
115   
116     }
117     return retVal;
118 }
119