1  // Header file used by mv12.C and mv12-aux.cc.
       2  
       3  int foo () __attribute__ ((target ("default")));
       4  int foo () __attribute__ ((target ("sse4.2")));