l4/pkg/ocaml/contrib/config/auto-aux/ia32sse2.c

   1 /***********************************************************************/
   2 /*                                                                     */
   3 /*                           Objective Caml                            */
   4 /*                                                                     */
   5 /*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         */
   6 /*                                                                     */
   7 /*  Copyright 2003 Institut National de Recherche en Informatique et   */
   8 /*  en Automatique.  All rights reserved.  This file is distributed    */
   9 /*  under the terms of the GNU Library General Public License, with    */
  10 /*  the special exception on linking described in file ../../LICENSE.  */
  11 /*                                                                     */
  12 /***********************************************************************/
  13
  14 /* $Id: ia32sse2.c 6824 2005-03-24 17:20:54Z doligez $ */
  15
  16 /* Test whether IA32 assembler supports SSE2 instructions */
  17
  18 int main()
  19 {
  20   asm("pmuludq %mm1, %mm0");
  21   asm("paddq %mm1, %mm0");
  22   asm("psubq %mm1, %mm0");
  23   return 0;
  24 }