aboutsummaryrefslogtreecommitdiff
path: root/packages/Python/lldbsuite/test/expression_command/ir-interpreter-phi-nodes/TestIRInterpreterPHINodes.py
blob: c4f176703225dd4887c621a6e2a112daf36ba6f7 (plain) (blame)
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
"""
Test PHI nodes work in the IR interpreter.
"""

import os, os.path

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 = os.path.join(os.getcwd(), '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'])