1/*
2 * Copyright 2016, NICTA
3 *
4 * This software may be distributed and modified according to the terms of
5 * the GNU General Public License version 2. Note that NO WARRANTY is provided.
6 * See "LICENSE_GPLv2.txt" for details.
7 *
8 * @TAG(NICTA_GPL)
9 */
10
11#include "pass_very-simple-split.h"
12
13static inline u32 foo(t1 a1)
14{
15    u32 r2 = a1.p1;
16    u16 r3 = a1.p2;
17    u32 r4 = r2;
18
19    return r4;
20}
21
22
23