Lines Matching refs:rbx
53 REG_COMPARE(rbx); in compare_regs()
161 run->s.regs.regs.rbx = 0xBAD1DEA; in main()
172 TEST_ASSERT(run->s.regs.regs.rbx == 0xBAD1DEA + 1, in main()
174 run->s.regs.regs.rbx); in main()
193 run->s.regs.regs.rbx = 0xDEADBEEF; in main()
199 TEST_ASSERT(run->s.regs.regs.rbx != 0xDEADBEEF, in main()
201 run->s.regs.regs.rbx); in main()
209 run->s.regs.regs.rbx = 0xAAAA; in main()
210 regs.rbx = 0xBAC0; in main()
217 TEST_ASSERT(run->s.regs.regs.rbx == 0xAAAA, in main()
219 run->s.regs.regs.rbx); in main()
221 TEST_ASSERT(regs.rbx == 0xBAC0 + 1, in main()
223 regs.rbx); in main()
231 run->s.regs.regs.rbx = 0xBBBB; in main()
237 TEST_ASSERT(run->s.regs.regs.rbx == 0xBBBB, in main()
239 run->s.regs.regs.rbx); in main()
241 TEST_ASSERT(regs.rbx == 0xBBBB + 1, in main()
243 regs.rbx); in main()