URL
https://opencores.org/ocsvn/openrisc/openrisc/trunk
Subversion Repositories openrisc
[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc2/] [gcc/] [testsuite/] [gcc.dg/] [builtin-choose-expr.c] - Rev 384
Compare with Previous | Blame | View Log
/* { dg-do run } */ /* { dg-options "-O1 -Wall" } */ #define choose __builtin_choose_expr /* Check the type of __builtin_choose_expr between E1 and E2, both ways round and with both 0 and 1 as the condition. */ #define ASSERT_COND_TYPE(E1, E2) \ do { \ typedef __typeof(E1) T1; \ typedef __typeof(E2) T2; \ typedef T1 **T1pp; \ typedef T2 **T2pp; \ typedef __typeof(choose (1, (E1), (E2))) T1a; \ typedef __typeof(choose (0, (E2), (E1))) T1b; \ typedef __typeof(choose (1, (E2), (E1))) T2a; \ typedef __typeof(choose (0, (E1), (E2))) T2b; \ typedef T1a **T1app; \ typedef T1b **T1bpp; \ typedef T2a **T2app; \ typedef T2b **T2bpp; \ T1pp t1 = 0; \ T2pp t2 = 0; \ T1app t1a = 0; \ T1bpp t1b = 0; \ T2app t2a = 0; \ T2bpp t2b = 0; \ t1 = t1a; \ t1 = t1b; \ t2 = t2a; \ t2 = t2b; \ } while (0) extern void abort (); extern void exit (); void bad () { abort (); } void good () { exit (0); } int main (void) { signed char sc1, sc2; void *v1; int i, j; double dd; float f; typedef void (*fpt)(void); fpt triple; struct S { int x, y; } pour, some, sugar; union u { int p; } united, nations; if (__builtin_choose_expr (0, 12, 0) || !__builtin_choose_expr (45, 5, 0) || !__builtin_choose_expr (45, 3, 0)) abort (); ASSERT_COND_TYPE (sc1, sc2); ASSERT_COND_TYPE (v1, sc1); ASSERT_COND_TYPE (i, j); ASSERT_COND_TYPE (dd, main); ASSERT_COND_TYPE ((float)dd, i); ASSERT_COND_TYPE (4, f); ASSERT_COND_TYPE (triple, some); ASSERT_COND_TYPE (united, nations); ASSERT_COND_TYPE (nations, main); pour.y = 69; __builtin_choose_expr (0, bad (), sugar) = pour; if (sugar.y != 69) abort (); __builtin_choose_expr (sizeof (int), f, bad ()) = 3.5F; if (f != 3.5F) abort (); __builtin_choose_expr (1, good, bad)(); exit (0); }