Skip to content

Remove compat javascript behaviour for string concatenation #1682

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 12 commits into from
Mar 8, 2021
Merged

Remove compat javascript behaviour for string concatenation #1682

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
61aaceb
remove leacy behaviour
MaxGraey Feb 12, 2021
a0fc47f
refactor
MaxGraey Feb 13, 2021
7dc7de2
update fixtures
MaxGraey Feb 13, 2021
9e233e5
Merge branch 'master' into str-remove-legacy
MaxGraey Feb 21, 2021
613d500
upd
MaxGraey Feb 21, 2021
78f16f8
switch to null reference exception for concat operator
MaxGraey Feb 21, 2021
bfff3b9
Merge branch 'master' into str-remove-legacy
MaxGraey Feb 22, 2021
6ebf938
update fixtures
MaxGraey Feb 22, 2021
3f36c89
Merge branch 'master' into str-remove-legacy
MaxGraey Mar 2, 2021
460c050
remove unnecessary null checks
MaxGraey Mar 2, 2021
0a50ea3
Merge branch 'master' into str-remove-legacy
MaxGraey Mar 6, 2021
1e4257c
Merge branch 'master' into str-remove-legacy
MaxGraey Mar 8, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions std/assembly/string.ts
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -80,11 +80,11 @@ import { Array } from "./array";
}

@operator("+") private static __concat(left: String, right: String): String {
return select<String>(left, changetype<String>("null"), left !== null).concat(right);
return left !== null ? left.concat(right) : right;
}

concat(other: String): String {
if (other === null) other = changetype<String>("null");
if (other === null) return this;
var thisSize: isize = this.length << 1;
var otherSize: isize = other.length << 1;
var outSize: usize = thisSize + otherSize;
Expand Down Expand Up @@ -196,7 +196,7 @@ import { Array } from "./array";
}

startsWith(search: String, start: i32 = 0): bool {
if (search === null) search = changetype<String>("null");
if (search === null) return false;
var len = <isize>this.length;
var searchStart = min(max(<isize>start, 0), len);
var searchLength = <isize>search.length;
Expand Down
181 changes: 88 additions & 93 deletions tests/compiler/std/array-access.optimized.wat
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,9 +13,7 @@
(data (i32.const 1160) "\01\00\00\00^\00\00\00E\00l\00e\00m\00e\00n\00t\00 \00t\00y\00p\00e\00 \00m\00u\00s\00t\00 \00b\00e\00 \00n\00u\00l\00l\00a\00b\00l\00e\00 \00i\00f\00 \00a\00r\00r\00a\00y\00 \00i\00s\00 \00h\00o\00l\00e\00y")
(data (i32.const 1276) "\1c")
(data (i32.const 1288) "\01")
(data (i32.const 1308) "\1c")
(data (i32.const 1320) "\01\00\00\00\08\00\00\00n\00u\00l\00l")
(global $~lib/memory/__stack_pointer (mut i32) (i32.const 17724))
(global $~lib/memory/__stack_pointer (mut i32) (i32.const 17692))
(export "memory" (memory $0))
(export "i32ArrayArrayElementAccess" (func $export:std/array-access/i32ArrayArrayElementAccess))
(export "stringArrayPropertyAccess" (func $export:std/array-access/stringArrayPropertyAccess))
Expand All @@ -24,11 +22,11 @@
(export "stringArrayArrayMethodCall" (func $export:std/array-access/stringArrayArrayMethodCall))
(func $~stack_check
global.get $~lib/memory/__stack_pointer
i32.const 1340
i32.const 1308
i32.lt_s
if
i32.const 17744
i32.const 17792
i32.const 17712
i32.const 17760
i32.const 1
i32.const 1
call $~lib/builtins/abort
Expand All @@ -41,19 +39,16 @@
(local $3 i32)
(local $4 i32)
global.get $~lib/memory/__stack_pointer
i32.const 12
i32.const 8
i32.sub
global.set $~lib/memory/__stack_pointer
call $~stack_check
global.get $~lib/memory/__stack_pointer
i64.const 0
i64.store
global.get $~lib/memory/__stack_pointer
i32.const 0
i32.store offset=8
global.get $~lib/memory/__stack_pointer
local.get $0
i32.store offset=4
i32.store
local.get $0
i32.const 20
i32.sub
Expand All @@ -63,7 +58,7 @@
local.set $1
global.get $~lib/memory/__stack_pointer
i32.const 1296
i32.store offset=4
i32.store
local.get $1
i32.const 1292
i32.load
Expand All @@ -78,104 +73,104 @@
select
local.tee $1
i32.add
i32.lt_s
i32.ge_s
if
global.get $~lib/memory/__stack_pointer
i32.const 12
i32.add
global.set $~lib/memory/__stack_pointer
i32.const 0
return
end
global.get $~lib/memory/__stack_pointer
local.get $0
i32.store offset=4
global.get $~lib/memory/__stack_pointer
i32.const 1296
i32.store offset=8
block $__inlined_func$~lib/util/string/compareImpl (result i32)
i32.const 1296
local.set $3
local.get $0
local.get $1
i32.const 1
i32.shl
i32.add
local.tee $4
i32.const 7
i32.and
i32.eqz
i32.const 0
local.get $2
local.tee $0
i32.const 4
i32.ge_u
select
if
loop $do-continue|0
local.get $4
i64.load
local.get $3
i64.load
i64.eq
i32.store
global.get $~lib/memory/__stack_pointer
i32.const 1296
i32.store offset=4
block $__inlined_func$~lib/util/string/compareImpl (result i32)
i32.const 1296
local.set $3
local.get $0
local.get $1
i32.const 1
i32.shl
i32.add
local.tee $4
i32.const 7
i32.and
i32.eqz
i32.const 0
local.get $2
local.tee $0
i32.const 4
i32.ge_u
select
if
loop $do-continue|0
local.get $4
i64.load
local.get $3
i64.load
i64.eq
if
local.get $4
i32.const 8
i32.add
local.set $4
local.get $3
i32.const 8
i32.add
local.set $3
local.get $0
i32.const 4
i32.sub
local.tee $0
i32.const 4
i32.ge_u
br_if $do-continue|0
end
end
end
loop $while-continue|1
local.get $0
local.tee $1
i32.const 1
i32.sub
local.set $0
local.get $1
if
local.get $3
i32.load16_u
local.tee $1
local.get $4
i32.load16_u
local.tee $2
i32.ne
if
local.get $2
local.get $1
i32.sub
br $__inlined_func$~lib/util/string/compareImpl
end
local.get $4
i32.const 8
i32.const 2
i32.add
local.set $4
local.get $3
i32.const 8
i32.const 2
i32.add
local.set $3
local.get $0
i32.const 4
i32.sub
local.tee $0
i32.const 4
i32.ge_u
br_if $do-continue|0
br $while-continue|1
end
end
i32.const 0
end
loop $while-continue|1
local.get $0
local.tee $1
i32.const 1
i32.sub
local.set $0
local.get $1
if
local.get $3
i32.load16_u
local.tee $1
local.get $4
i32.load16_u
local.tee $2
i32.ne
if
local.get $2
local.get $1
i32.sub
br $__inlined_func$~lib/util/string/compareImpl
end
local.get $4
i32.const 2
i32.add
local.set $4
local.get $3
i32.const 2
i32.add
local.set $3
br $while-continue|1
end
end
i32.const 0
global.get $~lib/memory/__stack_pointer
i32.const 8
i32.add
global.set $~lib/memory/__stack_pointer
i32.eqz
return
end
global.get $~lib/memory/__stack_pointer
i32.const 12
i32.const 8
i32.add
global.set $~lib/memory/__stack_pointer
i32.eqz
i32.const 0
)
(func $~lib/array/Array<~lib/array/Array<i32>>#__get (param $0 i32) (param $1 i32) (result i32)
global.get $~lib/memory/__stack_pointer
Expand Down
38 changes: 19 additions & 19 deletions tests/compiler/std/array-access.untouched.wat
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,12 +11,11 @@
(data (i32.const 76) ",\00\00\00\00\00\00\00\00\00\00\00\01\00\00\00\1a\00\00\00~\00l\00i\00b\00/\00a\00r\00r\00a\00y\00.\00t\00s\00\00\00")
(data (i32.const 124) "|\00\00\00\00\00\00\00\00\00\00\00\01\00\00\00^\00\00\00E\00l\00e\00m\00e\00n\00t\00 \00t\00y\00p\00e\00 \00m\00u\00s\00t\00 \00b\00e\00 \00n\00u\00l\00l\00a\00b\00l\00e\00 \00i\00f\00 \00a\00r\00r\00a\00y\00 \00i\00s\00 \00h\00o\00l\00e\00y\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00")
(data (i32.const 252) "\1c\00\00\00\00\00\00\00\00\00\00\00\01\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00")
(data (i32.const 284) "\1c\00\00\00\00\00\00\00\00\00\00\00\01\00\00\00\08\00\00\00n\00u\00l\00l\00\00\00\00\00")
(table $0 1 funcref)
(global $~lib/ASC_SHRINK_LEVEL i32 (i32.const 0))
(global $~lib/memory/__data_end i32 (i32.const 316))
(global $~lib/memory/__stack_pointer (mut i32) (i32.const 16700))
(global $~lib/memory/__heap_base i32 (i32.const 16700))
(global $~lib/memory/__data_end i32 (i32.const 284))
(global $~lib/memory/__stack_pointer (mut i32) (i32.const 16668))
(global $~lib/memory/__heap_base i32 (i32.const 16668))
(export "memory" (memory $0))
(export "i32ArrayArrayElementAccess" (func $export:std/array-access/i32ArrayArrayElementAccess))
(export "stringArrayPropertyAccess" (func $export:std/array-access/stringArrayPropertyAccess))
Expand Down Expand Up @@ -169,8 +168,8 @@
global.get $~lib/memory/__data_end
i32.lt_s
if
i32.const 16720
i32.const 16768
i32.const 16688
i32.const 16736
i32.const 1
i32.const 1
call $~lib/builtins/abort
Expand Down Expand Up @@ -248,30 +247,31 @@
(local $7 i32)
(local $8 i32)
global.get $~lib/memory/__stack_pointer
i32.const 12
i32.const 8
i32.sub
global.set $~lib/memory/__stack_pointer
call $~stack_check
global.get $~lib/memory/__stack_pointer
i64.const 0
i64.store
global.get $~lib/memory/__stack_pointer
i32.const 0
i32.store offset=8
local.get $1
i32.const 0
i32.eq
if
i32.const 0
local.set $8
global.get $~lib/memory/__stack_pointer
i32.const 304
local.tee $1
i32.store
i32.const 8
i32.add
global.set $~lib/memory/__stack_pointer
local.get $8
return
end
local.get $0
local.set $8
global.get $~lib/memory/__stack_pointer
local.get $8
i32.store offset=4
i32.store
local.get $8
call $~lib/string/String#get:length
local.set $3
Expand All @@ -295,7 +295,7 @@
local.set $8
global.get $~lib/memory/__stack_pointer
local.get $8
i32.store offset=4
i32.store
local.get $8
call $~lib/string/String#get:length
local.set $7
Expand All @@ -308,7 +308,7 @@
i32.const 0
local.set $8
global.get $~lib/memory/__stack_pointer
i32.const 12
i32.const 8
i32.add
global.set $~lib/memory/__stack_pointer
local.get $8
Expand All @@ -318,22 +318,22 @@
local.set $8
global.get $~lib/memory/__stack_pointer
local.get $8
i32.store offset=4
i32.store
local.get $8
local.get $6
local.get $1
local.set $8
global.get $~lib/memory/__stack_pointer
local.get $8
i32.store offset=8
i32.store offset=4
local.get $8
i32.const 0
local.get $7
call $~lib/util/string/compareImpl
i32.eqz
local.set $8
global.get $~lib/memory/__stack_pointer
i32.const 12
i32.const 8
i32.add
global.set $~lib/memory/__stack_pointer
local.get $8
Expand Down
Loading