xref: /openbmc/qemu/tests/qtest/microbit-test.c (revision 2e1cacfb)
1 /*
2  * QTest testcase for Microbit board using the Nordic Semiconductor nRF51 SoC.
3  *
4  * nRF51:
5  * Reference Manual: http://infocenter.nordicsemi.com/pdf/nRF51_RM_v3.0.pdf
6  * Product Spec: http://infocenter.nordicsemi.com/pdf/nRF51822_PS_v3.1.pdf
7  *
8  * Microbit Board: http://microbit.org/
9  *
10  * Copyright 2018 Steffen Görtz <contrib@steffen-goertz.de>
11  *
12  * This code is licensed under the GPL version 2 or later.  See
13  * the COPYING file in the top-level directory.
14  */
15 
16 
17 #include "qemu/osdep.h"
18 #include "exec/hwaddr.h"
19 #include "libqtest.h"
20 
21 #include "hw/arm/nrf51.h"
22 #include "hw/char/nrf51_uart.h"
23 #include "hw/gpio/nrf51_gpio.h"
24 #include "hw/nvram/nrf51_nvm.h"
25 #include "hw/timer/nrf51_timer.h"
26 #include "hw/i2c/microbit_i2c.h"
27 
28 static bool uart_wait_for_event(QTestState *qts, uint32_t event_addr)
29 {
30     time_t now, start = time(NULL);
31 
32     while (true) {
33         if (qtest_readl(qts, event_addr) == 1) {
34             qtest_writel(qts, event_addr, 0x00);
35             return true;
36         }
37 
38         /* Wait at most 10 minutes */
39         now = time(NULL);
40         if (now - start > 600) {
41             break;
42         }
43         g_usleep(10000);
44     }
45 
46     return false;
47 }
48 
49 static void uart_rw_to_rxd(QTestState *qts, int sock_fd, const char *in,
50                            char *out)
51 {
52     int i, in_len = strlen(in);
53 
54     g_assert_true(send(sock_fd, in, in_len, 0) == in_len);
55     for (i = 0; i < in_len; i++) {
56         g_assert_true(uart_wait_for_event(qts, NRF51_UART_BASE +
57                                                A_UART_RXDRDY));
58         out[i] = qtest_readl(qts, NRF51_UART_BASE + A_UART_RXD);
59     }
60     out[i] = '\0';
61 }
62 
63 static void uart_w_to_txd(QTestState *qts, const char *in)
64 {
65     int i, in_len = strlen(in);
66 
67     for (i = 0; i < in_len; i++) {
68         qtest_writel(qts, NRF51_UART_BASE + A_UART_TXD, in[i]);
69         g_assert_true(uart_wait_for_event(qts, NRF51_UART_BASE +
70                                                A_UART_TXDRDY));
71     }
72 }
73 
74 static void test_nrf51_uart(void)
75 {
76     int sock_fd;
77     char s[10];
78     QTestState *qts = qtest_init_with_serial("-M microbit", &sock_fd);
79 
80     g_assert_true(send(sock_fd, "c", 1, 0) == 1);
81     g_assert_cmphex(qtest_readl(qts, NRF51_UART_BASE + A_UART_RXD), ==, 0x00);
82 
83     qtest_writel(qts, NRF51_UART_BASE + A_UART_ENABLE, 0x04);
84     qtest_writel(qts, NRF51_UART_BASE + A_UART_STARTRX, 0x01);
85 
86     g_assert_true(uart_wait_for_event(qts, NRF51_UART_BASE + A_UART_RXDRDY));
87     qtest_writel(qts, NRF51_UART_BASE + A_UART_RXDRDY, 0x00);
88     g_assert_cmphex(qtest_readl(qts, NRF51_UART_BASE + A_UART_RXD), ==, 'c');
89 
90     qtest_writel(qts, NRF51_UART_BASE + A_UART_INTENSET, 0x04);
91     g_assert_cmphex(qtest_readl(qts, NRF51_UART_BASE + A_UART_INTEN), ==, 0x04);
92     qtest_writel(qts, NRF51_UART_BASE + A_UART_INTENCLR, 0x04);
93     g_assert_cmphex(qtest_readl(qts, NRF51_UART_BASE + A_UART_INTEN), ==, 0x00);
94 
95     uart_rw_to_rxd(qts, sock_fd, "hello", s);
96     g_assert_true(memcmp(s, "hello", 5) == 0);
97 
98     qtest_writel(qts, NRF51_UART_BASE + A_UART_STARTTX, 0x01);
99     uart_w_to_txd(qts, "d");
100     g_assert_true(recv(sock_fd, s, 10, 0) == 1);
101     g_assert_cmphex(s[0], ==, 'd');
102 
103     qtest_writel(qts, NRF51_UART_BASE + A_UART_SUSPEND, 0x01);
104     qtest_writel(qts, NRF51_UART_BASE + A_UART_TXD, 'h');
105     qtest_writel(qts, NRF51_UART_BASE + A_UART_STARTTX, 0x01);
106     uart_w_to_txd(qts, "world");
107     g_assert_true(recv(sock_fd, s, 10, 0) == 5);
108     g_assert_true(memcmp(s, "world", 5) == 0);
109 
110     close(sock_fd);
111 
112     qtest_quit(qts);
113 }
114 
115 /* Read a byte from I2C device at @addr from register @reg */
116 static uint32_t i2c_read_byte(QTestState *qts, uint32_t addr, uint32_t reg)
117 {
118     uint32_t val;
119 
120     qtest_writel(qts, NRF51_TWI_BASE + NRF51_TWI_REG_ADDRESS, addr);
121     qtest_writel(qts, NRF51_TWI_BASE + NRF51_TWI_TASK_STARTTX, 1);
122     qtest_writel(qts, NRF51_TWI_BASE + NRF51_TWI_REG_TXD, reg);
123     val = qtest_readl(qts, NRF51_TWI_BASE + NRF51_TWI_EVENT_TXDSENT);
124     g_assert_cmpuint(val, ==, 1);
125     qtest_writel(qts, NRF51_TWI_BASE + NRF51_TWI_TASK_STOP, 1);
126 
127     qtest_writel(qts, NRF51_TWI_BASE + NRF51_TWI_TASK_STARTRX, 1);
128     val = qtest_readl(qts, NRF51_TWI_BASE + NRF51_TWI_EVENT_RXDREADY);
129     g_assert_cmpuint(val, ==, 1);
130     val = qtest_readl(qts, NRF51_TWI_BASE + NRF51_TWI_REG_RXD);
131     qtest_writel(qts, NRF51_TWI_BASE + NRF51_TWI_TASK_STOP, 1);
132 
133     return val;
134 }
135 
136 static void test_microbit_i2c(void)
137 {
138     uint32_t val;
139     QTestState *qts = qtest_init("-M microbit");
140 
141     /* We don't program pins/irqs but at least enable the device */
142     qtest_writel(qts, NRF51_TWI_BASE + NRF51_TWI_REG_ENABLE, 5);
143 
144     /* MMA8653 magnetometer detection */
145     val = i2c_read_byte(qts, 0x3A, 0x0D);
146     g_assert_cmphex(val, ==, 0x5A);
147 
148     val = i2c_read_byte(qts, 0x3A, 0x0D);
149     g_assert_cmphex(val, ==, 0x5A);
150 
151     /* LSM303 accelerometer detection */
152     val = i2c_read_byte(qts, 0x3C, 0x4F);
153     g_assert_cmphex(val, ==, 0x40);
154 
155     qtest_writel(qts, NRF51_TWI_BASE + NRF51_TWI_REG_ENABLE, 0);
156 
157     qtest_quit(qts);
158 }
159 
160 #define FLASH_SIZE          (256 * NRF51_PAGE_SIZE)
161 
162 static void fill_and_erase(QTestState *qts, hwaddr base, hwaddr size,
163                            uint32_t address_reg)
164 {
165     hwaddr i;
166 
167     /* Erase Page */
168     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG, 0x02);
169     qtest_writel(qts, NRF51_NVMC_BASE + address_reg, base);
170     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG, 0x00);
171 
172     /* Check memory */
173     for (i = 0; i < size / 4; i++) {
174         g_assert_cmphex(qtest_readl(qts, base + i * 4), ==, 0xFFFFFFFF);
175     }
176 
177     /* Fill memory */
178     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG, 0x01);
179     for (i = 0; i < size / 4; i++) {
180         qtest_writel(qts, base + i * 4, i);
181         g_assert_cmpuint(qtest_readl(qts, base + i * 4), ==, i);
182     }
183     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG, 0x00);
184 }
185 
186 static void test_nrf51_nvmc(void)
187 {
188     uint32_t value;
189     hwaddr i;
190     QTestState *qts = qtest_init("-M microbit");
191 
192     /* Test always ready */
193     value = qtest_readl(qts, NRF51_NVMC_BASE + NRF51_NVMC_READY);
194     g_assert_cmphex(value & 0x01, ==, 0x01);
195 
196     /* Test write-read config register */
197     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG, 0x03);
198     g_assert_cmpuint(qtest_readl(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG),
199                      ==, 0x03);
200     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG, 0x00);
201     g_assert_cmpuint(qtest_readl(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG),
202                      ==, 0x00);
203 
204     /* Test PCR0 */
205     fill_and_erase(qts, NRF51_FLASH_BASE, NRF51_PAGE_SIZE,
206                    NRF51_NVMC_ERASEPCR0);
207     fill_and_erase(qts, NRF51_FLASH_BASE + NRF51_PAGE_SIZE,
208                    NRF51_PAGE_SIZE, NRF51_NVMC_ERASEPCR0);
209 
210     /* Test PCR1 */
211     fill_and_erase(qts, NRF51_FLASH_BASE, NRF51_PAGE_SIZE,
212                    NRF51_NVMC_ERASEPCR1);
213     fill_and_erase(qts, NRF51_FLASH_BASE + NRF51_PAGE_SIZE,
214                    NRF51_PAGE_SIZE, NRF51_NVMC_ERASEPCR1);
215 
216     /* Erase all */
217     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG, 0x02);
218     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_ERASEALL, 0x01);
219     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG, 0x00);
220 
221     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG, 0x01);
222     for (i = 0; i < FLASH_SIZE / 4; i++) {
223         qtest_writel(qts, NRF51_FLASH_BASE + i * 4, i);
224         g_assert_cmpuint(qtest_readl(qts, NRF51_FLASH_BASE + i * 4), ==, i);
225     }
226     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG, 0x00);
227 
228     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG, 0x02);
229     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_ERASEALL, 0x01);
230     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG, 0x00);
231 
232     for (i = 0; i < FLASH_SIZE / 4; i++) {
233         g_assert_cmpuint(qtest_readl(qts, NRF51_FLASH_BASE + i * 4),
234                          ==, 0xFFFFFFFF);
235     }
236 
237     /* Erase UICR */
238     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG, 0x02);
239     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_ERASEUICR, 0x01);
240     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG, 0x00);
241 
242     for (i = 0; i < NRF51_UICR_SIZE / 4; i++) {
243         g_assert_cmpuint(qtest_readl(qts, NRF51_UICR_BASE + i * 4),
244                          ==, 0xFFFFFFFF);
245     }
246 
247     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG, 0x01);
248     for (i = 0; i < NRF51_UICR_SIZE / 4; i++) {
249         qtest_writel(qts, NRF51_UICR_BASE + i * 4, i);
250         g_assert_cmpuint(qtest_readl(qts, NRF51_UICR_BASE + i * 4), ==, i);
251     }
252     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG, 0x00);
253 
254     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG, 0x02);
255     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_ERASEUICR, 0x01);
256     qtest_writel(qts, NRF51_NVMC_BASE + NRF51_NVMC_CONFIG, 0x00);
257 
258     for (i = 0; i < NRF51_UICR_SIZE / 4; i++) {
259         g_assert_cmpuint(qtest_readl(qts, NRF51_UICR_BASE + i * 4),
260                          ==, 0xFFFFFFFF);
261     }
262 
263     qtest_quit(qts);
264 }
265 
266 static void test_nrf51_gpio(void)
267 {
268     size_t i;
269     uint32_t actual, expected;
270 
271     struct {
272         hwaddr addr;
273         uint32_t expected;
274     } const reset_state[] = {
275         {NRF51_GPIO_REG_OUT, 0x00000000}, {NRF51_GPIO_REG_OUTSET, 0x00000000},
276         {NRF51_GPIO_REG_OUTCLR, 0x00000000}, {NRF51_GPIO_REG_IN, 0x00000000},
277         {NRF51_GPIO_REG_DIR, 0x00000000}, {NRF51_GPIO_REG_DIRSET, 0x00000000},
278         {NRF51_GPIO_REG_DIRCLR, 0x00000000}
279     };
280 
281     QTestState *qts = qtest_init("-M microbit");
282 
283     /* Check reset state */
284     for (i = 0; i < ARRAY_SIZE(reset_state); i++) {
285         expected = reset_state[i].expected;
286         actual = qtest_readl(qts, NRF51_GPIO_BASE + reset_state[i].addr);
287         g_assert_cmpuint(actual, ==, expected);
288     }
289 
290     for (i = 0; i < NRF51_GPIO_PINS; i++) {
291         expected = 0x00000002;
292         actual = qtest_readl(qts, NRF51_GPIO_BASE +
293                                   NRF51_GPIO_REG_CNF_START + i * 4);
294         g_assert_cmpuint(actual, ==, expected);
295     }
296 
297     /* Check dir bit consistency between dir and cnf */
298     /* Check set via DIRSET */
299     expected = 0x80000001;
300     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_DIRSET, expected);
301     actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_DIR);
302     g_assert_cmpuint(actual, ==, expected);
303     actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_CNF_START)
304              & 0x01;
305     g_assert_cmphex(actual, ==, 0x01);
306     actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_CNF_END) & 0x01;
307     g_assert_cmphex(actual, ==, 0x01);
308 
309     /* Check clear via DIRCLR */
310     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_DIRCLR, 0x80000001);
311     actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_DIR);
312     g_assert_cmphex(actual, ==, 0x00000000);
313     actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_CNF_START)
314              & 0x01;
315     g_assert_cmphex(actual, ==, 0x00);
316     actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_CNF_END) & 0x01;
317     g_assert_cmphex(actual, ==, 0x00);
318 
319     /* Check set via DIR */
320     expected = 0x80000001;
321     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_DIR, expected);
322     actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_DIR);
323     g_assert_cmpuint(actual, ==, expected);
324     actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_CNF_START)
325              & 0x01;
326     g_assert_cmphex(actual, ==, 0x01);
327     actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_CNF_END) & 0x01;
328     g_assert_cmphex(actual, ==, 0x01);
329 
330     /* Reset DIR */
331     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_DIR, 0x00000000);
332 
333     /* Check Input propagates */
334     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_CNF_START, 0x00);
335     qtest_set_irq_in(qts, "/machine/nrf51", "unnamed-gpio-in", 0, 0);
336     actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_IN) & 0x01;
337     g_assert_cmphex(actual, ==, 0x00);
338     qtest_set_irq_in(qts, "/machine/nrf51", "unnamed-gpio-in", 0, 1);
339     actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_IN) & 0x01;
340     g_assert_cmphex(actual, ==, 0x01);
341     qtest_set_irq_in(qts, "/machine/nrf51", "unnamed-gpio-in", 0, -1);
342     actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_IN) & 0x01;
343     g_assert_cmphex(actual, ==, 0x01);
344     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_CNF_START, 0x02);
345 
346     /* Check pull-up working */
347     qtest_set_irq_in(qts, "/machine/nrf51", "unnamed-gpio-in", 0, 0);
348     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_CNF_START, 0b0000);
349     actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_IN) & 0x01;
350     g_assert_cmphex(actual, ==, 0x00);
351     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_CNF_START, 0b1110);
352     actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_IN) & 0x01;
353     g_assert_cmphex(actual, ==, 0x01);
354     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_CNF_START, 0x02);
355 
356     /* Check pull-down working */
357     qtest_set_irq_in(qts, "/machine/nrf51", "unnamed-gpio-in", 0, 1);
358     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_CNF_START, 0b0000);
359     actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_IN) & 0x01;
360     g_assert_cmphex(actual, ==, 0x01);
361     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_CNF_START, 0b0110);
362     actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_IN) & 0x01;
363     g_assert_cmphex(actual, ==, 0x00);
364     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_CNF_START, 0x02);
365     qtest_set_irq_in(qts, "/machine/nrf51", "unnamed-gpio-in", 0, -1);
366 
367     /* Check Output propagates */
368     qtest_irq_intercept_out(qts, "/machine/nrf51");
369     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_CNF_START, 0b0011);
370     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_OUTSET, 0x01);
371     g_assert_true(qtest_get_irq(qts, 0));
372     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_OUTCLR, 0x01);
373     g_assert_false(qtest_get_irq(qts, 0));
374 
375     /* Check self-stimulation */
376     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_CNF_START, 0b01);
377     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_OUTSET, 0x01);
378     actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_IN) & 0x01;
379     g_assert_cmphex(actual, ==, 0x01);
380 
381     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_OUTCLR, 0x01);
382     actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_IN) & 0x01;
383     g_assert_cmphex(actual, ==, 0x00);
384 
385     /*
386      * Check short-circuit - generates an guest_error which must be checked
387      * manually as long as qtest can not scan qemu_log messages
388      */
389     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_CNF_START, 0b01);
390     qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_OUTSET, 0x01);
391     qtest_set_irq_in(qts, "/machine/nrf51", "unnamed-gpio-in", 0, 0);
392 
393     qtest_quit(qts);
394 }
395 
396 static void test_nrf51_gpio_detect(void)
397 {
398     QTestState *qts = qtest_init("-M microbit");
399     int i;
400 
401     /* Connect input buffer on pins 1-7, configure SENSE for high level */
402     for (i = 1; i <= 7; i++) {
403         qtest_writel(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_CNF_START + i * 4,
404                      deposit32(0, 16, 2, 2));
405     }
406 
407     qtest_irq_intercept_out_named(qts, "/machine/nrf51/gpio", "detect");
408 
409     for (i = 1; i <= 7; i++) {
410         /* Set pin high */
411         qtest_set_irq_in(qts, "/machine/nrf51", "unnamed-gpio-in", i, 1);
412         uint32_t actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_IN);
413         g_assert_cmphex(actual, ==, 1 << i);
414 
415         /* Check that DETECT is high */
416         g_assert_true(qtest_get_irq(qts, 0));
417 
418         /* Set pin low, check that DETECT goes low. */
419         qtest_set_irq_in(qts, "/machine/nrf51", "unnamed-gpio-in", i, 0);
420         actual = qtest_readl(qts, NRF51_GPIO_BASE + NRF51_GPIO_REG_IN);
421         g_assert_cmphex(actual, ==, 0x0);
422         g_assert_false(qtest_get_irq(qts, 0));
423     }
424 
425     /* Set pin 0 high, check that DETECT doesn't fire */
426     qtest_set_irq_in(qts, "/machine/nrf51", "unnamed-gpio-in", 0, 1);
427     g_assert_false(qtest_get_irq(qts, 0));
428     qtest_set_irq_in(qts, "/machine/nrf51", "unnamed-gpio-in", 0, 0);
429 
430     /* Set pins 1, 2, and 3 high, then set 3 low. Check DETECT is still high */
431     for (i = 1; i <= 3; i++) {
432         qtest_set_irq_in(qts, "/machine/nrf51", "unnamed-gpio-in", i, 1);
433     }
434     g_assert_true(qtest_get_irq(qts, 0));
435     qtest_set_irq_in(qts, "/machine/nrf51", "unnamed-gpio-in", 3, 0);
436     g_assert_true(qtest_get_irq(qts, 0));
437 
438     qtest_quit(qts);
439 }
440 
441 static void timer_task(QTestState *qts, hwaddr task)
442 {
443     qtest_writel(qts, NRF51_TIMER_BASE + task, NRF51_TRIGGER_TASK);
444 }
445 
446 static void timer_clear_event(QTestState *qts, hwaddr event)
447 {
448     qtest_writel(qts, NRF51_TIMER_BASE + event, NRF51_EVENT_CLEAR);
449 }
450 
451 static void timer_set_bitmode(QTestState *qts, uint8_t mode)
452 {
453     qtest_writel(qts, NRF51_TIMER_BASE + NRF51_TIMER_REG_BITMODE, mode);
454 }
455 
456 static void timer_set_prescaler(QTestState *qts, uint8_t prescaler)
457 {
458     qtest_writel(qts, NRF51_TIMER_BASE + NRF51_TIMER_REG_PRESCALER, prescaler);
459 }
460 
461 static void timer_set_cc(QTestState *qts, size_t idx, uint32_t value)
462 {
463     qtest_writel(qts, NRF51_TIMER_BASE + NRF51_TIMER_REG_CC0 + idx * 4, value);
464 }
465 
466 static void timer_assert_events(QTestState *qts, uint32_t ev0, uint32_t ev1,
467                                 uint32_t ev2, uint32_t ev3)
468 {
469     g_assert(qtest_readl(qts, NRF51_TIMER_BASE + NRF51_TIMER_EVENT_COMPARE_0)
470              == ev0);
471     g_assert(qtest_readl(qts, NRF51_TIMER_BASE + NRF51_TIMER_EVENT_COMPARE_1)
472              == ev1);
473     g_assert(qtest_readl(qts, NRF51_TIMER_BASE + NRF51_TIMER_EVENT_COMPARE_2)
474              == ev2);
475     g_assert(qtest_readl(qts, NRF51_TIMER_BASE + NRF51_TIMER_EVENT_COMPARE_3)
476              == ev3);
477 }
478 
479 static void test_nrf51_timer(void)
480 {
481     uint32_t steps_to_overflow = 408;
482     QTestState *qts = qtest_init("-M microbit");
483 
484     /* Compare Match */
485     timer_task(qts, NRF51_TIMER_TASK_STOP);
486     timer_task(qts, NRF51_TIMER_TASK_CLEAR);
487 
488     timer_clear_event(qts, NRF51_TIMER_EVENT_COMPARE_0);
489     timer_clear_event(qts, NRF51_TIMER_EVENT_COMPARE_1);
490     timer_clear_event(qts, NRF51_TIMER_EVENT_COMPARE_2);
491     timer_clear_event(qts, NRF51_TIMER_EVENT_COMPARE_3);
492 
493     timer_set_bitmode(qts, NRF51_TIMER_WIDTH_16); /* 16 MHz Timer */
494     timer_set_prescaler(qts, 0);
495     /* Swept over, during the first step */
496     timer_set_cc(qts, 0, 2);
497     /* Barely miss, after the second step */
498     timer_set_cc(qts, 1, 162);
499     /* Spot on, after the third step */
500     timer_set_cc(qts, 2, 480);
501 
502     timer_assert_events(qts, 0, 0, 0, 0);
503 
504     timer_task(qts, NRF51_TIMER_TASK_START);
505     qtest_clock_step(qts, 10000);
506     timer_assert_events(qts, 1, 0, 0, 0);
507 
508     /* Swept over on first overflow */
509     timer_set_cc(qts, 3, 114);
510 
511     qtest_clock_step(qts, 10000);
512     timer_assert_events(qts, 1, 1, 0, 0);
513 
514     qtest_clock_step(qts, 10000);
515     timer_assert_events(qts, 1, 1, 1, 0);
516 
517     /* Wrap time until internal counter overflows */
518     while (steps_to_overflow--) {
519         timer_assert_events(qts, 1, 1, 1, 0);
520         qtest_clock_step(qts, 10000);
521     }
522 
523     timer_assert_events(qts, 1, 1, 1, 1);
524 
525     timer_clear_event(qts, NRF51_TIMER_EVENT_COMPARE_0);
526     timer_clear_event(qts, NRF51_TIMER_EVENT_COMPARE_1);
527     timer_clear_event(qts, NRF51_TIMER_EVENT_COMPARE_2);
528     timer_clear_event(qts, NRF51_TIMER_EVENT_COMPARE_3);
529     timer_assert_events(qts, 0, 0, 0, 0);
530 
531     timer_task(qts, NRF51_TIMER_TASK_STOP);
532 
533     /* Test Proposal: Stop/Shutdown */
534     /* Test Proposal: Shortcut Compare -> Clear */
535     /* Test Proposal: Shortcut Compare -> Stop */
536     /* Test Proposal: Counter Mode */
537 
538     qtest_quit(qts);
539 }
540 
541 int main(int argc, char **argv)
542 {
543     g_test_init(&argc, &argv, NULL);
544 
545     qtest_add_func("/microbit/nrf51/uart", test_nrf51_uart);
546     qtest_add_func("/microbit/nrf51/gpio", test_nrf51_gpio);
547     qtest_add_func("/microbit/nrf51/gpio_detect", test_nrf51_gpio_detect);
548     qtest_add_func("/microbit/nrf51/nvmc", test_nrf51_nvmc);
549     qtest_add_func("/microbit/nrf51/timer", test_nrf51_timer);
550     qtest_add_func("/microbit/microbit/i2c", test_microbit_i2c);
551 
552     return g_test_run();
553 }
554