1 // REQUIRES: unsupported
2 // RUN: %cc% %ccflags% %ccout% %T/%basename_t.o %s; llvm-objdump --mcpu=%mcpu% -d %T/%basename_t.o | FileCheck --allow-unused-prefixes --check-prefixes %prefixes% %s
3 
4 #include <stdint.h>
5 
6 typedef uint32_t IRQn_Type;
7 uint32_t SysTick_IRQn;
8 
9 #include CORE_HEADER
10 
systick_type_ctrl()11 void systick_type_ctrl() {
12     // CHECK-LABEL: <systick_type_ctrl>:
13     // CHECK: mov.w [[REG:r[0-9]+]], #0xe000e000
14     // CHECK: ldr {{r[0-9]+}}, [[[REG]], #0x10]
15     uint32_t ctrl = SysTick->CTRL;
16     // CHECK: {{(bx lr)|(pop {.*pc})}}
17 }
18