1 /* { dg-do compile } */
2 /* { dg-options "-O2 -mtune=generic" } */
3 /* { dg-final { scan-assembler "adc" } } */
4 /* { dg-final { scan-assembler-not "jmp" } } */
6 typedef unsigned long u64
;
12 static inline u128
add_u128 (u128 a
, u128 b
)
22 extern u128 t1
, t2
, t3
;
26 t1
= add_u128 (t1
, t2
);
27 t1
= add_u128 (t1
, t3
);