Index: www/builtins.py
===================================================================
--- www/builtins.py
+++ www/builtins.py
@@ -45,6 +45,7 @@
 '__builtin_ia32_xorpd': '_mm_xor_pd',
 '__builtin_ia32_xorps': '_mm_xor_ps',
 '__builtin_ia32_pxor128': '_mm_xor_si128',
+'__builtin_ia32_cvtps2dq': '_mm_cvtps_epi32',
 '__builtin_ia32_cvtsd2ss': '_mm_cvtsd_ss',
 '__builtin_ia32_cvtsi2sd': '_mm_cvtsi32_sd',
 '__builtin_ia32_cvtss2sd': '_mm_cvtss_sd',
@@ -120,6 +121,8 @@
 '__builtin_ia32_pshufd': '_mm_shuffle_epi32',
 '__builtin_ia32_movshdup': '_mm_movehdup_ps',
 '__builtin_ia32_movsldup': '_mm_moveldup_ps',
+'__builtin_ia32_maxps': '_mm_max_ps',
+'__builtin_ia32_pslldi128': '_mm_slli_epi32',
 '__builtin_ia32_vec_set_v16qi': '_mm_insert_epi8',
 '__builtin_ia32_vec_set_v8hi': '_mm_insert_epi16',
 '__builtin_ia32_vec_set_v4si': '_mm_insert_epi32',
@@ -157,4 +160,4 @@
         report_cant(unh)
   sys.stdout.write(line)
 
-sys.exit(err)
\ No newline at end of file
+sys.exit(err)