xref: /llvm-project/lldb/test/API/python_api/function_symbol/TestDisasmAPI.py (revision ab855530f797bbc113f75f833a4ca5711749d7c8)
199451b44SJordan Rupprecht"""
299451b44SJordan RupprechtTest retrieval of SBAddress from function/symbol, disassembly, and SBAddress APIs.
399451b44SJordan Rupprecht"""
499451b44SJordan Rupprecht
599451b44SJordan Rupprechtimport lldb
699451b44SJordan Rupprechtfrom lldbsuite.test.decorators import *
799451b44SJordan Rupprechtfrom lldbsuite.test.lldbtest import *
899451b44SJordan Rupprechtfrom lldbsuite.test import lldbutil
999451b44SJordan Rupprecht
1099451b44SJordan Rupprecht
1199451b44SJordan Rupprechtclass DisasmAPITestCase(TestBase):
1299451b44SJordan Rupprecht    def setUp(self):
1399451b44SJordan Rupprecht        # Call super's setUp().
1499451b44SJordan Rupprecht        TestBase.setUp(self)
1599451b44SJordan Rupprecht        # Find the line number to of function 'c'.
1699451b44SJordan Rupprecht        self.line1 = line_number(
172238dcc3SJonas Devlieghere            "main.c", "// Find the line number for breakpoint 1 here."
182238dcc3SJonas Devlieghere        )
1999451b44SJordan Rupprecht        self.line2 = line_number(
202238dcc3SJonas Devlieghere            "main.c", "// Find the line number for breakpoint 2 here."
212238dcc3SJonas Devlieghere        )
2299451b44SJordan Rupprecht
23*ab855530SJonas Devlieghere    @expectedFailureAll(oslist=["windows"], bugnumber="llvm.org/pr21765")
2499451b44SJordan Rupprecht    def test(self):
2599451b44SJordan Rupprecht        """Exercise getting SBAddress objects, disassembly, and SBAddress APIs."""
2699451b44SJordan Rupprecht        self.build()
2799451b44SJordan Rupprecht        exe = self.getBuildArtifact("a.out")
2899451b44SJordan Rupprecht
2999451b44SJordan Rupprecht        # Create a target by the debugger.
3099451b44SJordan Rupprecht        target = self.dbg.CreateTarget(exe)
3199451b44SJordan Rupprecht        self.assertTrue(target, VALID_TARGET)
3299451b44SJordan Rupprecht
3399451b44SJordan Rupprecht        # Now create the two breakpoints inside function 'a'.
342238dcc3SJonas Devlieghere        breakpoint1 = target.BreakpointCreateByLocation("main.c", self.line1)
352238dcc3SJonas Devlieghere        breakpoint2 = target.BreakpointCreateByLocation("main.c", self.line2)
36b321b429SJonas Devlieghere        self.trace("breakpoint1:", breakpoint1)
37b321b429SJonas Devlieghere        self.trace("breakpoint2:", breakpoint2)
382238dcc3SJonas Devlieghere        self.assertTrue(
392238dcc3SJonas Devlieghere            breakpoint1 and breakpoint1.GetNumLocations() == 1, VALID_BREAKPOINT
402238dcc3SJonas Devlieghere        )
412238dcc3SJonas Devlieghere        self.assertTrue(
422238dcc3SJonas Devlieghere            breakpoint2 and breakpoint2.GetNumLocations() == 1, VALID_BREAKPOINT
432238dcc3SJonas Devlieghere        )
4499451b44SJordan Rupprecht
4599451b44SJordan Rupprecht        # Now launch the process, and do not stop at entry point.
462238dcc3SJonas Devlieghere        process = target.LaunchSimple(None, None, self.get_process_working_directory())
4799451b44SJordan Rupprecht        self.assertTrue(process, PROCESS_IS_VALID)
4899451b44SJordan Rupprecht
4999451b44SJordan Rupprecht        # Frame #0 should be on self.line1.
5047c4c6a7SDave Lee        self.assertState(process.GetState(), lldb.eStateStopped)
512238dcc3SJonas Devlieghere        thread = lldbutil.get_stopped_thread(process, lldb.eStopReasonBreakpoint)
5299451b44SJordan Rupprecht        self.assertTrue(
5399451b44SJordan Rupprecht            thread.IsValid(),
542238dcc3SJonas Devlieghere            "There should be a thread stopped due to breakpoint condition",
552238dcc3SJonas Devlieghere        )
5699451b44SJordan Rupprecht        frame0 = thread.GetFrameAtIndex(0)
5799451b44SJordan Rupprecht        lineEntry = frame0.GetLineEntry()
58619e2e09SDave Lee        self.assertEqual(lineEntry.GetLine(), self.line1)
5999451b44SJordan Rupprecht
6099451b44SJordan Rupprecht        address1 = lineEntry.GetStartAddress()
61b321b429SJonas Devlieghere        self.trace("address1:", address1)
6299451b44SJordan Rupprecht
6399451b44SJordan Rupprecht        # Now call SBTarget.ResolveSymbolContextForAddress() with address1.
6499451b44SJordan Rupprecht        context1 = target.ResolveSymbolContextForAddress(
652238dcc3SJonas Devlieghere            address1, lldb.eSymbolContextEverything
662238dcc3SJonas Devlieghere        )
6799451b44SJordan Rupprecht
6899451b44SJordan Rupprecht        self.assertTrue(context1)
6999451b44SJordan Rupprecht        if self.TraceOn():
7099451b44SJordan Rupprecht            print("context1:", context1)
7199451b44SJordan Rupprecht
7299451b44SJordan Rupprecht        # Continue the inferior, the breakpoint 2 should be hit.
7399451b44SJordan Rupprecht        process.Continue()
7447c4c6a7SDave Lee        self.assertState(process.GetState(), lldb.eStateStopped)
752238dcc3SJonas Devlieghere        thread = lldbutil.get_stopped_thread(process, lldb.eStopReasonBreakpoint)
7699451b44SJordan Rupprecht        self.assertTrue(
7799451b44SJordan Rupprecht            thread.IsValid(),
782238dcc3SJonas Devlieghere            "There should be a thread stopped due to breakpoint condition",
792238dcc3SJonas Devlieghere        )
8099451b44SJordan Rupprecht        frame0 = thread.GetFrameAtIndex(0)
8199451b44SJordan Rupprecht        lineEntry = frame0.GetLineEntry()
82619e2e09SDave Lee        self.assertEqual(lineEntry.GetLine(), self.line2)
8399451b44SJordan Rupprecht
8499451b44SJordan Rupprecht        # Verify that the symbol and the function has the same address range
8599451b44SJordan Rupprecht        # per function 'a'.
8699451b44SJordan Rupprecht        symbol = context1.GetSymbol()
8799451b44SJordan Rupprecht        function = frame0.GetFunction()
8899451b44SJordan Rupprecht        self.assertTrue(symbol and function)
8999451b44SJordan Rupprecht
9099451b44SJordan Rupprecht        disasm_output = lldbutil.disassemble(target, symbol)
9199451b44SJordan Rupprecht        if self.TraceOn():
9299451b44SJordan Rupprecht            print("symbol:", symbol)
9399451b44SJordan Rupprecht            print("disassembly=>\n", disasm_output)
9499451b44SJordan Rupprecht
9599451b44SJordan Rupprecht        disasm_output = lldbutil.disassemble(target, function)
9699451b44SJordan Rupprecht        if self.TraceOn():
9799451b44SJordan Rupprecht            print("function:", function)
9899451b44SJordan Rupprecht            print("disassembly=>\n", disasm_output)
9999451b44SJordan Rupprecht
10099451b44SJordan Rupprecht        sa1 = symbol.GetStartAddress()
101b321b429SJonas Devlieghere        self.trace("sa1:", sa1)
102b321b429SJonas Devlieghere        self.trace("sa1.GetFileAddress():", hex(sa1.GetFileAddress()))
10399451b44SJordan Rupprecht        sa2 = function.GetStartAddress()
104b321b429SJonas Devlieghere        self.trace("sa2:", sa2)
105b321b429SJonas Devlieghere        self.trace("sa2.GetFileAddress():", hex(sa2.GetFileAddress()))
1062238dcc3SJonas Devlieghere        self.assertTrue(
1072238dcc3SJonas Devlieghere            sa1 and sa2 and sa1 == sa2, "The two starting addresses should be the same"
1082238dcc3SJonas Devlieghere        )
10999451b44SJordan Rupprecht
11099451b44SJordan Rupprecht        from lldbsuite.test.lldbutil import get_description
1112238dcc3SJonas Devlieghere
11299451b44SJordan Rupprecht        desc1 = get_description(sa1)
11399451b44SJordan Rupprecht        desc2 = get_description(sa2)
11499451b44SJordan Rupprecht        self.assertTrue(
11599451b44SJordan Rupprecht            desc1 and desc2 and desc1 == desc2,
1162238dcc3SJonas Devlieghere            "SBAddress.GetDescription() API of sa1 and sa2 should return the same string",
1172238dcc3SJonas Devlieghere        )
118