typedef float float4 __attribute__((aligned(16),ext_vector_type(4)));
void E_4(float* restrict data0_4, float* restrict data1_4, float* restrict data2_4) {
  float4 val0 = (*((float4*)((data1_4+0))));
  float4 val1 = (*((float4*)((data2_4+0))));
  float alu0 = ((val0[0]*val1[0])+1.0f);
  float alu1 = ((val0[1]*val1[1])+1.0f);
  float alu2 = ((val0[2]*val1[2])+1.0f);
  float alu3 = ((val0[3]*val1[3])+1.0f);
  float alu4 = ((alu0<0.0f)?0.0f:alu0);
  float alu5 = ((alu1<0.0f)?0.0f:alu1);
  float alu6 = ((alu2<0.0f)?0.0f:alu2);
  float alu7 = ((alu3<0.0f)?0.0f:alu3);
  *((float4*)((data0_4+0))) = (float4){alu4,alu5,alu6,alu7};
}
result: [11.0, 41.0, 91.0, 161.0]
