Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 1 | /* |
| 2 | * QTest testcase for the ptimer |
| 3 | * |
Dmitry Osipenko | 673c7e8 | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 4 | * Copyright (c) 2016 Dmitry Osipenko <digetx@gmail.com> |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 5 | * |
| 6 | * This work is licensed under the terms of the GNU GPL, version 2 or later. |
| 7 | * See the COPYING file in the top-level directory. |
| 8 | * |
| 9 | */ |
| 10 | |
Markus Armbruster | 8f0a371 | 2018-02-01 12:18:29 +0100 | [diff] [blame] | 11 | #include "qemu/osdep.h" |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 12 | #include <glib/gprintf.h> |
| 13 | |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 14 | #include "qemu/main-loop.h" |
| 15 | #include "hw/ptimer.h" |
| 16 | |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 17 | #include "ptimer-test.h" |
| 18 | |
| 19 | static bool triggered; |
| 20 | |
| 21 | static void ptimer_trigger(void *opaque) |
| 22 | { |
| 23 | triggered = true; |
| 24 | } |
| 25 | |
| 26 | static void ptimer_test_expire_qemu_timers(int64_t expire_time, |
| 27 | QEMUClockType type) |
| 28 | { |
| 29 | QEMUTimerList *timer_list = main_loop_tlg.tl[type]; |
| 30 | QEMUTimer *t = timer_list->active_timers.next; |
| 31 | |
| 32 | while (t != NULL) { |
| 33 | if (t->expire_time == expire_time) { |
| 34 | timer_del(t); |
| 35 | |
| 36 | if (t->cb != NULL) { |
| 37 | t->cb(t->opaque); |
| 38 | } |
| 39 | } |
| 40 | |
| 41 | t = t->next; |
| 42 | } |
| 43 | } |
| 44 | |
| 45 | static void ptimer_test_set_qemu_time_ns(int64_t ns) |
| 46 | { |
| 47 | ptimer_test_time_ns = ns; |
| 48 | } |
| 49 | |
| 50 | static void qemu_clock_step(uint64_t ns) |
| 51 | { |
Pavel Dovgalyuk | dcb1578 | 2019-07-25 11:44:26 +0300 | [diff] [blame] | 52 | int64_t deadline = qemu_clock_deadline_ns_all(QEMU_CLOCK_VIRTUAL, |
| 53 | QEMU_TIMER_ATTR_ALL); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 54 | int64_t advanced_time = qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL) + ns; |
| 55 | |
| 56 | while (deadline != -1 && deadline <= advanced_time) { |
| 57 | ptimer_test_set_qemu_time_ns(deadline); |
| 58 | ptimer_test_expire_qemu_timers(deadline, QEMU_CLOCK_VIRTUAL); |
Pavel Dovgalyuk | dcb1578 | 2019-07-25 11:44:26 +0300 | [diff] [blame] | 59 | deadline = qemu_clock_deadline_ns_all(QEMU_CLOCK_VIRTUAL, |
| 60 | QEMU_TIMER_ATTR_ALL); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 61 | } |
| 62 | |
| 63 | ptimer_test_set_qemu_time_ns(advanced_time); |
| 64 | } |
| 65 | |
| 66 | static void check_set_count(gconstpointer arg) |
| 67 | { |
| 68 | const uint8_t *policy = arg; |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 69 | ptimer_state *ptimer = ptimer_init(ptimer_trigger, NULL, *policy); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 70 | |
| 71 | triggered = false; |
| 72 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 73 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 74 | ptimer_set_count(ptimer, 1000); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 75 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 76 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 1000); |
| 77 | g_assert_false(triggered); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 78 | ptimer_free(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 79 | } |
| 80 | |
| 81 | static void check_set_limit(gconstpointer arg) |
| 82 | { |
| 83 | const uint8_t *policy = arg; |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 84 | ptimer_state *ptimer = ptimer_init(ptimer_trigger, NULL, *policy); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 85 | |
| 86 | triggered = false; |
| 87 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 88 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 89 | ptimer_set_limit(ptimer, 1000, 0); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 90 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 91 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 0); |
| 92 | g_assert_cmpuint(ptimer_get_limit(ptimer), ==, 1000); |
| 93 | g_assert_false(triggered); |
| 94 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 95 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 96 | ptimer_set_limit(ptimer, 2000, 1); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 97 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 98 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 2000); |
| 99 | g_assert_cmpuint(ptimer_get_limit(ptimer), ==, 2000); |
| 100 | g_assert_false(triggered); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 101 | ptimer_free(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 102 | } |
| 103 | |
| 104 | static void check_oneshot(gconstpointer arg) |
| 105 | { |
| 106 | const uint8_t *policy = arg; |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 107 | ptimer_state *ptimer = ptimer_init(ptimer_trigger, NULL, *policy); |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 108 | bool no_round_down = (*policy & PTIMER_POLICY_NO_COUNTER_ROUND_DOWN); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 109 | |
| 110 | triggered = false; |
| 111 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 112 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 113 | ptimer_set_period(ptimer, 2000000); |
| 114 | ptimer_set_count(ptimer, 10); |
| 115 | ptimer_run(ptimer, 1); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 116 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 117 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 118 | qemu_clock_step(2000000 * 2 + 1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 119 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 120 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 8 : 7); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 121 | g_assert_false(triggered); |
| 122 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 123 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 124 | ptimer_stop(ptimer); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 125 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 126 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 127 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 8 : 7); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 128 | g_assert_false(triggered); |
| 129 | |
| 130 | qemu_clock_step(2000000 * 11); |
| 131 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 132 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 8 : 7); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 133 | g_assert_false(triggered); |
| 134 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 135 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 136 | ptimer_run(ptimer, 1); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 137 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 138 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 139 | qemu_clock_step(2000000 * 7 + 1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 140 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 141 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 1 : 0); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 142 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 143 | if (no_round_down) { |
| 144 | g_assert_false(triggered); |
| 145 | } else { |
| 146 | g_assert_true(triggered); |
| 147 | |
| 148 | triggered = false; |
| 149 | } |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 150 | |
| 151 | qemu_clock_step(2000000); |
| 152 | |
| 153 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 0); |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 154 | |
| 155 | if (no_round_down) { |
| 156 | g_assert_true(triggered); |
| 157 | |
| 158 | triggered = false; |
| 159 | } else { |
| 160 | g_assert_false(triggered); |
| 161 | } |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 162 | |
| 163 | qemu_clock_step(4000000); |
| 164 | |
| 165 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 0); |
| 166 | g_assert_false(triggered); |
| 167 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 168 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 169 | ptimer_set_count(ptimer, 10); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 170 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 171 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 172 | qemu_clock_step(20000000 + 1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 173 | |
| 174 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 10); |
| 175 | g_assert_false(triggered); |
| 176 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 177 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 178 | ptimer_set_limit(ptimer, 9, 1); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 179 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 180 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 181 | qemu_clock_step(20000000 + 1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 182 | |
| 183 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 9); |
| 184 | g_assert_false(triggered); |
| 185 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 186 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 187 | ptimer_run(ptimer, 1); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 188 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 189 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 190 | qemu_clock_step(2000000 + 1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 191 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 192 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 8 : 7); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 193 | g_assert_false(triggered); |
| 194 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 195 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 196 | ptimer_set_count(ptimer, 20); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 197 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 198 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 199 | qemu_clock_step(2000000 * 19 + 1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 200 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 201 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 1 : 0); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 202 | g_assert_false(triggered); |
| 203 | |
| 204 | qemu_clock_step(2000000); |
| 205 | |
| 206 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 0); |
| 207 | g_assert_true(triggered); |
| 208 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 209 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 210 | ptimer_stop(ptimer); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 211 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 212 | |
| 213 | triggered = false; |
| 214 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 215 | qemu_clock_step(2000000 * 12 + 1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 216 | |
| 217 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 0); |
| 218 | g_assert_false(triggered); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 219 | ptimer_free(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 220 | } |
| 221 | |
| 222 | static void check_periodic(gconstpointer arg) |
| 223 | { |
| 224 | const uint8_t *policy = arg; |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 225 | ptimer_state *ptimer = ptimer_init(ptimer_trigger, NULL, *policy); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 226 | bool wrap_policy = (*policy & PTIMER_POLICY_WRAP_AFTER_ONE_PERIOD); |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 227 | bool no_immediate_trigger = (*policy & PTIMER_POLICY_NO_IMMEDIATE_TRIGGER); |
Dmitry Osipenko | 56700e1 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 228 | bool no_immediate_reload = (*policy & PTIMER_POLICY_NO_IMMEDIATE_RELOAD); |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 229 | bool no_round_down = (*policy & PTIMER_POLICY_NO_COUNTER_ROUND_DOWN); |
Peter Maydell | 086ede3 | 2018-07-09 14:51:34 +0100 | [diff] [blame] | 230 | bool trig_only_on_dec = (*policy & PTIMER_POLICY_TRIGGER_ONLY_ON_DECREMENT); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 231 | |
| 232 | triggered = false; |
| 233 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 234 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 235 | ptimer_set_period(ptimer, 2000000); |
| 236 | ptimer_set_limit(ptimer, 10, 1); |
| 237 | ptimer_run(ptimer, 0); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 238 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 239 | |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 240 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 10); |
| 241 | g_assert_false(triggered); |
| 242 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 243 | qemu_clock_step(1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 244 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 245 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 10 : 9); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 246 | g_assert_false(triggered); |
| 247 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 248 | qemu_clock_step(2000000 * 10 - 1); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 249 | |
| 250 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, wrap_policy ? 0 : 10); |
| 251 | g_assert_true(triggered); |
| 252 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 253 | qemu_clock_step(1); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 254 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 255 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, |
| 256 | wrap_policy ? 0 : (no_round_down ? 10 : 9)); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 257 | g_assert_true(triggered); |
| 258 | |
| 259 | triggered = false; |
| 260 | |
| 261 | qemu_clock_step(2000000); |
| 262 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 263 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, |
| 264 | (no_round_down ? 9 : 8) + (wrap_policy ? 1 : 0)); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 265 | g_assert_false(triggered); |
| 266 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 267 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 268 | ptimer_set_count(ptimer, 20); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 269 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 270 | |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 271 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 20); |
| 272 | g_assert_false(triggered); |
| 273 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 274 | qemu_clock_step(1); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 275 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 276 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 20 : 19); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 277 | g_assert_false(triggered); |
| 278 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 279 | qemu_clock_step(2000000 * 11 + 1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 280 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 281 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 9 : 8); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 282 | g_assert_false(triggered); |
| 283 | |
| 284 | qemu_clock_step(2000000 * 10); |
| 285 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 286 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, |
| 287 | (no_round_down ? 9 : 8) + (wrap_policy ? 1 : 0)); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 288 | g_assert_true(triggered); |
| 289 | |
| 290 | triggered = false; |
| 291 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 292 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 293 | ptimer_set_count(ptimer, 3); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 294 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 295 | |
| 296 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 3); |
| 297 | g_assert_false(triggered); |
| 298 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 299 | qemu_clock_step(1); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 300 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 301 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 3 : 2); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 302 | g_assert_false(triggered); |
| 303 | |
| 304 | qemu_clock_step(2000000 * 4); |
| 305 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 306 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, |
| 307 | (no_round_down ? 9 : 8) + (wrap_policy ? 1 : 0)); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 308 | g_assert_true(triggered); |
| 309 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 310 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 311 | ptimer_stop(ptimer); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 312 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 313 | triggered = false; |
| 314 | |
| 315 | qemu_clock_step(2000000); |
| 316 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 317 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, |
| 318 | (no_round_down ? 9 : 8) + (wrap_policy ? 1 : 0)); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 319 | g_assert_false(triggered); |
| 320 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 321 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 322 | ptimer_set_count(ptimer, 3); |
| 323 | ptimer_run(ptimer, 0); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 324 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 325 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 326 | qemu_clock_step(2000000 * 3 + 1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 327 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 328 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, |
| 329 | wrap_policy ? 0 : (no_round_down ? 10 : 9)); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 330 | g_assert_true(triggered); |
| 331 | |
| 332 | triggered = false; |
| 333 | |
| 334 | qemu_clock_step(2000000); |
| 335 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 336 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, |
| 337 | (no_round_down ? 9 : 8) + (wrap_policy ? 1 : 0)); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 338 | g_assert_false(triggered); |
| 339 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 340 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 341 | ptimer_set_count(ptimer, 0); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 342 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 56700e1 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 343 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, |
| 344 | no_immediate_reload ? 0 : 10); |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 345 | |
Peter Maydell | 086ede3 | 2018-07-09 14:51:34 +0100 | [diff] [blame] | 346 | if (no_immediate_trigger || trig_only_on_dec) { |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 347 | g_assert_false(triggered); |
| 348 | } else { |
| 349 | g_assert_true(triggered); |
| 350 | } |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 351 | |
| 352 | triggered = false; |
| 353 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 354 | qemu_clock_step(1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 355 | |
Dmitry Osipenko | 56700e1 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 356 | if (no_immediate_reload) { |
| 357 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 0); |
| 358 | g_assert_false(triggered); |
| 359 | |
| 360 | qemu_clock_step(2000000); |
| 361 | |
| 362 | if (no_immediate_trigger) { |
| 363 | g_assert_true(triggered); |
| 364 | } else { |
| 365 | g_assert_false(triggered); |
| 366 | } |
| 367 | |
| 368 | triggered = false; |
| 369 | } |
| 370 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 371 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 10 : 9); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 372 | g_assert_false(triggered); |
| 373 | |
| 374 | qemu_clock_step(2000000 * 12); |
| 375 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 376 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, |
| 377 | (no_round_down ? 8 : 7) + (wrap_policy ? 1 : 0)); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 378 | g_assert_true(triggered); |
| 379 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 380 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 381 | ptimer_stop(ptimer); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 382 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 383 | |
| 384 | triggered = false; |
| 385 | |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 386 | qemu_clock_step(2000000 * 10); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 387 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 388 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, |
| 389 | (no_round_down ? 8 : 7) + (wrap_policy ? 1 : 0)); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 390 | g_assert_false(triggered); |
| 391 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 392 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 393 | ptimer_run(ptimer, 0); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 394 | ptimer_transaction_commit(ptimer); |
| 395 | |
| 396 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 397 | ptimer_set_period(ptimer, 0); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 398 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 399 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 400 | qemu_clock_step(2000000 + 1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 401 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 402 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, |
| 403 | (no_round_down ? 8 : 7) + (wrap_policy ? 1 : 0)); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 404 | g_assert_false(triggered); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 405 | ptimer_free(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 406 | } |
| 407 | |
| 408 | static void check_on_the_fly_mode_change(gconstpointer arg) |
| 409 | { |
| 410 | const uint8_t *policy = arg; |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 411 | ptimer_state *ptimer = ptimer_init(ptimer_trigger, NULL, *policy); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 412 | bool wrap_policy = (*policy & PTIMER_POLICY_WRAP_AFTER_ONE_PERIOD); |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 413 | bool no_round_down = (*policy & PTIMER_POLICY_NO_COUNTER_ROUND_DOWN); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 414 | |
| 415 | triggered = false; |
| 416 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 417 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 418 | ptimer_set_period(ptimer, 2000000); |
| 419 | ptimer_set_limit(ptimer, 10, 1); |
| 420 | ptimer_run(ptimer, 1); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 421 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 422 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 423 | qemu_clock_step(2000000 * 9 + 1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 424 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 425 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 1 : 0); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 426 | g_assert_false(triggered); |
| 427 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 428 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 429 | ptimer_run(ptimer, 0); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 430 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 431 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 432 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 1 : 0); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 433 | g_assert_false(triggered); |
| 434 | |
| 435 | qemu_clock_step(2000000); |
| 436 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 437 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, |
| 438 | wrap_policy ? 0 : (no_round_down ? 10 : 9)); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 439 | g_assert_true(triggered); |
| 440 | |
| 441 | triggered = false; |
| 442 | |
| 443 | qemu_clock_step(2000000 * 9); |
| 444 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 445 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 446 | ptimer_run(ptimer, 1); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 447 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 448 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 449 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, |
| 450 | (no_round_down ? 1 : 0) + (wrap_policy ? 1 : 0)); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 451 | g_assert_false(triggered); |
| 452 | |
| 453 | qemu_clock_step(2000000 * 3); |
| 454 | |
| 455 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 0); |
| 456 | g_assert_true(triggered); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 457 | ptimer_free(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 458 | } |
| 459 | |
| 460 | static void check_on_the_fly_period_change(gconstpointer arg) |
| 461 | { |
| 462 | const uint8_t *policy = arg; |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 463 | ptimer_state *ptimer = ptimer_init(ptimer_trigger, NULL, *policy); |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 464 | bool no_round_down = (*policy & PTIMER_POLICY_NO_COUNTER_ROUND_DOWN); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 465 | |
| 466 | triggered = false; |
| 467 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 468 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 469 | ptimer_set_period(ptimer, 2000000); |
| 470 | ptimer_set_limit(ptimer, 8, 1); |
| 471 | ptimer_run(ptimer, 1); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 472 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 473 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 474 | qemu_clock_step(2000000 * 4 + 1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 475 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 476 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 4 : 3); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 477 | g_assert_false(triggered); |
| 478 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 479 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 480 | ptimer_set_period(ptimer, 4000000); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 481 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 482 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 4 : 3); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 483 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 484 | qemu_clock_step(4000000 * 2 + 1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 485 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 486 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 2 : 0); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 487 | g_assert_false(triggered); |
| 488 | |
| 489 | qemu_clock_step(4000000 * 2); |
| 490 | |
| 491 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 0); |
| 492 | g_assert_true(triggered); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 493 | ptimer_free(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 494 | } |
| 495 | |
| 496 | static void check_on_the_fly_freq_change(gconstpointer arg) |
| 497 | { |
| 498 | const uint8_t *policy = arg; |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 499 | ptimer_state *ptimer = ptimer_init(ptimer_trigger, NULL, *policy); |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 500 | bool no_round_down = (*policy & PTIMER_POLICY_NO_COUNTER_ROUND_DOWN); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 501 | |
| 502 | triggered = false; |
| 503 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 504 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 505 | ptimer_set_freq(ptimer, 500); |
| 506 | ptimer_set_limit(ptimer, 8, 1); |
| 507 | ptimer_run(ptimer, 1); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 508 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 509 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 510 | qemu_clock_step(2000000 * 4 + 1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 511 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 512 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 4 : 3); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 513 | g_assert_false(triggered); |
| 514 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 515 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 516 | ptimer_set_freq(ptimer, 250); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 517 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 518 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 4 : 3); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 519 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 520 | qemu_clock_step(2000000 * 4 + 1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 521 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 522 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 2 : 0); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 523 | g_assert_false(triggered); |
| 524 | |
| 525 | qemu_clock_step(2000000 * 4); |
| 526 | |
| 527 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 0); |
| 528 | g_assert_true(triggered); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 529 | ptimer_free(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 530 | } |
| 531 | |
| 532 | static void check_run_with_period_0(gconstpointer arg) |
| 533 | { |
| 534 | const uint8_t *policy = arg; |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 535 | ptimer_state *ptimer = ptimer_init(ptimer_trigger, NULL, *policy); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 536 | |
| 537 | triggered = false; |
| 538 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 539 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 540 | ptimer_set_count(ptimer, 99); |
| 541 | ptimer_run(ptimer, 1); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 542 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 543 | |
| 544 | qemu_clock_step(10 * NANOSECONDS_PER_SECOND); |
| 545 | |
| 546 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 99); |
| 547 | g_assert_false(triggered); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 548 | ptimer_free(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 549 | } |
| 550 | |
| 551 | static void check_run_with_delta_0(gconstpointer arg) |
| 552 | { |
| 553 | const uint8_t *policy = arg; |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 554 | ptimer_state *ptimer = ptimer_init(ptimer_trigger, NULL, *policy); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 555 | bool wrap_policy = (*policy & PTIMER_POLICY_WRAP_AFTER_ONE_PERIOD); |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 556 | bool no_immediate_trigger = (*policy & PTIMER_POLICY_NO_IMMEDIATE_TRIGGER); |
Dmitry Osipenko | 56700e1 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 557 | bool no_immediate_reload = (*policy & PTIMER_POLICY_NO_IMMEDIATE_RELOAD); |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 558 | bool no_round_down = (*policy & PTIMER_POLICY_NO_COUNTER_ROUND_DOWN); |
Peter Maydell | 086ede3 | 2018-07-09 14:51:34 +0100 | [diff] [blame] | 559 | bool trig_only_on_dec = (*policy & PTIMER_POLICY_TRIGGER_ONLY_ON_DECREMENT); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 560 | |
| 561 | triggered = false; |
| 562 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 563 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 564 | ptimer_set_period(ptimer, 2000000); |
| 565 | ptimer_set_limit(ptimer, 99, 0); |
| 566 | ptimer_run(ptimer, 1); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 567 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 56700e1 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 568 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, |
| 569 | no_immediate_reload ? 0 : 99); |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 570 | |
Peter Maydell | 086ede3 | 2018-07-09 14:51:34 +0100 | [diff] [blame] | 571 | if (no_immediate_trigger || trig_only_on_dec) { |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 572 | g_assert_false(triggered); |
| 573 | } else { |
| 574 | g_assert_true(triggered); |
| 575 | } |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 576 | |
| 577 | triggered = false; |
| 578 | |
Dmitry Osipenko | 56700e1 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 579 | if (no_immediate_trigger || no_immediate_reload) { |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 580 | qemu_clock_step(2000000 + 1); |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 581 | |
Dmitry Osipenko | 56700e1 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 582 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 583 | no_immediate_reload ? 0 : (no_round_down ? 98 : 97)); |
Dmitry Osipenko | 56700e1 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 584 | |
| 585 | if (no_immediate_trigger && no_immediate_reload) { |
| 586 | g_assert_true(triggered); |
| 587 | |
| 588 | triggered = false; |
| 589 | } else { |
| 590 | g_assert_false(triggered); |
| 591 | } |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 592 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 593 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 594 | ptimer_set_count(ptimer, 99); |
| 595 | ptimer_run(ptimer, 1); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 596 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 597 | } |
| 598 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 599 | qemu_clock_step(2000000 + 1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 600 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 601 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 98 : 97); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 602 | g_assert_false(triggered); |
| 603 | |
| 604 | qemu_clock_step(2000000 * 97); |
| 605 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 606 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 1 : 0); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 607 | g_assert_false(triggered); |
| 608 | |
| 609 | qemu_clock_step(2000000 * 2); |
| 610 | |
| 611 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 0); |
| 612 | g_assert_true(triggered); |
| 613 | |
| 614 | triggered = false; |
| 615 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 616 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 617 | ptimer_set_count(ptimer, 0); |
| 618 | ptimer_run(ptimer, 0); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 619 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 56700e1 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 620 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, |
| 621 | no_immediate_reload ? 0 : 99); |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 622 | |
Peter Maydell | 086ede3 | 2018-07-09 14:51:34 +0100 | [diff] [blame] | 623 | if (no_immediate_trigger || trig_only_on_dec) { |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 624 | g_assert_false(triggered); |
| 625 | } else { |
| 626 | g_assert_true(triggered); |
| 627 | } |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 628 | |
| 629 | triggered = false; |
| 630 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 631 | qemu_clock_step(1); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 632 | |
Dmitry Osipenko | 56700e1 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 633 | if (no_immediate_reload) { |
| 634 | qemu_clock_step(2000000); |
| 635 | } |
| 636 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 637 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 99 : 98); |
Dmitry Osipenko | 56700e1 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 638 | |
| 639 | if (no_immediate_reload && no_immediate_trigger) { |
| 640 | g_assert_true(triggered); |
| 641 | } else { |
| 642 | g_assert_false(triggered); |
| 643 | } |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 644 | |
| 645 | triggered = false; |
| 646 | |
| 647 | qemu_clock_step(2000000); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 648 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 649 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, no_round_down ? 98 : 97); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 650 | g_assert_false(triggered); |
| 651 | |
| 652 | qemu_clock_step(2000000 * 98); |
| 653 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 654 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, |
| 655 | wrap_policy ? 0 : (no_round_down ? 99 : 98)); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 656 | g_assert_true(triggered); |
| 657 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 658 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 659 | ptimer_stop(ptimer); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 660 | ptimer_transaction_commit(ptimer); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 661 | ptimer_free(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 662 | } |
| 663 | |
| 664 | static void check_periodic_with_load_0(gconstpointer arg) |
| 665 | { |
| 666 | const uint8_t *policy = arg; |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 667 | ptimer_state *ptimer = ptimer_init(ptimer_trigger, NULL, *policy); |
Dmitry Osipenko | 2e74583 | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 668 | bool continuous_trigger = (*policy & PTIMER_POLICY_CONTINUOUS_TRIGGER); |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 669 | bool no_immediate_trigger = (*policy & PTIMER_POLICY_NO_IMMEDIATE_TRIGGER); |
Peter Maydell | 086ede3 | 2018-07-09 14:51:34 +0100 | [diff] [blame] | 670 | bool trig_only_on_dec = (*policy & PTIMER_POLICY_TRIGGER_ONLY_ON_DECREMENT); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 671 | |
| 672 | triggered = false; |
| 673 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 674 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 675 | ptimer_set_period(ptimer, 2000000); |
| 676 | ptimer_run(ptimer, 0); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 677 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 678 | |
| 679 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 0); |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 680 | |
Peter Maydell | 086ede3 | 2018-07-09 14:51:34 +0100 | [diff] [blame] | 681 | if (no_immediate_trigger || trig_only_on_dec) { |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 682 | g_assert_false(triggered); |
| 683 | } else { |
| 684 | g_assert_true(triggered); |
| 685 | } |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 686 | |
| 687 | triggered = false; |
| 688 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 689 | qemu_clock_step(2000000 + 1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 690 | |
| 691 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 0); |
Dmitry Osipenko | 2e74583 | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 692 | |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 693 | if (continuous_trigger || no_immediate_trigger) { |
Dmitry Osipenko | 2e74583 | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 694 | g_assert_true(triggered); |
| 695 | } else { |
| 696 | g_assert_false(triggered); |
| 697 | } |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 698 | |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 699 | triggered = false; |
| 700 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 701 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 702 | ptimer_set_count(ptimer, 10); |
| 703 | ptimer_run(ptimer, 0); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 704 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 705 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 706 | qemu_clock_step(2000000 * 10 + 1); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 707 | |
| 708 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 0); |
| 709 | g_assert_true(triggered); |
| 710 | |
| 711 | triggered = false; |
| 712 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 713 | qemu_clock_step(2000000 + 1); |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 714 | |
| 715 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 0); |
Dmitry Osipenko | 2e74583 | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 716 | |
| 717 | if (continuous_trigger) { |
| 718 | g_assert_true(triggered); |
| 719 | } else { |
| 720 | g_assert_false(triggered); |
| 721 | } |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 722 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 723 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 724 | ptimer_stop(ptimer); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 725 | ptimer_transaction_commit(ptimer); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 726 | ptimer_free(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 727 | } |
| 728 | |
| 729 | static void check_oneshot_with_load_0(gconstpointer arg) |
| 730 | { |
| 731 | const uint8_t *policy = arg; |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 732 | ptimer_state *ptimer = ptimer_init(ptimer_trigger, NULL, *policy); |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 733 | bool no_immediate_trigger = (*policy & PTIMER_POLICY_NO_IMMEDIATE_TRIGGER); |
Peter Maydell | 086ede3 | 2018-07-09 14:51:34 +0100 | [diff] [blame] | 734 | bool trig_only_on_dec = (*policy & PTIMER_POLICY_TRIGGER_ONLY_ON_DECREMENT); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 735 | |
| 736 | triggered = false; |
| 737 | |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 738 | ptimer_transaction_begin(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 739 | ptimer_set_period(ptimer, 2000000); |
| 740 | ptimer_run(ptimer, 1); |
Peter Maydell | 91b37ae | 2019-10-08 18:17:22 +0100 | [diff] [blame] | 741 | ptimer_transaction_commit(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 742 | |
| 743 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 0); |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 744 | |
Peter Maydell | 086ede3 | 2018-07-09 14:51:34 +0100 | [diff] [blame] | 745 | if (no_immediate_trigger || trig_only_on_dec) { |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 746 | g_assert_false(triggered); |
| 747 | } else { |
| 748 | g_assert_true(triggered); |
| 749 | } |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 750 | |
| 751 | triggered = false; |
| 752 | |
Dmitry Osipenko | 33d44cd | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 753 | qemu_clock_step(2000000 + 1); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 754 | |
| 755 | g_assert_cmpuint(ptimer_get_count(ptimer), ==, 0); |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 756 | |
| 757 | if (no_immediate_trigger) { |
| 758 | g_assert_true(triggered); |
| 759 | } else { |
| 760 | g_assert_false(triggered); |
| 761 | } |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 762 | |
| 763 | ptimer_free(ptimer); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 764 | } |
| 765 | |
| 766 | static void add_ptimer_tests(uint8_t policy) |
| 767 | { |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 768 | char policy_name[256] = ""; |
| 769 | char *tmp; |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 770 | |
Peter Maydell | 9598c1b | 2022-05-16 11:30:58 +0100 | [diff] [blame] | 771 | if (policy == PTIMER_POLICY_LEGACY) { |
| 772 | g_sprintf(policy_name, "legacy"); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 773 | } |
| 774 | |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 775 | if (policy & PTIMER_POLICY_WRAP_AFTER_ONE_PERIOD) { |
| 776 | g_strlcat(policy_name, "wrap_after_one_period,", 256); |
| 777 | } |
| 778 | |
Dmitry Osipenko | 2e74583 | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 779 | if (policy & PTIMER_POLICY_CONTINUOUS_TRIGGER) { |
| 780 | g_strlcat(policy_name, "continuous_trigger,", 256); |
| 781 | } |
| 782 | |
Dmitry Osipenko | 516deb4 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 783 | if (policy & PTIMER_POLICY_NO_IMMEDIATE_TRIGGER) { |
| 784 | g_strlcat(policy_name, "no_immediate_trigger,", 256); |
| 785 | } |
| 786 | |
Dmitry Osipenko | 56700e1 | 2016-10-24 16:26:52 +0100 | [diff] [blame] | 787 | if (policy & PTIMER_POLICY_NO_IMMEDIATE_RELOAD) { |
| 788 | g_strlcat(policy_name, "no_immediate_reload,", 256); |
| 789 | } |
| 790 | |
Dmitry Osipenko | 057516f | 2016-10-24 16:26:53 +0100 | [diff] [blame] | 791 | if (policy & PTIMER_POLICY_NO_COUNTER_ROUND_DOWN) { |
| 792 | g_strlcat(policy_name, "no_counter_rounddown,", 256); |
| 793 | } |
| 794 | |
Peter Maydell | 086ede3 | 2018-07-09 14:51:34 +0100 | [diff] [blame] | 795 | if (policy & PTIMER_POLICY_TRIGGER_ONLY_ON_DECREMENT) { |
| 796 | g_strlcat(policy_name, "trigger_only_on_decrement,", 256); |
| 797 | } |
| 798 | |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 799 | g_test_add_data_func_full( |
| 800 | tmp = g_strdup_printf("/ptimer/set_count policy=%s", policy_name), |
Philippe Mathieu-Daudé | c4f8ce2 | 2021-09-03 19:45:05 +0200 | [diff] [blame] | 801 | g_memdup2(&policy, 1), check_set_count, g_free); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 802 | g_free(tmp); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 803 | |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 804 | g_test_add_data_func_full( |
| 805 | tmp = g_strdup_printf("/ptimer/set_limit policy=%s", policy_name), |
Philippe Mathieu-Daudé | c4f8ce2 | 2021-09-03 19:45:05 +0200 | [diff] [blame] | 806 | g_memdup2(&policy, 1), check_set_limit, g_free); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 807 | g_free(tmp); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 808 | |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 809 | g_test_add_data_func_full( |
| 810 | tmp = g_strdup_printf("/ptimer/oneshot policy=%s", policy_name), |
Philippe Mathieu-Daudé | c4f8ce2 | 2021-09-03 19:45:05 +0200 | [diff] [blame] | 811 | g_memdup2(&policy, 1), check_oneshot, g_free); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 812 | g_free(tmp); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 813 | |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 814 | g_test_add_data_func_full( |
| 815 | tmp = g_strdup_printf("/ptimer/periodic policy=%s", policy_name), |
Philippe Mathieu-Daudé | c4f8ce2 | 2021-09-03 19:45:05 +0200 | [diff] [blame] | 816 | g_memdup2(&policy, 1), check_periodic, g_free); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 817 | g_free(tmp); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 818 | |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 819 | g_test_add_data_func_full( |
| 820 | tmp = g_strdup_printf("/ptimer/on_the_fly_mode_change policy=%s", |
| 821 | policy_name), |
Philippe Mathieu-Daudé | c4f8ce2 | 2021-09-03 19:45:05 +0200 | [diff] [blame] | 822 | g_memdup2(&policy, 1), check_on_the_fly_mode_change, g_free); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 823 | g_free(tmp); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 824 | |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 825 | g_test_add_data_func_full( |
| 826 | tmp = g_strdup_printf("/ptimer/on_the_fly_period_change policy=%s", |
| 827 | policy_name), |
Philippe Mathieu-Daudé | c4f8ce2 | 2021-09-03 19:45:05 +0200 | [diff] [blame] | 828 | g_memdup2(&policy, 1), check_on_the_fly_period_change, g_free); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 829 | g_free(tmp); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 830 | |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 831 | g_test_add_data_func_full( |
| 832 | tmp = g_strdup_printf("/ptimer/on_the_fly_freq_change policy=%s", |
| 833 | policy_name), |
Philippe Mathieu-Daudé | c4f8ce2 | 2021-09-03 19:45:05 +0200 | [diff] [blame] | 834 | g_memdup2(&policy, 1), check_on_the_fly_freq_change, g_free); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 835 | g_free(tmp); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 836 | |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 837 | g_test_add_data_func_full( |
| 838 | tmp = g_strdup_printf("/ptimer/run_with_period_0 policy=%s", |
| 839 | policy_name), |
Philippe Mathieu-Daudé | c4f8ce2 | 2021-09-03 19:45:05 +0200 | [diff] [blame] | 840 | g_memdup2(&policy, 1), check_run_with_period_0, g_free); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 841 | g_free(tmp); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 842 | |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 843 | g_test_add_data_func_full( |
| 844 | tmp = g_strdup_printf("/ptimer/run_with_delta_0 policy=%s", |
| 845 | policy_name), |
Philippe Mathieu-Daudé | c4f8ce2 | 2021-09-03 19:45:05 +0200 | [diff] [blame] | 846 | g_memdup2(&policy, 1), check_run_with_delta_0, g_free); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 847 | g_free(tmp); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 848 | |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 849 | g_test_add_data_func_full( |
| 850 | tmp = g_strdup_printf("/ptimer/periodic_with_load_0 policy=%s", |
| 851 | policy_name), |
Philippe Mathieu-Daudé | c4f8ce2 | 2021-09-03 19:45:05 +0200 | [diff] [blame] | 852 | g_memdup2(&policy, 1), check_periodic_with_load_0, g_free); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 853 | g_free(tmp); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 854 | |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 855 | g_test_add_data_func_full( |
| 856 | tmp = g_strdup_printf("/ptimer/oneshot_with_load_0 policy=%s", |
| 857 | policy_name), |
Philippe Mathieu-Daudé | c4f8ce2 | 2021-09-03 19:45:05 +0200 | [diff] [blame] | 858 | g_memdup2(&policy, 1), check_oneshot_with_load_0, g_free); |
Marc-André Lureau | 072bdb0 | 2017-01-27 12:55:51 +0400 | [diff] [blame] | 859 | g_free(tmp); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 860 | } |
| 861 | |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 862 | static void add_all_ptimer_policies_comb_tests(void) |
| 863 | { |
Peter Maydell | 086ede3 | 2018-07-09 14:51:34 +0100 | [diff] [blame] | 864 | int last_policy = PTIMER_POLICY_TRIGGER_ONLY_ON_DECREMENT; |
Peter Maydell | 9598c1b | 2022-05-16 11:30:58 +0100 | [diff] [blame] | 865 | int policy = PTIMER_POLICY_LEGACY; |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 866 | |
| 867 | for (; policy < (last_policy << 1); policy++) { |
Peter Maydell | 086ede3 | 2018-07-09 14:51:34 +0100 | [diff] [blame] | 868 | if ((policy & PTIMER_POLICY_TRIGGER_ONLY_ON_DECREMENT) && |
| 869 | (policy & PTIMER_POLICY_NO_IMMEDIATE_TRIGGER)) { |
| 870 | /* Incompatible policy flag settings -- don't try to test them */ |
| 871 | continue; |
| 872 | } |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 873 | add_ptimer_tests(policy); |
| 874 | } |
| 875 | } |
| 876 | |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 877 | int main(int argc, char **argv) |
| 878 | { |
| 879 | int i; |
| 880 | |
| 881 | g_test_init(&argc, &argv, NULL); |
| 882 | |
| 883 | for (i = 0; i < QEMU_CLOCK_MAX; i++) { |
| 884 | main_loop_tlg.tl[i] = g_new0(QEMUTimerList, 1); |
| 885 | } |
| 886 | |
Dmitry Osipenko | 293130a | 2016-10-24 16:26:51 +0100 | [diff] [blame] | 887 | add_all_ptimer_policies_comb_tests(); |
Dmitry Osipenko | 5b262bb | 2016-09-22 18:13:07 +0100 | [diff] [blame] | 888 | |
| 889 | qtest_allowed = true; |
| 890 | |
| 891 | return g_test_run(); |
| 892 | } |