Vyacheslav Egorov d01d6f454c [vm] Fix a bug in the specialization of implicit setters ...

CallSpecializer::TryInlineInstanceSetter was using IsReceiver to determine
type check could be skipped. However it is incorrect to use IsReceiver,
because it uses SSA notion of the receiver - rather than a syntactic
notion and all strong mode guarantees apply at syntactic level.

Additionally this CL expands support for exactness tracking to PropertySet
operations and uses it to eliminate checks on setters.

Change-Id: Idce559c4ca4c88f5788d3b6b9955b5af076bd7eb
Reviewed-on: https://dart-review.googlesource.com/72442
Commit-Queue: Vyacheslav Egorov <vegorov@google.com>
Reviewed-by: Samir Jindel <sjindel@google.com>

2018-09-03 13:43:41 +00:00

..

asserts.dart

[vm/kernel/bytecode] Generate bytecode for assertions, bool checks

2018-06-26 23:07:18 +00:00

asserts.dart.expect

[vm] Re-land use of multiple entrypoints for closure calls.

2018-08-23 17:54:19 +00:00

async.dart

[vm/kernel/bytecode] Fix bytecode generation for async closures

2018-08-02 16:10:19 +00:00

async.dart.expect

[vm/bytecode] Check number of arguments in closures without optional arguments

2018-08-22 23:20:26 +00:00

bootstrapping.dart

Infer Object members for dynamic receivers

2018-05-31 12:43:22 +00:00

bootstrapping.dart.expect

[vm] Re-land use of multiple entrypoints for closure calls.

2018-08-23 17:54:19 +00:00

closures.dart

[vm/kernel/bytecode] Generate argument checks after allocating initial context

2018-06-27 21:51:41 +00:00

closures.dart.expect

[vm/bytecode] Add eager bounds checks to partial instantiations in bytecode

2018-08-31 22:55:48 +00:00

deferred_lib.dart

[vm/kernel/bytecode] Bytecode generation for rarely used operations

2018-06-25 17:51:44 +00:00

deferred_lib.dart.expect

[vm/kernel/bytecode] Bytecode generation for rarely used operations

2018-06-25 17:51:44 +00:00

field_initializers.dart

[vm/kernel] Support more operations in bytecode generator

2018-04-23 22:50:21 +00:00

field_initializers.dart.expect

[vm/kernel/bytecode] Fix field initializers in constructors

2018-08-15 15:40:54 +00:00

hello.dart

…

hello.dart.expect

…

instance_creation.dart

[vm/kernel/bytecode] Implement overlapping of type arguments in bytecode

2018-08-14 21:51:17 +00:00

instance_creation.dart.expect

[vm/kernel/bytecode] Implement overlapping of type arguments in bytecode

2018-08-14 21:51:17 +00:00

literals.dart

[vm/kernel/bytecode] Do not call getter for a static field initialized with double literal

2018-08-02 16:10:02 +00:00

literals.dart.expect

[vm/kernel/bytecode] Constant evaluate Symbol literals in bytecode

2018-08-14 01:38:42 +00:00

loops.dart

[vm/kernel/bytecode] Support closures in bytecode generator

2018-05-15 16:51:06 +00:00

loops.dart.expect

[vm/kernel/bytecode] Fix number of checked arguments in bytecode calls

2018-08-13 17:50:21 +00:00

optional_params.dart

[vm/kernel/bytecode] Fix handling of function type arguments parameter

2018-06-29 00:01:58 +00:00

optional_params.dart.expect

[vm/bytecode] Avoid sorting named parameters in kernel AST when generating bytecode

2018-08-31 22:27:20 +00:00

super_calls.dart

[vm/kernel/bytecode] Support corner cases of super calls in bytecode generator

2018-07-17 20:23:50 +00:00

super_calls.dart.expect

[vm] Re-land use of multiple entrypoints for closure calls.

2018-08-23 17:54:19 +00:00

switch.dart

[vm/kernel] Support more operations in bytecode generator

2018-04-23 22:50:21 +00:00

switch.dart.expect

[vm/kernel/bytecode] Fix number of checked arguments in bytecode calls

2018-08-13 17:50:21 +00:00

try_blocks.dart

[vm/kernel/bytecode] Support try-catch-finally in bytecode generator

2018-05-20 19:52:07 +00:00

try_blocks.dart.expect

[vm] Re-land use of multiple entrypoints for closure calls.

2018-08-23 17:54:19 +00:00

type_ops.dart

[vm/kernel/bytecode] Implement strong mode type checks in bytecode

2018-06-19 16:58:33 +00:00

type_ops.dart.expect

[vm] Fix a bug in the specialization of implicit setters

2018-09-03 13:43:41 +00:00