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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
|
"""Tests IR interpreter handling of basic floating point operations (fadd, fsub, etc)."""
import lldb
from lldbsuite.test.decorators import *
from lldbsuite.test.lldbtest import *
from lldbsuite.test import lldbutil
class FPEvalTestCase(TestBase):
def setUp(self):
# Call super's setUp().
TestBase.setUp(self)
self.jit_opts = lldb.SBExpressionOptions()
self.jit_opts.SetAllowJIT(True)
self.no_jit_opts = lldb.SBExpressionOptions()
self.no_jit_opts.SetAllowJIT(False)
# Find the line number to break inside main().
self.line = line_number('main.c', '// Set break point at this line.')
def test(self):
"""Test floating point expressions while jitter is disabled."""
self.build()
exe = self.getBuildArtifact("a.out")
self.runCmd("file " + exe, CURRENT_EXECUTABLE_SET)
# Break inside the main.
lldbutil.run_break_set_by_file_and_line(
self, "main.c", self.line, num_expected_locations=1, loc_exact=True)
value = self.frame().EvaluateExpression("a + b", self.no_jit_opts)
self.runCmd("run", RUN_SUCCEEDED)
# test double
self.expect("expr --allow-jit false -- a + b", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['double', '44'])
self.expect("expr --allow-jit false -- a - b", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['double', '40'])
self.expect("expr --allow-jit false -- a / b", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['double', '21'])
self.expect("expr --allow-jit false -- a * b", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['double', '84'])
self.expect("expr --allow-jit false -- a + 2", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['double', '44'])
self.expect("expr --allow-jit false -- a > b", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['true'])
self.expect("expr --allow-jit false -- a >= b", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['true'])
self.expect("expr --allow-jit false -- a < b", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['false'])
self.expect("expr --allow-jit false -- a <= b", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['false'])
self.expect("expr --allow-jit false -- a == b", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['false'])
self.expect("expr --allow-jit false -- a != b", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['true'])
# test single
self.expect("expr --allow-jit false -- f + q", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['float', '44'])
self.expect("expr --allow-jit false -- f - q", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['float', '40'])
self.expect("expr --allow-jit false -- f / q", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['float', '21'])
self.expect("expr --allow-jit false -- f * q", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['float', '84'])
self.expect("expr --allow-jit false -- f + 2", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['float', '44'])
self.expect("expr --allow-jit false -- f > q", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['true'])
self.expect("expr --allow-jit false -- f >= q", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['true'])
self.expect("expr --allow-jit false -- f < q", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['false'])
self.expect("expr --allow-jit false -- f <= q", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['false'])
self.expect("expr --allow-jit false -- f == q", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['false'])
self.expect("expr --allow-jit false -- f != q", VARIABLES_DISPLAYED_CORRECTLY,
substrs=['true'])
# compare jit and interpreter output
self.assertTrue(self.process().IsValid())
thread = lldbutil.get_stopped_thread(self.process(), lldb.eStopReasonBreakpoint)
self.assertTrue(thread.IsValid())
frame = thread.GetSelectedFrame()
self.assertTrue(frame.IsValid())
dividents = [42, 79, 666]
divisors = [1.618, 2.718281828, 3.1415926535, 6.62607015]
for x in dividents:
for y in divisors:
vardef = "double x = {0}, y = {1};".format(x, y)
v1 = frame.EvaluateExpression("{0}; eval(x, y, 2)".format(vardef), self.jit_opts)
v2 = frame.EvaluateExpression("{0}; x / y".format(vardef), self.no_jit_opts)
self.assertTrue(v1.IsValid() and v2.IsValid())
self.assertEqual(str(v1.GetData()), str(v2.GetData()))
|
