/**

* @fileoverview A concurrent code flow analyzer.

*

* Flows keep track of compilation state and can be queried for various

* conditions, like whether the current branch always terminates, whether

* a local is known to be non-null or whether an expression has possibly

* overflown its value range.

*

* To accomplish this, compilation of each function begins with a clean

* flow populated with initial local states etc. While compilation

* progresses, statements and expressions update flow state while control

* constructs fork, potentially add scoped locals and later merge these

* forked branches as necessary.

*

* @license Apache-2.0

*/

import {

Type,

TypeFlags,

TypeKind

} from "./types";

import {

Local,

Function,

Element,

ElementKind,

Field,

Class,

TypedElement

} from "./program";

import {

TypeRef,

ExpressionId,

ExpressionRef,

BinaryOp,

UnaryOp,

getExpressionId,

getLocalGetIndex,

isLocalTee,

getLocalSetValue,

getGlobalGetName,

getBinaryOp,

getBinaryLeft,

getConstValueI32,

getBinaryRight,

getUnaryOp,

getExpressionType,

getConstValueI64Low,

getConstValueF32,

getConstValueF64,

getLoadBytes,

isLoadSigned,

getBlockName,

getBlockChildCount,

getBlockChildAt,

getIfTrue,

getIfFalse,

getSelectThen,

getSelectElse,

getCallTarget,

getLocalSetIndex,

getIfCondition,

getConstValueI64High,

getUnaryValue

} from "./module";

import {

CommonFlags

} from "./common";

import {

DiagnosticCode

} from "./diagnostics";

import {

Node

} from "./ast";

import {

uniqueMap

} from "./util";

/** Control flow flags indicating specific conditions. */

export const enum FlowFlags {

/** No specific conditions. */

NONE = 0,

// categorical

/** This flow always returns. */

RETURNS = 1 << 0,

/** This flow always returns a wrapped value. */

RETURNS_WRAPPED = 1 << 1,

/** This flow always returns a non-null value. */

RETURNS_NONNULL = 1 << 2,

/** This flow always throws. */

THROWS = 1 << 3,

/** This flow always breaks. */

BREAKS = 1 << 4,

/** This flow always continues. */

CONTINUES = 1 << 5,

/** This flow always accesses `this`. Constructors only. */

ACCESSES_THIS = 1 << 6,

/** This flow always calls `super`. Constructors only. */

CALLS_SUPER = 1 << 7,

/** This flow always terminates (returns, throws or continues). */

TERMINATES = 1 << 8, // Note that this doesn't cover BREAKS, which is separate

// conditional

/** This flow conditionally returns in a child flow. */

CONDITIONALLY_RETURNS = 1 << 9,

/** This flow conditionally throws in a child flow. */

CONDITIONALLY_THROWS = 1 << 10,

/** This flow conditionally breaks in a child flow. */

CONDITIONALLY_BREAKS = 1 << 11,

/** This flow conditionally continues in a child flow. */

CONDITIONALLY_CONTINUES = 1 << 12,

/** This flow conditionally accesses `this` in a child flow. Constructors only. */

CONDITIONALLY_ACCESSES_THIS = 1 << 13,

/** This flow may return a non-this value. Constructors only. */

MAY_RETURN_NONTHIS = 1 << 14,

// other

/** This is a flow with explicitly disabled bounds checking. */

UNCHECKED_CONTEXT = 1 << 15,

/** This is a flow compiling a constructor parameter. */

CTORPARAM_CONTEXT = 1 << 16,

// masks

/** Any categorical flag. */

ANY_CATEGORICAL = FlowFlags.RETURNS

| FlowFlags.RETURNS_WRAPPED

| FlowFlags.RETURNS_NONNULL

| FlowFlags.THROWS

| FlowFlags.BREAKS

| FlowFlags.CONTINUES

| FlowFlags.ACCESSES_THIS

| FlowFlags.CALLS_SUPER

| FlowFlags.TERMINATES,

/** Any conditional flag. */

ANY_CONDITIONAL = FlowFlags.CONDITIONALLY_RETURNS

| FlowFlags.CONDITIONALLY_THROWS

| FlowFlags.CONDITIONALLY_BREAKS

| FlowFlags.CONDITIONALLY_CONTINUES

| FlowFlags.CONDITIONALLY_ACCESSES_THIS

}

/** Flags indicating the current state of a local. */

export enum LocalFlags {

/** No specific conditions. */

NONE = 0,

/** Local is constant. */

CONSTANT = 1 << 0,

/** Local is properly wrapped. Relevant for small integers. */

WRAPPED = 1 << 1,

/** Local is non-null. */

NONNULL = 1 << 2,

/** Local is initialized. */

INITIALIZED = 1 << 3

}

/** Flags indicating the current state of a field. */

export enum FieldFlags {

NONE = 0,

INITIALIZED = 1 << 0

}

/** Condition kinds. */

export const enum ConditionKind {

/** Outcome of the condition is unknown */

UNKNOWN,

/** Condition is always true. */

TRUE,

/** Condition is always false. */

FALSE

}

/** A control flow evaluator. */

export class Flow {

/** Creates the parent flow of the specified function. */

static createParent(parentFunction: Function): Flow {

var flow = new Flow(parentFunction);

if (parentFunction.is(CommonFlags.CONSTRUCTOR)) {

flow.initThisFieldFlags();

}

return flow;

}

/** Creates an inline flow within `parentFunction`. */

static createInline(parentFunction: Function, inlineFunction: Function): Flow {

var flow = new Flow(parentFunction);

flow.inlineFunction = inlineFunction;

flow.inlineReturnLabel = inlineFunction.internalName + "|inlined." + (inlineFunction.nextInlineId++).toString();

if (inlineFunction.is(CommonFlags.CONSTRUCTOR)) {

flow.initThisFieldFlags();

}

return flow;

}

private constructor(

/** Function this flow belongs to. */

public parentFunction: Function

) {

/* nop */

}

/** Parent flow. */

parent: Flow | null = null;

/** Outer flow. Only relevant for first-class functions. */

outer: Flow | null = null;

/** Flow flags indicating specific conditions. */

flags: FlowFlags = FlowFlags.NONE;

/** The label we break to when encountering a continue statement. */

continueLabel: string | null = null;

/** The label we break to when encountering a break statement. */

breakLabel: string | null = null;

/** Scoped local variables. */

scopedLocals: Map<string,Local> | null = null;

/** Local flags. */

localFlags: LocalFlags[] = [];

/** Field flags on `this`. Constructors only. */

thisFieldFlags: Map<Field,FieldFlags> | null = null;

/** Function being inlined, when inlining. */

inlineFunction: Function | null = null;

/** The label we break to when encountering a return statement, when inlining. */

inlineReturnLabel: string | null = null;

/** Tests if this is an inline flow. */

get isInline(): bool {

return this.inlineFunction !== null;

}

/** Gets the actual function being compiled, The inlined function when inlining, otherwise the parent function. */

get actualFunction(): Function {

var inlineFunction = this.inlineFunction;

if (inlineFunction) return inlineFunction;

return this.parentFunction;

}

/** Gets the current return type. */

get returnType(): Type {

return this.actualFunction.signature.returnType;

}

/** Gets the current contextual type arguments. */

get contextualTypeArguments(): Map<string,Type> | null {

return this.actualFunction.contextualTypeArguments;

}

/** Tests if this flow has the specified flag or flags. */

is(flag: FlowFlags): bool { return (this.flags & flag) == flag; }

/** Tests if this flow has one of the specified flags. */

isAny(flag: FlowFlags): bool { return (this.flags & flag) != 0; }

/** Sets the specified flag or flags. */

set(flag: FlowFlags): void { this.flags |= flag; }

/** Unsets the specified flag or flags. */

unset(flag: FlowFlags): void { this.flags &= ~flag; }

deriveConditionalFlags(): FlowFlags {

let condiFlags = this.flags & FlowFlags.ANY_CONDITIONAL;

if (this.is(FlowFlags.RETURNS)) {

condiFlags |= FlowFlags.CONDITIONALLY_RETURNS;

}

if (this.is(FlowFlags.THROWS)) {

condiFlags |= FlowFlags.CONDITIONALLY_THROWS;

}

if (this.is(FlowFlags.BREAKS)) {

condiFlags |= FlowFlags.CONDITIONALLY_BREAKS;

}

if (this.is(FlowFlags.CONTINUES)) {

condiFlags |= FlowFlags.CONDITIONALLY_CONTINUES;

}

if (this.is(FlowFlags.ACCESSES_THIS)) {

condiFlags |= FlowFlags.CONDITIONALLY_ACCESSES_THIS;

}

return condiFlags;

}

/** Forks this flow to a child flow. */

fork(resetBreakContext: bool = false): Flow {

var branch = new Flow(this.parentFunction);

branch.parent = this;

branch.outer = this.outer;

if (resetBreakContext) {

branch.flags = this.flags & ~(

FlowFlags.BREAKS |

FlowFlags.CONDITIONALLY_BREAKS |

FlowFlags.CONTINUES |

FlowFlags.CONDITIONALLY_CONTINUES

);

} else {

branch.flags = this.flags;

branch.continueLabel = this.continueLabel;

branch.breakLabel = this.breakLabel;

}

branch.localFlags = this.localFlags.slice();

if (this.actualFunction.is(CommonFlags.CONSTRUCTOR)) {

let thisFieldFlags = assert(this.thisFieldFlags);

branch.thisFieldFlags = uniqueMap<Field,FieldFlags>(thisFieldFlags);

} else {

assert(!this.thisFieldFlags);

}

branch.inlineFunction = this.inlineFunction;

branch.inlineReturnLabel = this.inlineReturnLabel;

return branch;

}

/** Gets a free temporary local of the specified type. */

getTempLocal(type: Type, except: Set<i32> | null = null): Local {

var parentFunction = this.parentFunction;

var temps: Local[] | null;

switch (<u32>type.toRef()) {

case <u32>TypeRef.I32: { temps = parentFunction.tempI32s; break; }

case <u32>TypeRef.I64: { temps = parentFunction.tempI64s; break; }

case <u32>TypeRef.F32: { temps = parentFunction.tempF32s; break; }

case <u32>TypeRef.F64: { temps = parentFunction.tempF64s; break; }

case <u32>TypeRef.V128: { temps = parentFunction.tempV128s; break; }

case <u32>TypeRef.Funcref: { temps = parentFunction.tempFuncrefs; break; }

case <u32>TypeRef.Externref: { temps = parentFunction.tempExternrefs; break; }

case <u32>TypeRef.Anyref: { temps = parentFunction.tempAnyrefs; break; }

case <u32>TypeRef.Eqref: { temps = parentFunction.tempEqrefs; break; }

case <u32>TypeRef.I31ref: { temps = parentFunction.tempI31refs; break; }

case <u32>TypeRef.Dataref: { temps = parentFunction.tempDatarefs; break; }

default: throw new Error("concrete type expected");

}

var local: Local;

if (except) {

if (temps !== null && temps.length > 0) {

for (let i = 0, k = temps.length; i < k; ++i) {

if (!except.has(temps[i].index)) {

local = temps[i];

let k = temps.length - 1;

while (i < k) unchecked(temps[i] = temps[i++ + 1]);

temps.length = k;

local.type = type;

local.flags = CommonFlags.NONE;

this.unsetLocalFlag(local.index, ~0);

return local;

}

}

}

local = parentFunction.addLocal(type);

} else {

if (temps !== null && temps.length > 0) {

local = assert(temps.pop());

local.type = type;

local.flags = CommonFlags.NONE;

} else {

local = parentFunction.addLocal(type);

}

}

this.unsetLocalFlag(local.index, ~0);

return local;

}

/** Frees the temporary local for reuse. */

freeTempLocal(local: Local): void {

if (local.is(CommonFlags.INLINED)) return;

assert(local.index >= 0);

var parentFunction = this.parentFunction;

var temps: Local[];

assert(local.type != null); // internal error

local.resetTemporaryName();

switch (<u32>local.type.toRef()) {

case <u32>TypeRef.I32: {

let tempI32s = parentFunction.tempI32s;

if (tempI32s) temps = tempI32s;

else parentFunction.tempI32s = temps = [];

break;

}

case <u32>TypeRef.I64: {

let tempI64s = parentFunction.tempI64s;

if (tempI64s) temps = tempI64s;

else parentFunction.tempI64s = temps = [];

break;

}

case <u32>TypeRef.F32: {

let tempF32s = parentFunction.tempF32s;

if (tempF32s) temps = tempF32s;

else parentFunction.tempF32s = temps = [];

break;

}

case <u32>TypeRef.F64: {

let tempF64s = parentFunction.tempF64s;

if (tempF64s) temps = tempF64s;

else parentFunction.tempF64s = temps = [];

break;

}

case <u32>TypeRef.V128: {

let tempV128s = parentFunction.tempV128s;

if (tempV128s) temps = tempV128s;

else parentFunction.tempV128s = temps = [];

break;

}

case <u32>TypeRef.Funcref: {

let tempFuncrefs = parentFunction.tempFuncrefs;

if (tempFuncrefs) temps = tempFuncrefs;

else parentFunction.tempFuncrefs = temps = [];

break;

}

case <u32>TypeRef.Externref: {

let tempExternrefs = parentFunction.tempExternrefs;

if (tempExternrefs) temps = tempExternrefs;

else parentFunction.tempExternrefs = temps = [];

break;

}

case <u32>TypeRef.Anyref: {

let tempAnyrefs = parentFunction.tempAnyrefs;

if (tempAnyrefs) temps = tempAnyrefs;

else parentFunction.tempAnyrefs = temps = [];

break;

}

case <u32>TypeRef.Eqref: {

let tempEqrefs = parentFunction.tempEqrefs;

if (tempEqrefs) temps = tempEqrefs;

else parentFunction.tempEqrefs = temps = [];

break;

}

case <u32>TypeRef.I31ref: {

let tempI31refs = parentFunction.tempI31refs;

if (tempI31refs) temps = tempI31refs;

else parentFunction.tempI31refs = temps = [];

break;

}

case <u32>TypeRef.Dataref: {

let tempDatarefs = parentFunction.tempDatarefs;

if (tempDatarefs) temps = tempDatarefs;

else parentFunction.tempDatarefs = temps = [];

break;

}

default: throw new Error("concrete type expected");

}

assert(local.index >= 0);

temps.push(local);

}

/** Gets the scoped local of the specified name. */

getScopedLocal(name: string): Local | null {

var scopedLocals = this.scopedLocals;

if (scopedLocals !== null && scopedLocals.has(name)) return assert(scopedLocals.get(name));

return null;

}

/** Adds a new scoped local of the specified name. */

addScopedLocal(name: string, type: Type, except: Set<i32> | null = null): Local {

var scopedLocal = this.getTempLocal(type, except);

scopedLocal.setTemporaryName(name);

var scopedLocals = this.scopedLocals;

if (!scopedLocals) this.scopedLocals = scopedLocals = new Map();

else assert(!scopedLocals.has(name));

scopedLocal.set(CommonFlags.SCOPED);

scopedLocals.set(name, scopedLocal);

return scopedLocal;

}

/** Adds a new scoped dummy local of the specified name. */

addScopedDummyLocal(name: string, type: Type, declarationNode: Node): Local {

var scopedDummy = new Local(name, -1, type, this.parentFunction);

var scopedLocals = this.scopedLocals;

if (!scopedLocals) this.scopedLocals = scopedLocals = new Map();

else if (scopedLocals.has(name)) {

this.parentFunction.program.error(

DiagnosticCode.Cannot_redeclare_block_scoped_variable_0,

declarationNode.range, name

);

}

scopedDummy.set(CommonFlags.SCOPED);

scopedLocals.set(name, scopedDummy);

return scopedDummy;

}

/** Adds a new scoped alias for the specified local. For example `super` aliased to the `this` local. */

addScopedAlias(name: string, type: Type, index: i32, reportNode: Node | null = null): Local {

var scopedLocals = this.scopedLocals;

if (!scopedLocals) {

this.scopedLocals = scopedLocals = new Map();

} else if (scopedLocals.has(name)) {

let existingLocal = assert(scopedLocals.get(name));

if (reportNode) {

if (!existingLocal.declaration.range.source.isNative) {

this.parentFunction.program.errorRelated(

DiagnosticCode.Duplicate_identifier_0,

reportNode.range,

existingLocal.declaration.name.range,

name

);

} else {

this.parentFunction.program.error(

DiagnosticCode.Duplicate_identifier_0,

reportNode.range, name

);

}

}

return existingLocal;

}

assert(index < this.parentFunction.localsByIndex.length);

var scopedAlias = new Local(name, index, type, this.parentFunction);

// not flagged as SCOPED as it must not be free'd when the flow is finalized

scopedLocals.set(name, scopedAlias);

return scopedAlias;

}

/** Tests if this flow has any scoped locals that must be free'd. */

get hasScopedLocals(): bool {

var scopedLocals = this.scopedLocals;

if (scopedLocals) {

// TODO: for (let local of scopedLocals.values()) {

for (let _values = Map_values(scopedLocals), i = 0, k = _values.length; i < k; ++i) {

let local = unchecked(_values[i]);

if (local.is(CommonFlags.SCOPED)) { // otherwise an alias

return true;

}

}

}

return false;

}

/** Frees a single scoped local by its name. */

freeScopedDummyLocal(name: string): void {

var scopedLocals = assert(this.scopedLocals);

assert(scopedLocals.has(name));

let local = assert(scopedLocals.get(name));

assert(local.index == -1);

scopedLocals.delete(name);

}

/** Frees this flow's scoped variables and returns its parent flow. */

freeScopedLocals(): void {

var scopedLocals = this.scopedLocals;

if (scopedLocals) {

// TODO: for (let local of scopedLocals.values()) {

for (let _values = Map_values(scopedLocals), i = 0, k = _values.length; i < k; ++i) {

let local = unchecked(_values[i]);

if (local.is(CommonFlags.SCOPED)) { // otherwise an alias

this.freeTempLocal(local);

}

}

this.scopedLocals = null;

}

}

/** Looks up the local of the specified name in the current scope. */

lookupLocal(name: string): Local | null {

var current: Flow | null = this;

do {

let scope = current.scopedLocals;

if (scope !== null && scope.has(name)) return assert(scope.get(name));

current = current.parent;

} while (current);

var localsByName = this.parentFunction.localsByName;

if (localsByName.has(name)) return assert(localsByName.get(name));

return null;

}

/** Looks up the element with the specified name relative to the scope of this flow. */

lookup(name: string): Element | null {

var element = this.lookupLocal(name);

if (element) return element;

return this.actualFunction.lookup(name);

}

/** Tests if the local at the specified index has the specified flag or flags. */

isLocalFlag(index: i32, flag: LocalFlags, defaultIfInlined: bool = true): bool {

if (index < 0) return defaultIfInlined;

var localFlags = this.localFlags;

return index < localFlags.length && (unchecked(localFlags[index]) & flag) == flag;

}

/** Tests if the local at the specified index has any of the specified flags. */

isAnyLocalFlag(index: i32, flag: LocalFlags, defaultIfInlined: bool = true): bool {

if (index < 0) return defaultIfInlined;

var localFlags = this.localFlags;

return index < localFlags.length && (unchecked(localFlags[index]) & flag) != 0;

}

/** Sets the specified flag or flags on the local at the specified index. */

setLocalFlag(index: i32, flag: LocalFlags): void {

if (index < 0) return;

var localFlags = this.localFlags;

var flags = index < localFlags.length ? unchecked(localFlags[index]) : 0;

localFlags[index] = flags | flag;

}

/** Unsets the specified flag or flags on the local at the specified index. */

unsetLocalFlag(index: i32, flag: LocalFlags): void {

if (index < 0) return;

var localFlags = this.localFlags;

var flags = index < localFlags.length ? unchecked(localFlags[index]) : 0;

localFlags[index] = flags & ~flag;

}

/** Initializes `this` field flags. */

initThisFieldFlags(): void {

var actualFunction = this.actualFunction;

assert(actualFunction.is(CommonFlags.CONSTRUCTOR));

var actualParent = actualFunction.parent;

assert(actualParent.kind == ElementKind.CLASS);

var actualClass = <Class>actualParent;

this.thisFieldFlags = new Map();

var members = actualClass.members;

if (members) {

for (let _values = Map_values(members), i = 0, k = _values.length; i < k; ++i) {

let member = _values[i];

if (member.kind == ElementKind.FIELD) {

let field = <Field>member;

if (

// guaranteed by super

field.parent != actualClass ||

// has field initializer

field.initializerNode !== null ||

// is initialized as a ctor parameter

field.prototype.parameterIndex != -1 ||

// is safe to initialize with zero

field.type.isAny(TypeFlags.VALUE | TypeFlags.NULLABLE)

) {

this.setThisFieldFlag(field, FieldFlags.INITIALIZED);

}

}

}

}

}

/** Tests if the specified `this` field has the specified flag or flags. */

isThisFieldFlag(field: Field, flag: FieldFlags): bool {

var fieldFlags = this.thisFieldFlags;

if (fieldFlags != null && fieldFlags.has(field)) {

return (changetype<FieldFlags>(fieldFlags.get(field)) & flag) == flag;

}

return false;

}

/** Sets the specified flag or flags on the given `this` field. */

setThisFieldFlag(field: Field, flag: FieldFlags): void {

var fieldFlags = this.thisFieldFlags;

if (fieldFlags) {

assert(this.actualFunction.is(CommonFlags.CONSTRUCTOR));

if (fieldFlags.has(field)) {

let flags = changetype<FieldFlags>(fieldFlags.get(field));

fieldFlags.set(field, flags | flag);

} else {

fieldFlags.set(field, flag);

}

} else {

assert(!this.actualFunction.is(CommonFlags.CONSTRUCTOR));

}

}

/** Pushes a new break label to the stack, for example when entering a loop that one can `break` from. */

pushBreakLabel(): string {

var parentFunction = this.parentFunction;

var id = parentFunction.nextBreakId++;

var stack = parentFunction.breakStack;

if (!stack) parentFunction.breakStack = [ id ];

else stack.push(id);

var label = id.toString();

parentFunction.breakLabel = label;

return label;

}

/** Pops the most recent break label from the stack. */

popBreakLabel(): void {

var parentFunction = this.parentFunction;

var stack = assert(parentFunction.breakStack);

var length = assert(stack.length);

stack.pop();

if (length > 1) {

parentFunction.breakLabel = stack[length - 2].toString();

} else {

parentFunction.breakLabel = null;

parentFunction.breakStack = null;

}

}

/** Inherits flags of another flow into this one, i.e. a finished inner block. */

inherit(other: Flow): void {

assert(other.parentFunction == this.parentFunction);

assert(other.parent == this); // currently the case, but might change

var otherFlags = other.flags;

// respective inner flags are irrelevant if contexts differ

if (this.breakLabel != other.breakLabel) {

if (otherFlags & (FlowFlags.BREAKS | FlowFlags.CONDITIONALLY_BREAKS)) {

otherFlags &= ~FlowFlags.TERMINATES;

}

otherFlags &= ~(FlowFlags.BREAKS | FlowFlags.CONDITIONALLY_BREAKS);

}

if (this.continueLabel != other.continueLabel) {

otherFlags &= ~(FlowFlags.CONTINUES | FlowFlags.CONDITIONALLY_CONTINUES);

}

this.flags = this.flags | otherFlags; // what happens before is still true

this.localFlags = other.localFlags;

this.thisFieldFlags = other.thisFieldFlags;

}

/** Inherits flags of a conditional branch joining again with this one, i.e. then without else. */

inheritBranch(other: Flow, conditionKind: ConditionKind = ConditionKind.UNKNOWN): void {

assert(other.parentFunction == this.parentFunction);

switch (conditionKind) {

case ConditionKind.TRUE: this.inherit(other); // always executes

case ConditionKind.FALSE: return; // never executes

}

// Note that flags in `this` flow have already happened. For instance,

// a return cannot be undone no matter what'd happen in subsequent branches,

// but an allocation, which doesn't terminate, can become conditional. Not

// all flags have a corresponding conditional flag that's tracked.

var thisFlags = this.flags;

var otherFlags = other.flags;

var newFlags = FlowFlags.NONE;

if (thisFlags & FlowFlags.RETURNS) { // nothing can change that

newFlags |= FlowFlags.RETURNS;

} else if (otherFlags & FlowFlags.RETURNS) {

newFlags |= FlowFlags.CONDITIONALLY_RETURNS;

} else {

newFlags |= (thisFlags | otherFlags) & FlowFlags.CONDITIONALLY_RETURNS;

}

// must be the case in both

newFlags |= thisFlags & otherFlags & FlowFlags.RETURNS_WRAPPED;

newFlags |= thisFlags & otherFlags & FlowFlags.RETURNS_NONNULL;

if (thisFlags & FlowFlags.THROWS) { // nothing can change that

newFlags |= FlowFlags.THROWS;

} else if (otherFlags & FlowFlags.THROWS) {

newFlags |= FlowFlags.CONDITIONALLY_THROWS;

} else {

newFlags |= (thisFlags | otherFlags) & FlowFlags.CONDITIONALLY_THROWS;

}

if (thisFlags & FlowFlags.BREAKS) { // nothing can change that

newFlags |= FlowFlags.BREAKS;

} else if (other.breakLabel == this.breakLabel) {

if (otherFlags & FlowFlags.BREAKS) {

newFlags |= FlowFlags.CONDITIONALLY_BREAKS;

} else {

newFlags |= (thisFlags | otherFlags) & FlowFlags.CONDITIONALLY_BREAKS;

}

} else {

newFlags |= thisFlags & FlowFlags.CONDITIONALLY_BREAKS;

}

if (thisFlags & FlowFlags.CONTINUES) { // nothing can change that

newFlags |= FlowFlags.CONTINUES;

} else if (other.continueLabel === this.continueLabel) {

if (otherFlags & FlowFlags.CONTINUES) {

newFlags |= FlowFlags.CONDITIONALLY_CONTINUES;

} else {

newFlags |= (thisFlags | otherFlags) & FlowFlags.CONDITIONALLY_CONTINUES;

}

} else {

newFlags |= thisFlags & FlowFlags.CONDITIONALLY_CONTINUES;

}

if (thisFlags & FlowFlags.ACCESSES_THIS) { // can become conditional

if (otherFlags & FlowFlags.ACCESSES_THIS) {

newFlags |= FlowFlags.ACCESSES_THIS;

} else {

newFlags |= FlowFlags.CONDITIONALLY_ACCESSES_THIS;

}

} else if (otherFlags & FlowFlags.ACCESSES_THIS) {

newFlags |= FlowFlags.CONDITIONALLY_ACCESSES_THIS;

}

// may be the case in any

newFlags |= (thisFlags | otherFlags) & FlowFlags.MAY_RETURN_NONTHIS;

// must be the case in both

newFlags |= thisFlags & otherFlags & FlowFlags.CALLS_SUPER;

if (thisFlags & FlowFlags.TERMINATES) { // nothing can change that

newFlags |= FlowFlags.TERMINATES;

}

this.flags = newFlags | (thisFlags & (FlowFlags.UNCHECKED_CONTEXT | FlowFlags.CTORPARAM_CONTEXT));

// local flags

var thisLocalFlags = this.localFlags;

var numThisLocalFlags = thisLocalFlags.length;

var otherLocalFlags = other.localFlags;

var numOtherLocalFlags = otherLocalFlags.length;

var maxLocalFlags = max(numThisLocalFlags, numOtherLocalFlags);

for (let i = 0; i < maxLocalFlags; ++i) {

let thisFlags = i < numThisLocalFlags ? thisLocalFlags[i] : 0;

let otherFlags = i < numOtherLocalFlags ? otherLocalFlags[i] : 0;

thisLocalFlags[i] = thisFlags & otherFlags & (

LocalFlags.CONSTANT |

LocalFlags.WRAPPED |

LocalFlags.NONNULL |

LocalFlags.INITIALIZED

);

}

// field flags do not matter here since there's only INITIALIZED, which can

// only be set if it has been observed prior to entering the branch.

}

/** Inherits mutual flags of two alternate branches becoming this one, i.e. then with else. */

inheritMutual(left: Flow, right: Flow): void {

assert(left.parentFunction == right.parentFunction);

assert(left.parentFunction == this.parentFunction);

// This differs from the previous method in that no flags are guaranteed

// to happen unless it is the case in both flows.

var leftFlags = left.flags;

var rightFlags = right.flags;

var newFlags = FlowFlags.NONE;

if (leftFlags & FlowFlags.RETURNS) {

if (rightFlags & FlowFlags.RETURNS) {

newFlags |= FlowFlags.RETURNS;

} else {

newFlags |= FlowFlags.CONDITIONALLY_RETURNS;

}

} else if (rightFlags & FlowFlags.RETURNS) {

newFlags |= FlowFlags.CONDITIONALLY_RETURNS;

} else {

newFlags |= (leftFlags | rightFlags) & FlowFlags.CONDITIONALLY_RETURNS;

}

if ((leftFlags & FlowFlags.RETURNS_WRAPPED) && (rightFlags & FlowFlags.RETURNS_WRAPPED)) {

newFlags |= FlowFlags.RETURNS_WRAPPED;

}

if ((leftFlags & FlowFlags.RETURNS_NONNULL) && (rightFlags & FlowFlags.RETURNS_NONNULL)) {

newFlags |= FlowFlags.RETURNS_NONNULL;

}

if (leftFlags & FlowFlags.THROWS) {

if (rightFlags & FlowFlags.THROWS) {

newFlags |= FlowFlags.THROWS;

} else {

newFlags |= FlowFlags.CONDITIONALLY_THROWS;

}

} else if (rightFlags & FlowFlags.THROWS) {

newFlags |= FlowFlags.CONDITIONALLY_THROWS;

} else {

newFlags |= (leftFlags | rightFlags) & FlowFlags.CONDITIONALLY_THROWS;

}

if (leftFlags & FlowFlags.BREAKS) {

if (rightFlags & FlowFlags.BREAKS) {

newFlags |= FlowFlags.BREAKS;

} else {

newFlags |= FlowFlags.CONDITIONALLY_BREAKS;

}

} else if (rightFlags & FlowFlags.BREAKS) {

newFlags |= FlowFlags.CONDITIONALLY_BREAKS;

} else {

newFlags |= (leftFlags | rightFlags) & FlowFlags.CONDITIONALLY_BREAKS;

}

if (leftFlags & FlowFlags.CONTINUES) {

if (rightFlags & FlowFlags.CONTINUES) {

newFlags |= FlowFlags.CONTINUES;

} else {

newFlags |= FlowFlags.CONDITIONALLY_CONTINUES;

}

} else if (rightFlags & FlowFlags.CONTINUES) {

newFlags |= FlowFlags.CONDITIONALLY_CONTINUES;

} else {

newFlags |= (leftFlags | rightFlags) & FlowFlags.CONDITIONALLY_CONTINUES;

}

if (leftFlags & FlowFlags.ACCESSES_THIS) {

if (rightFlags & FlowFlags.ACCESSES_THIS) {

newFlags |= FlowFlags.ACCESSES_THIS;

} else {

newFlags |= FlowFlags.CONDITIONALLY_ACCESSES_THIS;

}

} else if (rightFlags & FlowFlags.ACCESSES_THIS) {

newFlags |= FlowFlags.CONDITIONALLY_ACCESSES_THIS;

} else {

newFlags |= (leftFlags | rightFlags) & FlowFlags.CONDITIONALLY_ACCESSES_THIS;

}

newFlags |= (leftFlags | rightFlags) & FlowFlags.MAY_RETURN_NONTHIS;

if ((leftFlags & FlowFlags.CALLS_SUPER) && (rightFlags & FlowFlags.CALLS_SUPER)) {

newFlags |= FlowFlags.CALLS_SUPER;

}

if ((leftFlags & FlowFlags.TERMINATES) && (rightFlags & FlowFlags.TERMINATES)) {

newFlags |= FlowFlags.TERMINATES;

}

this.flags = newFlags | (this.flags & (FlowFlags.UNCHECKED_CONTEXT | FlowFlags.CTORPARAM_CONTEXT));

// local flags

var thisLocalFlags = this.localFlags;

if (leftFlags & FlowFlags.TERMINATES) {

if (!(rightFlags & FlowFlags.TERMINATES)) {

let rightLocalFlags = right.localFlags;

for (let i = 0, k = rightLocalFlags.length; i < k; ++i) {

thisLocalFlags[i] = rightLocalFlags[i];

}

}

} else if (rightFlags & FlowFlags.TERMINATES) {

let leftLocalFlags = left.localFlags;

for (let i = 0, k = leftLocalFlags.length; i < k; ++i) {

thisLocalFlags[i] = leftLocalFlags[i];

}

} else {

let leftLocalFlags = left.localFlags;

let numLeftLocalFlags = leftLocalFlags.length;

let rightLocalFlags = right.localFlags;

let numRightLocalFlags = rightLocalFlags.length;

let maxLocalFlags = max(numLeftLocalFlags, numRightLocalFlags);

for (let i = 0; i < maxLocalFlags; ++i) {

let leftFlags = i < numLeftLocalFlags ? leftLocalFlags[i] : 0;

let rightFlags = i < numRightLocalFlags ? rightLocalFlags[i] : 0;

thisLocalFlags[i] = leftFlags & rightFlags & (

LocalFlags.CONSTANT |

LocalFlags.WRAPPED |

LocalFlags.NONNULL |

LocalFlags.INITIALIZED

);

}

}

// field flags (currently only INITIALIZED, so can simplify)

var leftFieldFlags = left.thisFieldFlags;

if (leftFieldFlags) {

let newFieldFlags = new Map<Field,FieldFlags>();

let rightFieldFlags = assert(right.thisFieldFlags);

for (let _keys = Map_keys(leftFieldFlags), i = 0, k = _keys.length; i < k; ++i) {

let key = _keys[i];

let leftFlags = changetype<FieldFlags>(leftFieldFlags.get(key));

if (

(leftFlags & FieldFlags.INITIALIZED) != 0 && rightFieldFlags.has(key) &&

(changetype<FieldFlags>(rightFieldFlags.get(key)) & FieldFlags.INITIALIZED)

) {

newFieldFlags.set(key, FieldFlags.INITIALIZED);

}

}

this.thisFieldFlags = newFieldFlags;

} else {

assert(!right.thisFieldFlags);

}

}

/** Tests if the specified flows have differing local states. */

static hasIncompatibleLocalStates(before: Flow, after: Flow): bool {

var numThisLocalFlags = before.localFlags.length;

var numOtherLocalFlags = after.localFlags.length;

var parentFunction = before.parentFunction;

assert(parentFunction === after.parentFunction);

var localsByIndex = parentFunction.localsByIndex;

assert(localsByIndex === after.parentFunction.localsByIndex);

for (let i = 0, k = min<i32>(numThisLocalFlags, numOtherLocalFlags); i < k; ++i) {

let local = localsByIndex[i];

let type = local.type;

if (type.isShortIntegerValue) {

if (before.isLocalFlag(i, LocalFlags.WRAPPED) && !after.isLocalFlag(i, LocalFlags.WRAPPED)) {

return true;

}

}

if (type.isNullableReference) {

if (before.isLocalFlag(i, LocalFlags.NONNULL) && !after.isLocalFlag(i, LocalFlags.NONNULL)) {

return true;

}

}

}

return false;

}

/** Unifies local flags between this and the other flow. */

unifyLocalFlags(other: Flow): void {

var numThisLocalFlags = this.localFlags.length;

var numOtherLocalFlags = other.localFlags.length;

for (let i = 0, k = min<i32>(numThisLocalFlags, numOtherLocalFlags); i < k; ++i) {

if (this.isLocalFlag(i, LocalFlags.WRAPPED) != other.isLocalFlag(i, LocalFlags.WRAPPED)) {

this.unsetLocalFlag(i, LocalFlags.WRAPPED); // assume not wrapped

}

if (this.isLocalFlag(i, LocalFlags.NONNULL) != other.isLocalFlag(i, LocalFlags.NONNULL)) {

this.unsetLocalFlag(i, LocalFlags.NONNULL); // assume possibly null

}

}

}

/** Checks if an expression of the specified type is known to be non-null, even if the type might be nullable. */

isNonnull(expr: ExpressionRef, type: Type): bool {

if (!type.isNullableReference) return true;

// below, only teeLocal/getLocal are relevant because these are the only expressions that

// depend on a dynamic nullable state (flag = LocalFlags.NONNULL), while everything else

// has already been handled by the nullable type check above.

switch (getExpressionId(expr)) {

case ExpressionId.LocalSet: {