Intel Xeon E5-2651 - AVX or no AVX ?

[JVD66]

I am trying to build some code for a server that reports via linux cpuinfo :
vendor_id : GenuineIntel
cpu family : 6
model : 62
model name : Intel(R) Xeon(R) CPU E5-2651 v2 @ 1.80GHz
stepping : 4
microcode : 1045

I read from your specs for the E5-2650 :
http://www.cpu-world.com/CPUs/Xeon/Intel-Xeon%20E5-2650.html
and from Intel's specs:
http://ark.intel.com/products/64590/Intel-Xeon-Processor-E5-2650-20M-Cache-2_00-GHz-8_00-GTs-Intel-QPI

that these "Sandy Bridge" processors are meant to support AVX .

gcc-5.2.0 concurs , as building an executable with the "-march=sandybridge -mtune=intel"
tuning options results in the inclusion of 'vbroadcastsd" AVX instructions .

Yet these AVX instructions produce SIGILL access violations (coredumps) indicating that
in fact the processor does not support AVX :
(gdb) c
Continuing.

Program received signal SIGILL, Illegal instruction.
0x00000000004650b0 in ${some_function}()
(gdb) disass 0x00000000004650b0,0x00000000004650c0
Dump of assembler code from 0x4650b0 to 0x4650c0:
=> 0x00000000004650b0 <${some_function}+320>: vbroadcastsd 0x18(%rsp),%ymm0
0x00000000004650b7 <${some_function}+327>: cmp $0x10,%r9d

Nowhere online can I find any documentation indicating that some "Sandy Bridge" processors
do not support AVX . Is there any more detailed specs known to anybody on this forum
that might shed light on which models support AVX or not ?
Is this a GCC bug, ie. to assume that all "Sandy Bridge" architecture CPUs support AVX, when
obviously they don't ?
Or does this indicate that in fact the server is some VM disguised as a real processor ,
which is claiming to be "E5-2651" but in fact is not - ie. is it possible for a real E5-2651
processor not to support AVX ?
I'd be most interested in any light anyone is able to shed on the above issue.
Thank You!

[debs3759]

http://www.cpu-world.com/CPUs/Xeon/Intel-Xeon%20E5-2651%20v2%20-%20CM8063501521101.html

If you don't have physical access to the server (I assume you don't if you don't know whether it is a physical server or a VM) you will have to ask whoever you rent it from. If it is a VM there may be a configuration setting to enable AVX

[xsecret]

> vbroadcastsd 0x18(%rsp),%ymm0

This OP seems to be AVX2.