1*1364750dSJames Henderson // RUN: %dexter --fail-lt 1.0 -w \
2*1364750dSJames Henderson // RUN: --builder 'clang' --debugger 'lldb' \
3*1364750dSJames Henderson // RUN: --cflags "-O2 -g" -- %s
4*1364750dSJames Henderson // RUN: %dexter --fail-lt 1.0 -w \
5*1364750dSJames Henderson // RUN: --builder 'clang' --debugger 'lldb' \
6*1364750dSJames Henderson // RUN: --cflags "-O0 -g" -- %s
7*1364750dSJames Henderson
8*1364750dSJames Henderson // REQUIRES: lldb
9*1364750dSJames Henderson // UNSUPPORTED: system-windows
10*1364750dSJames Henderson
11*1364750dSJames Henderson //// Check that the debugging experience with __attribute__((optnone)) at O2
12*1364750dSJames Henderson //// matches O0. Test simple functions performing simple arithmetic
13*1364750dSJames Henderson //// operations and small loops.
14*1364750dSJames Henderson
15*1364750dSJames Henderson __attribute__((optnone))
test1(int test1_a,int test1_b)16*1364750dSJames Henderson int test1(int test1_a, int test1_b) {
17*1364750dSJames Henderson int test1_result = 0;
18*1364750dSJames Henderson // DexLabel('test1_start')
19*1364750dSJames Henderson test1_result = test1_a + test1_b; // DexExpectStepOrder(1)
20*1364750dSJames Henderson return test1_result; // DexExpectStepOrder(2)
21*1364750dSJames Henderson // DexLabel('test1_end')
22*1364750dSJames Henderson }
23*1364750dSJames Henderson // DexExpectWatchValue('test1_a', 3, from_line=ref('test1_start'), to_line=ref('test1_end'))
24*1364750dSJames Henderson // DexExpectWatchValue('test1_b', 4, from_line=ref('test1_start'), to_line=ref('test1_end'))
25*1364750dSJames Henderson // DexExpectWatchValue('test1_result', 0, 7, from_line=ref('test1_start'), to_line=ref('test1_end'))
26*1364750dSJames Henderson
27*1364750dSJames Henderson __attribute__((optnone))
test2(int test2_a,int test2_b)28*1364750dSJames Henderson int test2(int test2_a, int test2_b) {
29*1364750dSJames Henderson int test2_result = test2_a + test2_a + test2_a + test2_a; // DexExpectStepOrder(3)
30*1364750dSJames Henderson // DexLabel('test2_start')
31*1364750dSJames Henderson return test2_a << 2; // DexExpectStepOrder(4)
32*1364750dSJames Henderson // DexLabel('test2_end')
33*1364750dSJames Henderson }
34*1364750dSJames Henderson // DexExpectWatchValue('test2_a', 1, from_line=ref('test2_start'), to_line=ref('test2_end'))
35*1364750dSJames Henderson // DexExpectWatchValue('test2_b', 2, from_line=ref('test2_start'), to_line=ref('test2_end'))
36*1364750dSJames Henderson // DexExpectWatchValue('test2_result', 4, from_line=ref('test2_start'), to_line=ref('test2_end'))
37*1364750dSJames Henderson
38*1364750dSJames Henderson __attribute__((optnone))
test3(int test3_a,int test3_b)39*1364750dSJames Henderson int test3(int test3_a, int test3_b) {
40*1364750dSJames Henderson int test3_temp1 = 0, test3_temp2 = 0;
41*1364750dSJames Henderson // DexLabel('test3_start')
42*1364750dSJames Henderson test3_temp1 = test3_a + 5; // DexExpectStepOrder(5)
43*1364750dSJames Henderson test3_temp2 = test3_b + 5; // DexExpectStepOrder(6)
44*1364750dSJames Henderson if (test3_temp1 > test3_temp2) { // DexExpectStepOrder(7)
45*1364750dSJames Henderson test3_temp1 *= test3_temp2; // DexUnreachable()
46*1364750dSJames Henderson }
47*1364750dSJames Henderson return test3_temp1; // DexExpectStepOrder(8)
48*1364750dSJames Henderson // DexLabel('test3_end')
49*1364750dSJames Henderson }
50*1364750dSJames Henderson // DexExpectWatchValue('test3_a', 5, from_line=ref('test3_start'), to_line=ref('test3_end'))
51*1364750dSJames Henderson // DexExpectWatchValue('test3_b', 6, from_line=ref('test3_start'), to_line=ref('test3_end'))
52*1364750dSJames Henderson // DexExpectWatchValue('test3_temp1', 0, 10, from_line=ref('test3_start'), to_line=ref('test3_end'))
53*1364750dSJames Henderson // DexExpectWatchValue('test3_temp2', 0, 11, from_line=ref('test3_start'), to_line=ref('test3_end'))
54*1364750dSJames Henderson
55*1364750dSJames Henderson unsigned num_iterations = 4;
56*1364750dSJames Henderson
57*1364750dSJames Henderson __attribute__((optnone))
test4(int test4_a,int test4_b)58*1364750dSJames Henderson int test4(int test4_a, int test4_b) {
59*1364750dSJames Henderson int val1 = 0, val2 = 0;
60*1364750dSJames Henderson // DexLabel('test4_start')
61*1364750dSJames Henderson
62*1364750dSJames Henderson val1 = (test4_a > test4_b) ? test4_a : test4_b; // DexExpectStepOrder(9)
63*1364750dSJames Henderson val2 = val1;
64*1364750dSJames Henderson val2 += val1; // DexExpectStepOrder(10)
65*1364750dSJames Henderson
66*1364750dSJames Henderson for (unsigned i=0; i != num_iterations; ++i) { // DexExpectStepOrder(11, 13, 15, 17, 19)
67*1364750dSJames Henderson val1--;
68*1364750dSJames Henderson val2 += i;
69*1364750dSJames Henderson if (val2 % 2 == 0) // DexExpectStepOrder(12, 14, 16, 18)
70*1364750dSJames Henderson val2 /= 2;
71*1364750dSJames Henderson }
72*1364750dSJames Henderson
73*1364750dSJames Henderson return (val1 > val2) ? val2 : val1; // DexExpectStepOrder(20)
74*1364750dSJames Henderson // DexLabel('test4_end')
75*1364750dSJames Henderson }
76*1364750dSJames Henderson // DexExpectWatchValue('test4_a', 1, from_line=ref('test4_start'), to_line=ref('test4_end'))
77*1364750dSJames Henderson // DexExpectWatchValue('test4_b', 9, from_line=ref('test4_start'), to_line=ref('test4_end'))
78*1364750dSJames Henderson // DexExpectWatchValue('val1', 0, 9, 8, 7, 6, 5, from_line=ref('test4_start'), to_line=ref('test4_end'))
79*1364750dSJames Henderson // DexExpectWatchValue('val2', 0, 9, 18, 9, 10, 5, 7, 10, 5, 9, from_line=ref('test4_start'), to_line=ref('test4_end'))
80*1364750dSJames Henderson
81*1364750dSJames Henderson __attribute__((optnone))
test5(int test5_val)82*1364750dSJames Henderson int test5(int test5_val) {
83*1364750dSJames Henderson int c = 1; // DexExpectStepOrder(21)
84*1364750dSJames Henderson // DexLabel('test5_start')
85*1364750dSJames Henderson if (test5_val) // DexExpectStepOrder(22)
86*1364750dSJames Henderson c = 5; // DexExpectStepOrder(23)
87*1364750dSJames Henderson return c ? test5_val : test5_val; // DexExpectStepOrder(24)
88*1364750dSJames Henderson // DexLabel('test5_end')
89*1364750dSJames Henderson }
90*1364750dSJames Henderson // DexExpectWatchValue('test5_val', 7, from_line=ref('test5_start'), to_line=ref('test5_end'))
91*1364750dSJames Henderson // DexExpectWatchValue('c', 1, 5, from_line=ref('test5_start'), to_line=ref('test5_end'))
92*1364750dSJames Henderson
main()93*1364750dSJames Henderson int main() {
94*1364750dSJames Henderson int main_result = 0;
95*1364750dSJames Henderson // DexLabel('main_start')
96*1364750dSJames Henderson main_result = test1(3,4);
97*1364750dSJames Henderson main_result += test2(1,2);
98*1364750dSJames Henderson main_result += test3(5,6);
99*1364750dSJames Henderson main_result += test4(1,9);
100*1364750dSJames Henderson main_result += test5(7);
101*1364750dSJames Henderson return main_result;
102*1364750dSJames Henderson // DexLabel('main_end')
103*1364750dSJames Henderson }
104*1364750dSJames Henderson // DexExpectWatchValue('main_result', 0, 7, 11, 21, 26, 33, from_line=ref('main_start'), to_line=ref('main_end'))
105