dart2js cps: Access to lazily initialized fields.

tests/language/language_dart2js.status

Index: tests/language/language_dart2js.status
diff --git a/tests/language/language_dart2js.status b/tests/language/language_dart2js.status
index da161717d5895a5a8363091810c34e14c284dbb4..7c539c7ef6575b5c7e9ba7b16a3457b7a4a7cd74 100644
--- a/tests/language/language_dart2js.status
+++ b/tests/language/language_dart2js.status
@@ -228,10 +228,7 @@ regress_22443_test: Pass,RuntimeError # Issue 17458
 
 [ $compiler == dart2js && $cps_ir ]
 aborting_switch_case_test : Crash # bailout: (switch (42){case 42:foo();foo();break;}): Unhandled node
-abstract_exact_selector_test/01 : Crash # bailout: unsupported element kind: a:field
-abstract_exact_selector_test/none : Crash # bailout: unsupported element kind: a:field
 abstract_getter_test/01 : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-abstract_object_method_test : Crash # bailout: unsupported element kind: a:field
 abstract_runtime_error_test/01 : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 abstract_runtime_error_test/02 : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 arithmetic_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
@@ -357,12 +354,9 @@ await_not_started_immediately_test : Crash # bailout: (foo()async{x++ ;await 1;x
 await_postfix_expr_test : Crash # bailout: (test()async{Expect.equals(10,await post0(10));Expect.equals(21,await post1(10));Expect.equals(11,await pref0(10));Expect.equals(23,await pref1(10));Expect.equals(10,await sum([1,2,3,4]));Expect.equals(10,await sum2(4));}): cannot handle async/sync*/async* functions
 await_regression_test : Crash # bailout: (main()async{testNestedFunctions();testNamedArguments();}): cannot handle async/sync*/async* functions
 await_test : Crash # bailout: (others()async{var a="${globalVariable} ${await dummy()} "+await "someString";Expect.equals(a,"1 1 someString");try {var c=new C();var d=c.nooooo()+await dummy();}catch (e){}var cnt=2;var b=[1,2,3];b[cnt]=await dummy();Expect.equals(b[cnt],1);var e=b[0]+await dummy();Expect.equals(e,2);Expect.equals(nonAsyncFunction(),4);}): cannot handle async/sync*/async* functions
-bailout4_test : Crash # bailout: unsupported element kind: a:field
 bailout5_test : Crash # Instance of 'TypeOperator': type check unimplemented for Map.
 bailout6_test : Crash # Instance of 'TypeOperator': type check unimplemented for Map.
 bailout7_test : Crash # Instance of 'TypeOperator': type check unimplemented for Map.
-bailout_container_type_test : Crash # bailout: unsupported element kind: a:field
-bailout_test : Crash # bailout: unsupported element kind: reachedAfoo:field
 bool_check_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 call_closurization_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 #call_nonexistent_static_test/01: Crash # (alwaysThrows): handleStaticFunctionGet: function(alwaysThrows)
@@ -436,14 +430,12 @@ closure3_test : Crash # Instance of 'TypeOperator': type check unimplemented for
 closure_in_constructor_test : Crash # Instance of 'TypeOperator': type check unimplemented for List.
 closure_internals_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 closure_self_reference_test : Crash # bailout: (try {return inner(value-1);}finally {counter++ ;}): try/finally
-closure_side_effect_test : Crash # bailout: unsupported element kind: c:field
 closure_type_variables_test : Crash # Instance of 'TypeOperator': type check unimplemented for A<int>.
 closures_initializer2_test : Crash # Assertion failure: Unknown variable: Instance of 'TypeVariableLocal'.
 closures_initializer_test : Crash # Instance of 'TypeOperator': type check unimplemented for List<int>.
 compile_time_constant_a_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 compile_time_constant_b_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 const_evaluation_test/01 : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-const_evaluation_test/none : RuntimeError
 const_nested_test : Crash # Assertion failure: Unknown variable: variable(getClosure#MIN).
 const_objects_are_immutable_test/01 : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 const_objects_are_immutable_test/none : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
@@ -452,7 +444,6 @@ const_switch_test/01 : Crash # bailout: (switch (c){case const C(0.0):return '0.
 const_switch_test/02 : Crash # bailout: (switch (c){case const C(0.0):return '0.0';case const C(0):return '0';case const C(1.0):return '1.0';case const C(1):return '1';}): Unhandled node
 const_switch_test/03 : Crash # bailout: (switch (c){case const C(0.0):return '0.0';case const C(0):return '0';case const C(1.0):return '1.0';case const C(1):return '1';}): Unhandled node
 const_switch_test/04 : Crash # bailout: (switch (c){case const C(0.0):return '0.0';case const C(0):return '0';case const C(1.0):return '1.0';case const C(1):return '1';}): Unhandled node
-constant_propagation_phis_test : RuntimeError
 constructor10_test/01 : Crash # Internal Error: No default constructor available.
 constructor10_test/02 : Crash # Internal Error: No default constructor available.
 constructor11_test : Crash # Assertion failure: Unknown variable: initializing_formal(#x).
@@ -529,9 +520,7 @@ deferred_shadow_load_library_test : Crash # bailout: (lib.loadLibrary()): handle
 deferred_shared_and_unshared_classes_test : Crash # bailout: (lib1.loadLibrary()): handleStaticGetterInvoke: foreign: getter(loadLibrary)
 deferred_static_seperate_test : Crash # bailout: (lib1.loadLibrary()): handleStaticGetterInvoke: foreign: getter(loadLibrary)
 deopt_inlined_function_lazy_test : Crash # bailout: (try {return x+12342353257893275483274832;}finally {}): try/finally
-deopt_inlined_function_test : Crash # bailout: unsupported element kind: obj:field
 div_with_power_of_two2_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-div_with_power_of_two_test : Crash # bailout: unsupported element kind: expectedResults:field
 double_to_string_as_exponential2_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 double_to_string_as_fixed2_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 double_to_string_as_precision2_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
@@ -578,14 +567,6 @@ factory_return_type_checked_test : Crash # Instance of 'TypeOperator': type chec
 factory_type_parameter2_test : Crash # t: Failed assertion: line 2530 pos 12: 'state.thisParameter != null' is not true.
 factory_type_parameter_test : Crash # Instance of 'TypeOperator': type check unimplemented for A<List>.
 fast_method_extraction_test : Crash # Instance of 'TypeOperator': type check unimplemented for T.
-field_inference_test : Crash # bailout: unsupported element kind: array:field
-final_is_not_const_test/none : RuntimeError
-final_syntax_test/03 : Crash # bailout: unsupported element kind: P3:field
-final_syntax_test/04 : Crash # bailout: unsupported element kind: P3:field
-final_syntax_test/08 : Crash # bailout: unsupported element kind: A3:field
-final_syntax_test/09 : Crash # bailout: unsupported element kind: P3:field
-final_syntax_test/10 : Crash # bailout: unsupported element kind: B3:field
-final_syntax_test/none : Crash # bailout: unsupported element kind: P3:field
 finally_test : Crash # bailout: (try {i=12;}finally {Expect.equals(12,i);executedFinally=true;}): try/finally
 first_class_types_literals_test/03 : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 first_class_types_literals_test/04 : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
@@ -620,8 +601,6 @@ flatten_test/11 : Crash # bailout: (test()async{Future<Divergent<Divergent<int>>
 flatten_test/12 : Crash # bailout: (test()async{Future<Divergent<Divergent<int>>> x=(()async=>new Divergent<int>())();}): cannot handle async/sync*/async* functions
 flatten_test/none : Crash # bailout: (test()async{}): cannot handle async/sync*/async* functions
 for2_test : Crash # The null object does not have a getter 'field'.
-for_in2_test : Crash # bailout: unsupported element kind: set:field
-for_in_side_effects_test : Crash # bailout: unsupported element kind: array:field
 for_variable_capture_test : Crash # bailout: (i=0): For-loop variable captured in loop header
 forwarding_factory_constructor_default_values_test : RuntimeError
 function_propagation_test : Crash # Instance of 'TypeOperator': type check unimplemented for F.
@@ -679,7 +658,6 @@ function_type_alias2_test : Crash # Instance of 'TypeOperator': type check unimp
 function_type_alias3_test : Crash # Instance of 'TypeOperator': type check unimplemented for F.
 function_type_alias4_test : Crash # Instance of 'TypeOperator': type check unimplemented for F.
 function_type_alias6_test/none : Crash # Instance of 'TypeOperator': type check unimplemented for F.
-function_type_alias8_test : Crash # bailout: unsupported element kind: fromThing:field
 function_type_alias_test : Crash # Instance of 'TypeOperator': type check unimplemented for Fun.
 function_type_call_getter_test : Crash # Instance of 'TypeOperator': type check unimplemented for F.
 generic2_test : Crash # Instance of 'TypeOperator': type check unimplemented for T.
@@ -711,7 +689,6 @@ inference_captured_variable_test : Crash # Instance of 'TypeOperator': type chec
 inference_list_or_null_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 inference_mixin_field_test : Crash # Internal Error: No default constructor available.
 inference_super_constructor_call_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-inferrer_closure_test : Crash # bailout: unsupported element kind: closure:field
 inferrer_constructor2_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 inferrer_constructor3_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 inferrer_constructor4_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
@@ -731,8 +708,6 @@ instanceof4_test/none : Crash # Instance of 'TypeOperator': type check unimpleme
 instanceof_test : Crash # Instance of 'TypeOperator': type check unimplemented for List.
 integer_division_by_zero_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 interceptor6_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-interceptor7_test : Crash # bailout: unsupported element kind: array:field
-interceptor8_test : Crash # bailout: unsupported element kind: a:field
 interceptor9_test : RuntimeError
 interceptor_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 internal_library_test/01 : Crash # bailout: (JS('int','0')): handleStaticFunctionInvoke: foreign: function(JS)
@@ -754,29 +729,18 @@ issue10721_test : Crash # Instance of 'TypeOperator': type check unimplemented f
 issue10747_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 issue10783_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 issue11724_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-issue11793_test : Crash # bailout: unsupported element kind: otherArray:field
 issue12023_test : Crash # bailout: (switch (action){case "f":case "s":action=test[i-1];int value=int.parse(test[i++ ]);if(action=="f"){Expect.equals(5,value);}else{Expect.equals(6,value);}break;}): Unhandled node
 issue12284_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 issue12336_test : Crash # Instance of 'TypeOperator': type check unimplemented for List.
 issue13474_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-issue13673_test : Crash # bailout: unsupported element kind: topLevel:field
 issue14014_3_test : Crash # Assertion failure: Unknown variable: Instance of 'TypeVariableLocal'.
 issue20476_test : Crash # bailout: (try {try {return 1;}catch (e1){}finally {return 3;}}catch (e2){}finally {return 5;}): try/finally
 issue7525_test : Crash # Instance of 'TypeOperator': type casts not implemented.
-issue9687_test : Crash # bailout: unsupported element kind: array:field
-issue9939_test : Crash # t: Failed assertion: line 85 pos 12: 'irVariable.host == currentElement' is not true.
 issue9949_test : Crash # Instance of 'TypeOperator': type check unimplemented for Expando.
 issue_1751477_test : Crash # bailout: (lib1.loadLibrary()): handleStaticGetterInvoke: foreign: getter(loadLibrary)
 label_test : Crash # bailout: (switch (i){case 111:while(doAgain()){break L;}default:i-- ;}): Unhandled node
 large_class_declaration_test : Crash # Stack Overflow
-large_implicit_getter_test : Crash # bailout: unsupported element kind: panels:field
-lazy_map_test : Crash # bailout: unsupported element kind: data:field
-lazy_static2_test : Crash # bailout: unsupported element kind: x:field
 lazy_static3_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-lazy_static4_test : Crash # bailout: unsupported element kind: v:field
-lazy_static5_test : Crash # bailout: unsupported element kind: x:field
-lazy_static6_test : Crash # bailout: unsupported element kind: x:field
-lazy_static_test : Crash # bailout: unsupported element kind: t2:field
 library_ambiguous_test/04 : Crash # Instance of 'TypeOperator': type check unimplemented for bax.
 licm2_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 licm3_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
@@ -786,9 +750,6 @@ list_is_test : Crash # Instance of 'TypeOperator': type check unimplemented for
 list_length_tracer_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 list_literal3_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 list_test : Crash # Instance of 'TypeOperator': type check unimplemented for List<A>.
-list_tracer_in_map_test : Crash # bailout: unsupported element kind: b:field
-list_tracer_return_from_tearoff_closure_test : Crash # bailout: unsupported element kind: a:field
-logical_expression_test : Crash # bailout: unsupported element kind: globalList:field
 malbounded_type_cast2_test : Crash # Instance of 'TypeOperator': type casts not implemented.
 malbounded_type_cast_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 malbounded_type_test2_test : Crash # Instance of 'TypeOperator': type check unimplemented for A<T>.
@@ -803,15 +764,12 @@ malformed_inheritance_test/09 : Crash # The null object does not have a getter '
 malformed_inheritance_test/10 : Crash # The null object does not have a getter 'isMixinApplication'.
 malformed_test/06 : Crash # unimplemented translation of type expression Unresolved
 malformed_test/none : Crash # unimplemented translation of type expression Unresolved
-malformed_type_test : Crash # bailout: unsupported element kind: x:field
 many_generic_instanceof_test : Crash # Instance of 'TypeOperator': type check unimplemented for List<T>.
 many_overridden_no_such_method_test : RuntimeError
 megamorphic_no_such_method_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 method_override4_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 method_override5_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 method_override_test : Crash # Instance of 'TypeOperator': type check unimplemented for RemoveFunctionType<String, String>.
-methods_as_constants_test : RuntimeError
-minify_closure_variable_collision_test : Crash # bailout: unsupported element kind: array:field
 mint_arithmetic_test : Crash # bailout: (try {f(a,b){var s=b;var t=a|s;return t;}var x=0xffffffff;for(var i=0;i<20;i++ )f(x,x);Expect.equals(x,f(x,x));Expect.equals(-1,f(x,-1));var y=0xffffffffffffffff;Expect.equals(-1,f(y,-1));}finally {}): try/finally
 mixin_bound_test : Crash # Internal Error: No default constructor available.
 mixin_cyclic_test/01 : Crash # The null object does not have a getter 'isMixinApplication'.
@@ -893,7 +851,6 @@ number_identifier_test/none : Crash # Instance of 'TypeOperator': type casts not
 on_catch_malformed_type_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 operator4_test : RuntimeError
 operator_equals_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-optimize_redundant_array_load_test : Crash # bailout: unsupported element kind: A:field
 optimized_constant_array_string_access_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 optimized_string_charat_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 optimized_string_charcodeat_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
@@ -923,12 +880,10 @@ ref_before_declaration_test/07 : Crash # bailout: (switch (x){case 0:var x='Does
 ref_before_declaration_test/none : Crash # bailout: (switch (x){case 0:var x='Does fuzzy logic tickle?';}): Unhandled node
 refine_receiver_null_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 reg_exp_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-regress_11010_test : Crash # bailout: unsupported element kind: caller:field
 regress_12561_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 regress_14105_test : Crash # Instance of 'TypeOperator': type check unimplemented for A<int>.
 regress_18435_test : Crash # Assertion failure: Unknown variable: variable(main#MISSING_VALUE).
 regress_18535_test : Crash # Instance of 'TypeOperator': type check unimplemented for V.
-regress_21016_test : Crash # bailout: unsupported element kind: list:field
 regress_21795_test : Crash # bailout: (try {foo(t);}finally {if(t==0){try {}catch (err,st){}}}): try/finally
 regress_22438_test : Crash # bailout: (main()async{var error="no error";try {try {await new Future.error("error");}on MissingType catch (e){}}catch (e){error=e;}Expect.isTrue(error is TypeError);}): cannot handle async/sync*/async* functions
 regress_22443_test : Crash # bailout: (D.loadLibrary()): handleStaticGetterInvoke: foreign: getter(loadLibrary)
@@ -1022,9 +977,7 @@ throw6_test : Crash # bailout: (try {j=func();}catch (exception){i=i+100;print(e
 throw8_test : Crash # bailout: (try {try {return 499;}catch (e,st){rethrow;}}finally {finallyExecutionCount++ ;throw "quit finally with throw";}): try/finally
 throw_expr_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 throw_test : Crash # bailout: (try {int j;j=func();if(j>0){throw new MyException("Test for exception being thrown");}}on MyException catch (exception){i=100;print(exception.message_);}finally {i=i+800;}): try/finally
-throwing_lazy_variable_test : Crash # bailout: unsupported element kind: a:field
 truncdiv_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-truncdiv_uint32_test : Crash # bailout: unsupported element kind: a:field
 try_catch3_test : Crash # bailout: (try {int j;j=f2();j=f3();try {int k=f2();f3();}on MyException catch (ex){int i=10;print(i);}on TestException catch (ex){int k=10;print(k);}try {j=j+24;}catch (e){i=300;print(e.getMessage());}try {j+= 20;}catch (e){i=400;print(e.getMessage());}try {j+= 40;}catch (e){i=600;print(e.getMessage());}try {j+= 60;}catch (e,trace){i=700;print(trace.toString());print(e.getMessage());}try {j+= 80;}on MyException catch (e){i=500;print(e.getMessage());}}on MyParameterizedException<String,TestException> catch (e,trace){i=800;print(trace.toString());rethrow;}on MyException catch (exception){i=100;print(exception.getMessage());}on TestException catch (e,trace){i=200;print(trace.toString());}finally {i=900;}): try/finally
 try_catch4_test : Crash # bailout: (try {doThrow();}catch (e){a=8;entered=true;continue;}finally {b=8==a;entered=true;continue;}): try/finally
 try_catch5_test : Crash # bailout: (try {try {a=8;return;}finally {b=8==a;entered=true;continue;}}finally {continue;}): try/finally
@@ -1032,7 +985,6 @@ try_catch_on_syntax_test/07 : Crash # Instance of 'TypeOperator': type check uni
 try_catch_optimized1_test : RuntimeError
 try_catch_optimized2_test : Crash # bailout: (try {bar();}finally {}): try/finally
 try_catch_optimized3_test : RuntimeError
-try_catch_optimized4_test : Crash # bailout: unsupported element kind: a:field
 try_catch_osr_test : Crash # bailout: (try {if(x==null)throw 42;return 99;}finally {}): try/finally
 try_catch_syntax_test/08 : Crash # Instance of 'TypeOperator': type check unimplemented for MammaMia.
 try_catch_test/01 : Crash # t: Failed assertion: line 534 pos 14: 'catchClause.exception != null' is not true.
@@ -1040,7 +992,6 @@ try_catch_test/none : Crash # t: Failed assertion: line 534 pos 14: 'catchClause
 type_argument_in_super_type_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 type_argument_substitution_test : Crash # Instance of 'TypeOperator': type check unimplemented for X<A<String>>.
 type_check_test : Crash # Instance of 'TypeOperator': type casts not implemented.
-type_conversion_ssa_test : Crash # bailout: unsupported element kind: array:field
 type_error_test : Crash # Instance of 'TypeOperator': type casts not implemented.
 type_guard_conversion_test : Crash # Instance of 'TypeOperator': type check unimplemented for Comparable.
 type_literal_prefix_call_test/00 : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
@@ -1127,8 +1078,6 @@ typevariable_substitution2_test/01 : Crash # Internal Error: No default construc
 typevariable_substitution2_test/02 : Crash # Internal Error: No default constructor available.
 typevariable_substitution2_test/none : Crash # Internal Error: No default constructor available.
 unresolved_default_constructor_test/01 : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
-unresolved_top_level_method_negative_test : Crash # bailout: unsupported element kind: a:field
-unresolved_top_level_var_negative_test : Crash # bailout: unsupported element kind: a:field
 value_range2_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 value_range3_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.
 value_range_test : Crash # Instance of 'TypeOperator': type check unimplemented for _Nullary.