summaryrefslogtreecommitdiffstats
path: root/lldb/packages/Python/lldbsuite/test/functionalities/register/TestRegisters.py
diff options
context:
space:
mode:
authorDimitar Vlahovski <dvlahovski@google.com>2016-09-06 11:00:37 +0000
committerDimitar Vlahovski <dvlahovski@google.com>2016-09-06 11:00:37 +0000
commitee44a92df6964df623f8bddca96b3007c80ce613 (patch)
treeb63f0d3c19b7216a0e4b7703dac6aea077979d76 /lldb/packages/Python/lldbsuite/test/functionalities/register/TestRegisters.py
parent209b6e2e78d3817e797386c92f234d380d92918d (diff)
downloadbcm5719-llvm-ee44a92df6964df623f8bddca96b3007c80ce613.tar.gz
bcm5719-llvm-ee44a92df6964df623f8bddca96b3007c80ce613.zip
Revert "Intel(R) Memory Protection Extensions (Intel(R) MPX) support."
This reverts commit rL280668 because the register tests fail on i386 Linux. I investigated a little bit what causes the failure - there are missing registers when running 'register read -a'. This is the output I got at the bottom: """ ... Memory Protection Extensions: bnd0 = {0x0000000000000000 0x0000000000000000} bnd1 = {0x0000000000000000 0x0000000000000000} bnd2 = {0x0000000000000000 0x0000000000000000} bnd3 = {0x0000000000000000 0x0000000000000000} unknown: 2 registers were unavailable. """ Also looking at the packets exchanged between the client and server: """ ... history[308] tid=0x7338 < 19> send packet: $qRegisterInfo4a#d7 history[309] tid=0x7338 < 130> read packet: $name:bnd0;bitsize:128;offset:1032;encoding:vector;format:vector-uint64;set:Memory Protection Extensions;ehframe:101;dwarf:101;#48 history[310] tid=0x7338 < 19> send packet: $qRegisterInfo4b#d8 history[311] tid=0x7338 < 130> read packet: $name:bnd1;bitsize:128;offset:1048;encoding:vector;format:vector-uint64;set:Memory Protection Extensions;ehframe:102;dwarf:102;#52 history[312] tid=0x7338 < 19> send packet: $qRegisterInfo4c#d9 history[313] tid=0x7338 < 130> read packet: $name:bnd2;bitsize:128;offset:1064;encoding:vector;format:vector-uint64;set:Memory Protection Extensions;ehframe:103;dwarf:103;#53 history[314] tid=0x7338 < 19> send packet: $qRegisterInfo4d#da history[315] tid=0x7338 < 130> read packet: $name:bnd3;bitsize:128;offset:1080;encoding:vector;format:vector-uint64;set:Memory Protection Extensions;ehframe:104;dwarf:104;#54 history[316] tid=0x7338 < 19> send packet: $qRegisterInfo4e#db history[317] tid=0x7338 < 76> read packet: $name:bndcfgu;bitsize:64;offset:1096;encoding:vector;format:vector-uint8;#99 history[318] tid=0x7338 < 19> send packet: $qRegisterInfo4f#dc history[319] tid=0x7338 < 78> read packet: $name:bndstatus;bitsize:64;offset:1104;encoding:vector;format:vector-uint8;#8e ... """ The bndcfgu and bndstatus registers don't have the 'Memory Protections Extension' set. I looked at the code and it seems that that is set correctly. So I'm not sure what's the problem or where does it come from. Also there is a second failure related to something like this in the tests: """ registerSet.GetName().lower() """ For some reason the registerSet.GetName() returns None. llvm-svn: 280703
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/functionalities/register/TestRegisters.py')
-rw-r--r--lldb/packages/Python/lldbsuite/test/functionalities/register/TestRegisters.py350
1 files changed, 350 insertions, 0 deletions
diff --git a/lldb/packages/Python/lldbsuite/test/functionalities/register/TestRegisters.py b/lldb/packages/Python/lldbsuite/test/functionalities/register/TestRegisters.py
new file mode 100644
index 00000000000..21de3ab7cc3
--- /dev/null
+++ b/lldb/packages/Python/lldbsuite/test/functionalities/register/TestRegisters.py
@@ -0,0 +1,350 @@
+"""
+Test the 'register' command.
+"""
+
+from __future__ import print_function
+
+
+
+import os, sys, time
+import re
+import lldb
+from lldbsuite.test.decorators import *
+from lldbsuite.test.lldbtest import *
+from lldbsuite.test import lldbutil
+
+class RegisterCommandsTestCase(TestBase):
+
+ mydir = TestBase.compute_mydir(__file__)
+
+ def setUp(self):
+ TestBase.setUp(self)
+ self.has_teardown = False
+
+ def tearDown(self):
+ self.dbg.GetSelectedTarget().GetProcess().Destroy()
+ TestBase.tearDown(self)
+
+ @skipIfiOSSimulator
+ @skipIf(archs=no_match(['amd64', 'arm', 'i386', 'x86_64']))
+ def test_register_commands(self):
+ """Test commands related to registers, in particular vector registers."""
+ self.build()
+ self.common_setup()
+
+ # verify that logging does not assert
+ self.log_enable("registers")
+
+ self.expect("register read -a", MISSING_EXPECTED_REGISTERS,
+ substrs = ['registers were unavailable'], matching = False)
+
+ if self.getArchitecture() in ['amd64', 'i386', 'x86_64']:
+ self.runCmd("register read xmm0")
+ self.runCmd("register read ymm15") # may be available
+ elif self.getArchitecture() in ['arm']:
+ self.runCmd("register read s0")
+ self.runCmd("register read q15") # may be available
+
+ self.expect("register read -s 3", substrs = ['invalid register set index: 3'], error = True)
+
+ @skipIfiOSSimulator
+ @skipIfTargetAndroid(archs=["i386"]) # Writing of mxcsr register fails, presumably due to a kernel/hardware problem
+ @skipIf(archs=no_match(['amd64', 'arm', 'i386', 'x86_64']))
+ def test_fp_register_write(self):
+ """Test commands that write to registers, in particular floating-point registers."""
+ self.build()
+ self.fp_register_write()
+
+ @skipIfiOSSimulator
+ @expectedFailureAndroid(archs=["i386"]) # "register read fstat" always return 0xffff
+ @skipIfFreeBSD #llvm.org/pr25057
+ @skipIf(archs=no_match(['amd64', 'i386', 'x86_64']))
+ def test_fp_special_purpose_register_read(self):
+ """Test commands that read fpu special purpose registers."""
+ self.build()
+ self.fp_special_purpose_register_read()
+
+ @skipIfiOSSimulator
+ @skipIf(archs=no_match(['amd64', 'arm', 'i386', 'x86_64']))
+ def test_register_expressions(self):
+ """Test expression evaluation with commands related to registers."""
+ self.build()
+ self.common_setup()
+
+ if self.getArchitecture() in ['amd64', 'i386', 'x86_64']:
+ gpr = "eax"
+ vector = "xmm0"
+ elif self.getArchitecture() in ['arm']:
+ gpr = "r0"
+ vector = "q0"
+
+ self.expect("expr/x $%s" % gpr, substrs = ['unsigned int', ' = 0x'])
+ self.expect("expr $%s" % vector, substrs = ['vector_type'])
+ self.expect("expr (unsigned int)$%s[0]" % vector, substrs = ['unsigned int'])
+
+ if self.getArchitecture() in ['amd64', 'x86_64']:
+ self.expect("expr -- ($rax & 0xffffffff) == $eax", substrs = ['true'])
+
+ @skipIfiOSSimulator
+ @skipIf(archs=no_match(['amd64', 'x86_64']))
+ def test_convenience_registers(self):
+ """Test convenience registers."""
+ self.build()
+ self.convenience_registers()
+
+ @skipIfiOSSimulator
+ @skipIf(archs=no_match(['amd64', 'x86_64']))
+ def test_convenience_registers_with_process_attach(self):
+ """Test convenience registers after a 'process attach'."""
+ self.build()
+ self.convenience_registers_with_process_attach(test_16bit_regs=False)
+
+ @skipIfiOSSimulator
+ @skipIf(archs=no_match(['amd64', 'x86_64']))
+ def test_convenience_registers_16bit_with_process_attach(self):
+ """Test convenience registers after a 'process attach'."""
+ self.build()
+ self.convenience_registers_with_process_attach(test_16bit_regs=True)
+
+ def common_setup(self):
+ exe = os.path.join(os.getcwd(), "a.out")
+
+ self.runCmd("file " + exe, CURRENT_EXECUTABLE_SET)
+
+ # Break in main().
+ lldbutil.run_break_set_by_symbol (self, "main", num_expected_locations=-1)
+
+ self.runCmd("run", RUN_SUCCEEDED)
+
+ # The stop reason of the thread should be breakpoint.
+ self.expect("thread list", STOPPED_DUE_TO_BREAKPOINT,
+ substrs = ['stopped', 'stop reason = breakpoint'])
+
+ # platform specific logging of the specified category
+ def log_enable(self, category):
+ # This intentionally checks the host platform rather than the target
+ # platform as logging is host side.
+ self.platform = ""
+ if sys.platform.startswith("darwin"):
+ self.platform = "" # TODO: add support for "log enable darwin registers"
+
+ if sys.platform.startswith("freebsd"):
+ self.platform = "freebsd"
+
+ if sys.platform.startswith("linux"):
+ self.platform = "linux"
+
+ if sys.platform.startswith("netbsd"):
+ self.platform = "netbsd"
+
+ if self.platform != "":
+ self.log_file = os.path.join(os.getcwd(), 'TestRegisters.log')
+ self.runCmd("log enable " + self.platform + " " + str(category) + " registers -v -f " + self.log_file, RUN_SUCCEEDED)
+ if not self.has_teardown:
+ def remove_log(self):
+ if os.path.exists(self.log_file):
+ os.remove(self.log_file)
+ self.has_teardown = True
+ self.addTearDownHook(remove_log)
+
+ def write_and_read(self, frame, register, new_value, must_exist = True):
+ value = frame.FindValue(register, lldb.eValueTypeRegister)
+ if must_exist:
+ self.assertTrue(value.IsValid(), "finding a value for register " + register)
+ elif not value.IsValid():
+ return # If register doesn't exist, skip this test
+
+ self.runCmd("register write " + register + " \'" + new_value + "\'")
+ self.expect("register read " + register, substrs = [register + ' = ', new_value])
+
+ def fp_special_purpose_register_read(self):
+ exe = os.path.join(os.getcwd(), "a.out")
+
+ # Create a target by the debugger.
+ target = self.dbg.CreateTarget(exe)
+ self.assertTrue(target, VALID_TARGET)
+
+ # Launch the process and stop.
+ self.expect ("run", PROCESS_STOPPED, substrs = ['stopped'])
+
+ # Check stop reason; Should be either signal SIGTRAP or EXC_BREAKPOINT
+ output = self.res.GetOutput()
+ matched = False
+ substrs = ['stop reason = EXC_BREAKPOINT', 'stop reason = signal SIGTRAP']
+ for str1 in substrs:
+ matched = output.find(str1) != -1
+ with recording(self, False) as sbuf:
+ print("%s sub string: %s" % ('Expecting', str1), file=sbuf)
+ print("Matched" if matched else "Not Matched", file=sbuf)
+ if matched:
+ break
+ self.assertTrue(matched, STOPPED_DUE_TO_SIGNAL)
+
+ process = target.GetProcess()
+ self.assertTrue(process.GetState() == lldb.eStateStopped,
+ PROCESS_STOPPED)
+
+ thread = process.GetThreadAtIndex(0)
+ self.assertTrue(thread.IsValid(), "current thread is valid")
+
+ currentFrame = thread.GetFrameAtIndex(0)
+ self.assertTrue(currentFrame.IsValid(), "current frame is valid")
+
+ # Extract the value of fstat and ftag flag at the point just before
+ # we start pushing floating point values on st% register stack
+ value = currentFrame.FindValue("fstat", lldb.eValueTypeRegister)
+ error = lldb.SBError()
+ reg_value_fstat_initial = value.GetValueAsUnsigned(error, 0)
+
+ self.assertTrue(error.Success(), "reading a value for fstat")
+ value = currentFrame.FindValue("ftag", lldb.eValueTypeRegister)
+ error = lldb.SBError()
+ reg_value_ftag_initial = value.GetValueAsUnsigned(error, 0)
+
+ self.assertTrue(error.Success(), "reading a value for ftag")
+ fstat_top_pointer_initial = (reg_value_fstat_initial & 0x3800)>>11
+
+ # Execute 'si' aka 'thread step-inst' instruction 5 times and with
+ # every execution verify the value of fstat and ftag registers
+ for x in range(0,5):
+ # step into the next instruction to push a value on 'st' register stack
+ self.runCmd ("si", RUN_SUCCEEDED)
+
+ # Verify fstat and save it to be used for verification in next execution of 'si' command
+ if not (reg_value_fstat_initial & 0x3800):
+ self.expect("register read fstat",
+ substrs = ['fstat' + ' = ', str("0x%0.4x" %((reg_value_fstat_initial & ~(0x3800))| 0x3800))])
+ reg_value_fstat_initial = ((reg_value_fstat_initial & ~(0x3800))| 0x3800)
+ fstat_top_pointer_initial = 7
+ else :
+ self.expect("register read fstat",
+ substrs = ['fstat' + ' = ', str("0x%0.4x" % (reg_value_fstat_initial - 0x0800))])
+ reg_value_fstat_initial = (reg_value_fstat_initial - 0x0800)
+ fstat_top_pointer_initial -= 1
+
+ # Verify ftag and save it to be used for verification in next execution of 'si' command
+ self.expect("register read ftag",
+ substrs = ['ftag' + ' = ', str("0x%0.2x" % (reg_value_ftag_initial | (1<< fstat_top_pointer_initial)))])
+ reg_value_ftag_initial = reg_value_ftag_initial | (1<< fstat_top_pointer_initial)
+
+ def fp_register_write(self):
+ exe = os.path.join(os.getcwd(), "a.out")
+
+ # Create a target by the debugger.
+ target = self.dbg.CreateTarget(exe)
+ self.assertTrue(target, VALID_TARGET)
+
+ lldbutil.run_break_set_by_symbol (self, "main", num_expected_locations=-1)
+
+ # Launch the process, and do not stop at the entry point.
+ process = target.LaunchSimple (None, None, self.get_process_working_directory())
+
+ process = target.GetProcess()
+ self.assertTrue(process.GetState() == lldb.eStateStopped, PROCESS_STOPPED)
+
+ thread = process.GetThreadAtIndex(0)
+ self.assertTrue(thread.IsValid(), "current thread is valid")
+
+ currentFrame = thread.GetFrameAtIndex(0)
+ self.assertTrue(currentFrame.IsValid(), "current frame is valid")
+
+ if self.getArchitecture() in ['amd64', 'i386', 'x86_64']:
+ reg_list = [
+ # reg value must-have
+ ("fcw", "0x0000ff0e", False),
+ ("fsw", "0x0000ff0e", False),
+ ("ftw", "0x0000ff0e", False),
+ ("ip", "0x0000ff0e", False),
+ ("dp", "0x0000ff0e", False),
+ ("mxcsr", "0x0000ff0e", False),
+ ("mxcsrmask", "0x0000ff0e", False),
+ ]
+
+ st0regname = None
+ if currentFrame.FindRegister("st0").IsValid():
+ st0regname = "st0"
+ elif currentFrame.FindRegister("stmm0").IsValid():
+ st0regname = "stmm0"
+ if st0regname is not None:
+ # reg value must-have
+ reg_list.append((st0regname, "{0x01 0x02 0x03 0x00 0x00 0x00 0x00 0x00 0x00 0x00}", True))
+ reg_list.append(("xmm0", "{0x01 0x02 0x03 0x00 0x00 0x00 0x00 0x00 0x09 0x0a 0x2f 0x2f 0x2f 0x2f 0x2f 0x2f}", True))
+ reg_list.append(("xmm15", "{0x01 0x02 0x03 0x00 0x00 0x00 0x00 0x00 0x09 0x0a 0x2f 0x2f 0x2f 0x2f 0x0e 0x0f}", False))
+ elif self.getArchitecture() in ['arm']:
+ reg_list = [
+ # reg value must-have
+ ("fpscr", "0xfbf79f9f", True),
+ ("s0", "1.25", True),
+ ("s31", "0.75", True),
+ ("d1", "123", True),
+ ("d17", "987", False),
+ ("q1", "{0x01 0x02 0x03 0x00 0x00 0x00 0x00 0x00 0x09 0x0a 0x2f 0x2f 0x2f 0x2f 0x2f 0x2f}", True),
+ ("q14", "{0x01 0x02 0x03 0x00 0x00 0x00 0x00 0x00 0x09 0x0a 0x2f 0x2f 0x2f 0x2f 0x0e 0x0f}", False),
+ ]
+
+ for (reg, val, must) in reg_list:
+ self.write_and_read(currentFrame, reg, val, must)
+
+ if self.getArchitecture() in ['amd64', 'i386', 'x86_64']:
+ self.runCmd("register write " + st0regname + " \"{0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00}\"")
+ self.expect("register read " + st0regname + " --format f", substrs = [st0regname + ' = 0'])
+
+ has_avx = False
+ registerSets = currentFrame.GetRegisters() # Returns an SBValueList.
+ for registerSet in registerSets:
+ if 'advanced vector extensions' in registerSet.GetName().lower():
+ has_avx = True
+ break
+
+ if has_avx:
+ new_value = "{0x01 0x02 0x03 0x00 0x00 0x00 0x00 0x00 0x09 0x0a 0x2f 0x2f 0x2f 0x2f 0x0e 0x0f 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x0c 0x0d 0x0e 0x0f}"
+ self.write_and_read(currentFrame, "ymm0", new_value)
+ self.write_and_read(currentFrame, "ymm7", new_value)
+ self.expect("expr $ymm0", substrs = ['vector_type'])
+ else:
+ self.runCmd("register read ymm0")
+
+ def convenience_registers(self):
+ """Test convenience registers."""
+ self.common_setup()
+
+ # The command "register read -a" does output a derived register like eax...
+ self.expect("register read -a", matching=True,
+ substrs = ['eax'])
+
+ # ...however, the vanilla "register read" command should not output derived registers like eax.
+ self.expect("register read", matching=False,
+ substrs = ['eax'])
+
+ # Test reading of rax and eax.
+ self.expect("register read rax eax",
+ substrs = ['rax = 0x', 'eax = 0x'])
+
+ # Now write rax with a unique bit pattern and test that eax indeed represents the lower half of rax.
+ self.runCmd("register write rax 0x1234567887654321")
+ self.expect("register read rax 0x1234567887654321",
+ substrs = ['0x1234567887654321'])
+
+ def convenience_registers_with_process_attach(self, test_16bit_regs):
+ """Test convenience registers after a 'process attach'."""
+ exe = os.path.join(os.getcwd(), "a.out")
+
+ # Spawn a new process
+ pid = self.spawnSubprocess(exe, ['wait_for_attach']).pid
+ self.addTearDownHook(self.cleanupSubprocesses)
+
+ if self.TraceOn():
+ print("pid of spawned process: %d" % pid)
+
+ self.runCmd("process attach -p %d" % pid)
+
+ # Check that "register read eax" works.
+ self.runCmd("register read eax")
+
+ if self.getArchitecture() in ['amd64', 'x86_64']:
+ self.expect("expr -- ($rax & 0xffffffff) == $eax",
+ substrs = ['true'])
+
+ if test_16bit_regs:
+ self.expect("expr -- $ax == (($ah << 8) | $al)",
+ substrs = ['true'])
OpenPOWER on IntegriCloud