Add some tests for __builtin_sel

Author: xavierleroy

regression/Results/builtins-common

@@ -391,3 +391,9 @@ fabsf(7.250000) = 7.250000
 fabsf(-7.250000) = 7.250000
 fsqrt(3.141590) = 1.772453
 sqrt(3.141590) = 1.772453
+sel(0, 12345678, deadbeef) = deadbeef
+sel(!0, 12345678, deadbeef) = 12345678
+sel(0, 123456789abcdef0, deadbeef) = deadbeef
+sel(!0, 123456789abcdef0, deadbeef) = 123456789abcdef0
+sel(0, 3.141590, 2.718000) = 2.718000
+sel(!0, 3.141590, 2.718000) = 3.141590

regression/builtins-common.c

@@ -47,6 +47,13 @@ int main(int argc, char ** argv)
   printf("fsqrt(%f) = %f\n", a, __builtin_fsqrt(a));
   printf("sqrt(%f) = %f\n", a, __builtin_sqrt(a));
 
+  printf("sel(0, %x, %x) = %x\n", x, y, __builtin_sel(x - x, x, y));
+  printf("sel(!0, %x, %x) = %x\n", x, y, __builtin_sel(x - y, x, y));
+  printf("sel(0, %llx, %x) = %llx\n", xx, y, __builtin_sel(x - x, xx, y));
+  printf("sel(!0, %llx, %x) = %llx\n", xx, y, __builtin_sel(x - y, xx, y));
+  printf("sel(0, %f, %f) = %f\n", a, b, __builtin_sel(x - x, a, b));
+  printf("sel(!0, %f, %f) = %f\n", a, b, __builtin_sel(x - y, a, b));
+
   /* Make sure that ignoring the result of a builtin
      doesn't cause an internal error */
   (void) __builtin_bswap(x);