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_simple-tuple.h" 12 13t3 dispatch_t6(t6 a7, u32 a8) 14{ 15 return foo(a8); 16} 17t3 foo(u32 a1) 18{ 19 u32 r2 = a1; 20 t3 r4 = {.p1 =r2, .p2 =r2}; 21 t3 r5 = r4; 22 23 return r5; 24} 25 26 27