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 def test_phi_node_support(self): 13 """Test support for PHI nodes in the IR interpreter.""" 14 15 self.build() 16 exe = self.getBuildArtifact("a.out") 17 self.runCmd("file " + exe, CURRENT_EXECUTABLE_SET) 18 19 # Break on the first assignment to i 20 line = line_number("main.cpp", "i = 5") 21 lldbutil.run_break_set_by_file_and_line( 22 self, "main.cpp", line, num_expected_locations=1, loc_exact=True 23 ) 24 25 self.runCmd("run", RUN_SUCCEEDED) 26 27 # The stop reason of the thread should be breakpoint 28 self.expect( 29 "thread list", 30 STOPPED_DUE_TO_BREAKPOINT, 31 substrs=["stopped", "stop reason = breakpoint"], 32 ) 33 34 self.runCmd("s") 35 36 # The logical 'or' causes a PHI node to be generated. Execute without JIT 37 # to test that the interpreter can handle this 38 self.expect("expr -j 0 -- i == 3 || i == 5", substrs=["true"]) 39 40 self.runCmd("s") 41 self.expect("expr -j 0 -- i == 3 || i == 5", substrs=["false"]) 42 self.runCmd("s") 43 self.expect("expr -j 0 -- i == 3 || i == 5", substrs=["true"]) 44