llvm/lldb/tools/intel-features/intel-mpx/test/TestMPXTable.py

"""
Test mpx-table command.
"""

import os
import time
import re
import lldb
from lldbsuite.test.decorators import *
from lldbsuite.test.lldbtest import *
from lldbsuite.test import lldbutil


class TestMPXTable(TestBase):
    def setUp(self):
        TestBase.setUp(self)

    @skipIf(compiler="clang")
    @skipIf(oslist=no_match(["linux"]))
    @skipIf(archs=no_match(["i386", "x86_64"]))
    @skipIf(compiler="gcc", compiler_version=["<", "5"])  # GCC version >= 5 supports
    # Intel(R) Memory Protection Extensions (Intel(R) MPX).
    def test_show_command(self):
        """Test 'mpx-table show' command"""
        self.build()

        plugin_file = os.path.join(
            configuration.lldb_libs_dir, "liblldbIntelFeatures.so"
        )
        if not os.path.isfile(plugin_file):
            self.skipTest("features plugin missing.")
        plugin_command = " "
        seq = ("plugin", "load", plugin_file)
        plugin_command = plugin_command.join(seq)
        self.runCmd(plugin_command)

        exe = os.path.join(os.getcwd(), "a.out")
        self.runCmd("file " + exe, CURRENT_EXECUTABLE_SET)

        self.b1 = line_number("main.cpp", "// Break 1.")
        self.b2 = line_number("main.cpp", "// Break 2.")
        self.b3 = line_number("main.cpp", "// Break 3.")
        self.b4 = line_number("main.cpp", "// Break 4.")
        lldbutil.run_break_set_by_file_and_line(
            self, "main.cpp", self.b1, num_expected_locations=1
        )
        lldbutil.run_break_set_by_file_and_line(
            self, "main.cpp", self.b2, num_expected_locations=1
        )
        lldbutil.run_break_set_by_file_and_line(
            self, "main.cpp", self.b3, num_expected_locations=1
        )
        lldbutil.run_break_set_by_file_and_line(
            self, "main.cpp", self.b4, num_expected_locations=1
        )
        self.runCmd("run", RUN_SUCCEEDED)

        target = self.dbg.GetSelectedTarget()
        process = target.GetProcess()

        if process.GetState() == lldb.eStateExited:
            self.skipTest("Intel(R) MPX is not supported.")
        else:
            self.expect(
                "thread backtrace",
                STOPPED_DUE_TO_BREAKPOINT,
                substrs=["stop reason = breakpoint 1."],
            )

        self.expect(
            "mpx-table show a",
            substrs=[
                "lbound = 0x",
                ", ubound = 0x",
                "(pointer value = 0x",
                ", metadata = 0x",
                ")",
            ],
            error=False,
        )

        self.expect(
            "continue",
            STOPPED_DUE_TO_BREAKPOINT,
            substrs=["stop reason = breakpoint 2."],
        )

        # Check that out of scope pointer cannot be reached.
        #
        self.expect("mpx-table show a", substrs=["Invalid pointer."], error=True)

        self.expect(
            "mpx-table show tmp",
            substrs=[
                "lbound = 0x",
                ", ubound = 0x",
                "(pointer value = 0x",
                ", metadata = 0x",
                ")",
            ],
            error=False,
        )

        self.expect(
            "continue",
            STOPPED_DUE_TO_BREAKPOINT,
            substrs=["stop reason = breakpoint 3."],
        )

        # Check that the pointer value is correctly updated.
        #
        self.expect(
            "mpx-table show tmp",
            substrs=[
                "lbound = 0x",
                ", ubound = 0x",
                "(pointer value = 0x2",
                ", metadata = 0x",
                ")",
            ],
            error=False,
        )

        self.expect(
            "continue",
            STOPPED_DUE_TO_BREAKPOINT,
            substrs=["stop reason = breakpoint 4."],
        )

        # After going back to main(), check that out of scope pointer cannot be
        # reached.
        #
        self.expect("mpx-table show tmp", substrs=["Invalid pointer."], error=True)

        self.expect(
            "mpx-table show a",
            substrs=[
                "lbound = 0x",
                ", ubound = 0x",
                "(pointer value = 0x",
                ", metadata = 0x",
                ")",
            ],
            error=False,
        )

    def test_set_command(self):
        """Test 'mpx-table set' command"""
        self.build()

        plugin_file = os.path.join(
            configuration.lldb_libs_dir, "liblldbIntelFeatures.so"
        )
        if not os.path.isfile(plugin_file):
            self.skipTest("features plugin missing.")
        plugin_command = " "
        seq = ("plugin", "load", plugin_file)
        plugin_command = plugin_command.join(seq)
        self.runCmd(plugin_command)

        exe = os.path.join(os.getcwd(), "a.out")
        self.runCmd("file " + exe, CURRENT_EXECUTABLE_SET)

        self.b1 = line_number("main.cpp", "// Break 1.")
        lldbutil.run_break_set_by_file_and_line(
            self, "main.cpp", self.b1, num_expected_locations=1
        )
        self.runCmd("run", RUN_SUCCEEDED)

        target = self.dbg.GetSelectedTarget()
        process = target.GetProcess()

        if process.GetState() == lldb.eStateExited:
            self.skipTest("Intel(R) MPX is not supported.")
        else:
            self.expect(
                "thread backtrace",
                STOPPED_DUE_TO_BREAKPOINT,
                substrs=["stop reason = breakpoint 1."],
            )

        # Check that the BT Entry doesn't already contain the test values.
        #
        self.expect(
            "mpx-table show a",
            matching=False,
            substrs=["lbound = 0xcafecafe", ", ubound = 0xbeefbeef"],
        )

        # Set the test values.
        #
        self.expect("mpx-table set a 0xcafecafe 0xbeefbeef", error=False)

        # Verify that the test values have been correctly written in the BT
        # entry.
        #
        self.expect(
            "mpx-table show a",
            substrs=["lbound = 0xcafecafe", ", ubound = 0xbeefbeef"],
            error=False,
        )