• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1"""
2Test PHI nodes work in the IR interpreter.
3"""
4
5
6import lldb
7from lldbsuite.test.lldbtest import *
8import lldbsuite.test.lldbutil as lldbutil
9
10
11class IRInterpreterPHINodesTestCase(TestBase):
12    mydir = TestBase.compute_mydir(__file__)
13
14    def test_phi_node_support(self):
15        """Test support for PHI nodes in the IR interpreter."""
16
17        self.build()
18        exe = self.getBuildArtifact("a.out")
19        self.runCmd('file ' + exe, CURRENT_EXECUTABLE_SET)
20
21        # Break on the first assignment to i
22        line = line_number('main.cpp', 'i = 5')
23        lldbutil.run_break_set_by_file_and_line(
24            self, 'main.cpp', line, num_expected_locations=1, loc_exact=True)
25
26        self.runCmd('run', RUN_SUCCEEDED)
27
28        # The stop reason of the thread should be breakpoint
29        self.expect('thread list', STOPPED_DUE_TO_BREAKPOINT,
30                    substrs=['stopped', 'stop reason = breakpoint'])
31
32        self.runCmd('s')
33
34        # The logical 'or' causes a PHI node to be generated. Execute without JIT
35        # to test that the interpreter can handle this
36        self.expect('expr -j 0 -- i == 3 || i == 5', substrs=['true'])
37
38        self.runCmd('s')
39        self.expect('expr -j 0 -- i == 3 || i == 5', substrs=['false'])
40        self.runCmd('s')
41        self.expect('expr -j 0 -- i == 3 || i == 5', substrs=['true'])
42