reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34
   35
   36
   37
   38
   39
   40
   41
"""
Test PHI nodes work in the IR interpreter.
"""


import lldb
from lldbsuite.test.lldbtest import *
import lldbsuite.test.lldbutil as lldbutil


class IRInterpreterPHINodesTestCase(TestBase):
    mydir = TestBase.compute_mydir(__file__)

    def test_phi_node_support(self):
        """Test support for PHI nodes in the IR interpreter."""

        self.build()
        exe = self.getBuildArtifact("a.out")
        self.runCmd('file ' + exe, CURRENT_EXECUTABLE_SET)

        # Break on the first assignment to i
        line = line_number('main.cpp', 'i = 5')
        lldbutil.run_break_set_by_file_and_line(
            self, 'main.cpp', line, num_expected_locations=1, loc_exact=True)

        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'])

        self.runCmd('s')

        # The logical 'or' causes a PHI node to be generated. Execute without JIT
        # to test that the interpreter can handle this
        self.expect('expr -j 0 -- i == 3 || i == 5', substrs=['true'])

        self.runCmd('s')
        self.expect('expr -j 0 -- i == 3 || i == 5', substrs=['false'])
        self.runCmd('s')
        self.expect('expr -j 0 -- i == 3 || i == 5', substrs=['true'])