do __builtin_convertvector

Author: Daniel Kroening

src/ansi-c/c_typecheck_expr.cpp

@@ -294,6 +294,10 @@ void c_typecheck_baset::typecheck_expr_main(exprt &expr)
     expr.make_bool(gcc_types_compatible_p(subtypes[0], subtypes[1]));
     expr.add_source_location()=source_location;
   }
+  else if(expr.id()==ID_clang_builtin_convertvector)
+  {
+    typecheck_type(expr.type());
+  }
   else if(expr.id()==ID_builtin_offsetof)
     typecheck_expr_builtin_offsetof(expr);
   else if(expr.id()==ID_string_constant)

src/ansi-c/parser.y

@@ -146,6 +146,7 @@ extern char *yyansi_ctext;
 %token TOK_CW_VAR_ARG_TYPEOF "_var_arg_typeof"
 %token TOK_BUILTIN_VA_ARG "__builtin_va_arg"
 %token TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P "__builtin_types_compatible_p"
+%token TOK_CLANG_BUILTIN_CONVERTVECTOR "__builtin_convertvector"
 %token TOK_OFFSETOF    "__offsetof"
 %token TOK_ALIGNOF     "__alignof__"
 %token TOK_MSC_TRY     "__try"
@@ -305,6 +306,7 @@ primary_expression:
         { $$ = $2; }
         | statement_expression
         | gcc_builtin_expressions
+        | clang_builtin_expressions
         | cw_builtin_expressions
         | offsetof
         | quantifier_expression
@@ -370,6 +372,16 @@ gcc_builtin_expressions:
         }
         ;
 
+clang_builtin_expressions:
+          TOK_CLANG_BUILTIN_CONVERTVECTOR '(' assignment_expression ',' type_name ')'
+        {
+          $$=$1;
+          stack($$).id(ID_clang_builtin_convertvector);
+          mto($$, $3);
+          stack($$).type().swap(stack($5));
+        }
+        ;
+
 cw_builtin_expressions:
           TOK_CW_VAR_ARG_TYPEOF '(' type_name ')'
         {

src/ansi-c/scanner.l

@@ -589,6 +589,14 @@ void ansi_c_scanner_init()
                     return make_identifier();
                 }
 
+"__builtin_convertvector" {
+                  if(PARSER.mode==configt::ansi_ct::flavourt::GCC ||
+                     PARSER.mode==configt::ansi_ct::flavourt::APPLE)
+                    { loc(); return TOK_CLANG_BUILTIN_CONVERTVECTOR; }
+                  else
+                    return make_identifier();
+                }
+
 "__alignof__"   { if(PARSER.mode==configt::ansi_ct::flavourt::GCC ||
                      PARSER.mode==configt::ansi_ct::flavourt::APPLE ||
                      PARSER.mode==configt::ansi_ct::flavourt::ARM)

src/util/irep_ids.def

@@ -335,6 +335,7 @@ IREP_ID_ONE(continuous_assign)
 IREP_ID_ONE(blocking_assign)
 IREP_ID_ONE(non_blocking_assign)
 IREP_ID_ONE(alignof)
+IREP_ID_ONE(clang_builtin_convertvector)
 IREP_ID_ONE(gcc_builtin_va_arg)
 IREP_ID_ONE(gcc_builtin_types_compatible_p)
 IREP_ID_ONE(gcc_builtin_va_arg_next)