define i32 @main() {
entry:
  %y = alloca [4 x float], align 4                ; <[4 x float]*> [#uses=4]
  %0 = getelementptr inbounds [4 x float]* %y, i64 0, i64 0 ; <float*> [#uses=2]
  %1 = call %"struct.std::basic_istream<char,std::char_traits<char> >"* @_ZNSirsERf(%"struct.std::basic_istream<char,std::char_traits<char> >"* @_ZSt3cin, float* %0) ; <%"struct.std::basic_istream<char,std::char_traits<char> >"*> [#uses=1]
  %2 = getelementptr inbounds [4 x float]* %y, i64 0, i64 1 ; <float*> [#uses=2]
  %3 = call %"struct.std::basic_istream<char,std::char_traits<char> >"* @_ZNSirsERf(%"struct.std::basic_istream<char,std::char_traits<char> >"* %1, float* %2) ; <%"struct.std::basic_istream<char,std::char_traits<char> >"*> [#uses=1]
  %4 = getelementptr inbounds [4 x float]* %y, i64 0, i64 2 ; <float*> [#uses=2]
  %5 = call %"struct.std::basic_istream<char,std::char_traits<char> >"* @_ZNSirsERf(%"struct.std::basic_istream<char,std::char_traits<char> >"* %3, float* %4) ; <%"struct.std::basic_istream<char,std::char_traits<char> >"*> [#uses=1]
  %6 = getelementptr inbounds [4 x float]* %y, i64 0, i64 3 ; <float*> [#uses=2]
  %7 = call %"struct.std::basic_istream<char,std::char_traits<char> >"* @_ZNSirsERf(%"struct.std::basic_istream<char,std::char_traits<char> >"* %5, float* %6) ; <%"struct.std::basic_istream<char,std::char_traits<char> >"*> [#uses=0]
  %8 = load float* %0, align 4                    ; <float> [#uses=1]
  %9 = fadd float %8, 1.000000e+00                ; <float> [#uses=1]
  %10 = load float* %2, align 4                   ; <float> [#uses=1]
  %11 = fadd float %10, 2.000000e+00              ; <float> [#uses=1]
  %12 = load float* %4, align 4                   ; <float> [#uses=1]
  %13 = fadd float %12, 3.000000e+00              ; <float> [#uses=1]
  %14 = load float* %6, align 4                   ; <float> [#uses=1]
  %15 = fadd float %14, 4.000000e+00              ; <float> [#uses=1]
  %16 = call %"struct.std::basic_ostream<char,std::char_traits<char> >"* @_ZNSolsEf(%"struct.std::basic_ostream<char,std::char_traits<char> >"* @_ZSt4cout, float %9) ; <%"struct.std::basic_ostream<char,std::char_traits<char> >"*> [#uses=1]
  %17 = call %"struct.std::basic_ostream<char,std::char_traits<char> >"* @_ZNSolsEf(%"struct.std::basic_ostream<char,std::char_traits<char> >"* %16, float %11) ; <%"struct.std::basic_ostream<char,std::char_traits<char> >"*> [#uses=1]
  %18 = call %"struct.std::basic_ostream<char,std::char_traits<char> >"* @_ZNSolsEf(%"struct.std::basic_ostream<char,std::char_traits<char> >"* %17, float %13) ; <%"struct.std::basic_ostream<char,std::char_traits<char> >"*> [#uses=1]
  %19 = call %"struct.std::basic_ostream<char,std::char_traits<char> >"* @_ZNSolsEf(%"struct.std::basic_ostream<char,std::char_traits<char> >"* %18, float %15) ; <%"struct.std::basic_ostream<char,std::char_traits<char> >"*> [#uses=0]
  ret i32 0
}

define int