commit | 52f1502191e8668e3ec216eb52cedc47e574c334 | [log] [tgz] |
---|---|---|
author | Stephen Adams <sra@google.com> | Wed Aug 26 19:32:05 2020 +0000 |
committer | commit-bot@chromium.org <commit-bot@chromium.org> | Wed Aug 26 19:32:05 2020 +0000 |
tree | 9500a4c5b0fa9ef76a06f7c798b3b27bf438b8ed | |
parent | 7f3f2bcec21080d9769b317fd7cbfb8da23bf56d [diff] |
[dart2js] Strengthen HBoolConversion in types_propagation Change-Id: I811cc43b21990eea79f97e65a7681661af0cef8e Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/160344 Commit-Queue: Stephen Adams <sra@google.com> Reviewed-by: Sigmund Cherem <sigmund@google.com>
diff --git a/pkg/compiler/lib/src/ssa/types_propagation.dart b/pkg/compiler/lib/src/ssa/types_propagation.dart index 8c08b62..12fabcf 100644 --- a/pkg/compiler/lib/src/ssa/types_propagation.dart +++ b/pkg/compiler/lib/src/ssa/types_propagation.dart
@@ -472,4 +472,10 @@ } return outputType; } + + @override + AbstractValue visitBoolConversion(HBoolConversion instruction) { + return abstractValueDomain.intersection( + abstractValueDomain.boolType, instruction.checkedInput.instructionType); + } }