| /* |
| * Copyright 2016, NICTA |
| * |
| * This software may be distributed and modified according to the terms of |
| * the GNU General Public License version 2. Note that NO WARRANTY is provided. |
| * See "LICENSE_GPLv2.txt" for details. |
| * |
| * @TAG(NICTA_GPL) |
| */ |
| |
| #include "fun2.h" |
| |
| static inline t1 foo(u16 a1) |
| { |
| u16 r2 = a1; |
| u32 r3 = (u32) r2; |
| u32 r4 = (u32) r2; |
| t1 r5 = (t1) {.p1 = r3, .p2 = r4}; |
| |
| return r5; |
| } |
| static inline unit_t bar(unit_t a1) |
| { |
| unit_t r2 = a1; |
| u8 r3 = 32U; |
| u16 r4 = (u16) r3; |
| t1 r5 = foo(r4); |
| u32 r6 = r5.p1; |
| u32 r7 = r5.p2; |
| unit_t r8 = (unit_t) {.dummy = 0}; |
| |
| return r8; |
| } |
| |
| |
