fluencelabs/assemblyscript
1
0
Fork 0
mirror of https://github.com/fluencelabs/assemblyscript synced 2025-05-29 07:31:39 +00:00
Code Issues Projects Releases Wiki Activity

link on property assign

Browse Source
This commit is contained in:
dcode 2019-03-19 19:52:47 +01:00
parent 81039c4167
commit 89b9d46fa3
1 changed files with 27 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

37
src/compiler.ts
View File

@ -4860,35 +4860,52 @@ export class Compiler extends DiagnosticEmitter {
this.options.usizeType, this.options.usizeType,
WrapMode.NONE WrapMode.NONE
); );
let thisType = this.currentType;
let type = (<Field>target).type; let type = (<Field>target).type;
this.currentType = tee ? type : Type.void;
let nativeType = type.toNativeType(); let nativeType = type.toNativeType();
if (type.kind == TypeKind.BOOL) { if (type.kind == TypeKind.BOOL) {
// make sure bools are wrapped (usually are) when storing as 8 bits // make sure bools are wrapped (usually are) when storing as 8 bits
valueWithCorrectType = this.ensureSmallIntegerWrap(valueWithCorrectType, type); valueWithCorrectType = this.ensureSmallIntegerWrap(valueWithCorrectType, type);
} }
let program = this.program;
let tempThis: Local | null = null;
if (type.isManaged(program) && thisType.isManaged(program)) {
let linkInstance = this.resolver.resolveFunction(assert(program.linkPrototype), [ type, thisType ]);
if (!linkInstance) {
this.currentType = tee ? type : Type.void;
return module.createUnreachable();
}
tempThis = this.currentFlow.getTempLocal(thisType, false);
// this = (tempThis = this)
thisExpr = module.createTeeLocal(tempThis.index, thisExpr);
// value = LINK(value, tempThis)
valueWithCorrectType = this.makeCallInline(linkInstance, [
valueWithCorrectType,
module.createGetLocal(tempThis.index, this.options.nativeSizeType)
], 0, true);
}
if (tee) { if (tee) {
let flow = this.currentFlow; let tempValue = this.currentFlow.getAndFreeTempLocal(
let tempLocal = flow.getAndFreeTempLocal(
type, type,
!flow.canOverflow(valueWithCorrectType, type) !flow.canOverflow(valueWithCorrectType, type)
); );
let tempLocalIndex = tempLocal.index; if (tempThis) this.currentFlow.freeTempLocal(tempThis);
// TODO: simplify if valueWithCorrectType has no side effects this.currentType = type;
// TODO: call __gc_link here if a GC is present // (this.field = (tempValue = value)), tempValue
return module.createBlock(null, [ return module.createBlock(null, [
module.createSetLocal(tempLocalIndex, valueWithCorrectType),
module.createStore( module.createStore(
type.byteSize, type.byteSize,
thisExpr, thisExpr,
module.createGetLocal(tempLocalIndex, nativeType), module.createTeeLocal(tempValue.index, valueWithCorrectType),
nativeType, nativeType,
(<Field>target).memoryOffset (<Field>target).memoryOffset
), ),
module.createGetLocal(tempLocalIndex, nativeType) module.createGetLocal(tempValue.index, nativeType)
], nativeType); ], nativeType);
} else { } else {
// TODO: call __gc_link here if a GC is present if (tempThis) this.currentFlow.freeTempLocal(tempThis);
this.currentType = Type.void;
// this.field = value
return module.createStore( return module.createStore(
type.byteSize, type.byteSize,
thisExpr, thisExpr,