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")));
5