Hi, I started looking for a JS frontend for the llvm today because I found webpack to be very difficult to use, and I was hoping I could use some combo of ts-llvm and emscripten to "compile" my javascript (and typescript) for the browser. I think this project would be suitable, but it doesn't seem to be feature complete enough yet.

I'm not sure if you considered a use case like this, I'm not even sure it would be very practical. But I thought it might be worth mentioning.

There didn't seem to be a js to llvm compiler out there, will this project work to compile plain js to llvm?

happy hacking,

This issue lists language features to be implemented for the v1.0 release. For the standard library roadmap, see #7.

Note that ts-llvm will not attempt to implement all JavaScript/TypeScript language features, only those that are used the most and are compatible with strict typing. Language features not in this list will be implemented later.

See e.g. this JavaScript reference for a full list of JS language features:
https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference

For a full list of TypeScript-specific language features, see the TypeScript handbook:
https://www.typescriptlang.org/docs/handbook/basic-types.html

Data types:

• Booleans
• Numbers
• Strings
• Array of numbers/booleans/strings
• Array of objects
• Objects
• Null or undefined
• Functions as parameters and return values

Statements:

• Top-level statements
• if...else
• while
• for
• for...of
• break
• continue

Declarations:

• Global functions
• Local functions
• Variable declarations
• Classes
• Class constructors
• Class methods

Expressions:

• Number literals
• Boolean literals
• String literals
• Object literals
  • Shorthand property names
• Array literals
• this (for classes)

Operators:

• =
• Comparison operators ===, !==, <, >, <=, >=
  • for numbers
  • for booleans
  • for strings
  • for objects
• Arithmetic operators for numbers +, -, *, /, %
• + for strings
• Bitwise operators &, |, ^, ~, <<, >>, >>>
• Logical operators !, &&, ||
• Assignment operators +=, -=, *=, /=, %=, &=, |=, ^=, <<=, >>=, >>>=
• [] (for arrays)

TS features:

• Generic classes
• Generic functions
• Enums
• Interfaces
• Union types with at least null or undefined. See #5 for more discussion.
• Function types

Miscellaneous:

• Garbage collection (#1)

Is this project still active?

• Languages features roadmap (#6)
• Standard library roadmap (#7)
• Design document

Hi, i want to add union type. However, i rarely use js, so some concepts which i understand may be error.
I will describe my thoughts about union type and if you approve it, then i will commit pr when done.

Example
ts code

function foo(): string | number | undefined;

converted to llvm-ir

%string = type { i8*, i32 }
%string.number.box = type { i32, %string, double}

so, the first i32 means the real return type's index, and then 0 means undefined.

Thus, we can use type { i32, [ 0 x i8 ] } to indicate undefined and use i32* null to indicate null in ts.

When union type is used on the parameter, i only get a certain type from parameter because function emitted when called, the type of parameter passed in at this time is ok. In this way, function will be emitted for each combination of parameter types. This can cause serious code bloat problem. Must do something to merge these function.

I have to say this is exactly the wasm solution for typescript that I'm looking for, @emlai great job! 👍 But I also notice this project has been stopped for 3 months, would this project be continued?

This issue lists standard library features to be implemented for the v1.0 release.

Note that ts-llvm will not attempt to implement all of the JavaScript standard library, only those features that are used the most and are compatible with strict typing. Language features not in this list will be implemented later.

See e.g. this JavaScript reference for a full list of JS standard library features:
https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects

Standard library APIs implemented currently in ts-llvm can be seen in: https://github.com/ts-llvm/ts-llvm/blob/master/lib/lib.ts-llvm.d.ts. Their implementations are in https://github.com/ts-llvm/ts-llvm/tree/master/lib/runtime.

Array:

• constructor from array literal
• length (get only)
• push (single parameter only)
• element access via subscript
• includes
• join
• indexOf
• lastIndexOf
• slice
• toString
• every
• filter
• find
• findIndex
• map
• reduce
• some

String:

• constructor from string literal
• length
• concat (single parameter only)
• includes
• endsWith
• startsWith
• indexOf
• lastIndexOf
• replace (no regex)
• split
• slice
• substring
• toLowerCase
• toUpperCase
• trim
• toString

Map:

• constructor
• size
• clear
• delete
• get
• has
• set
• keys
• values

Set:

• constructor
• size
• add
• clear
• delete
• has
• keys
• values

console:

• log

Global functions:

• parseFloat
• parseInt

such as Code Climate, Coveralls, etc.

When I run npm test, I got an error:

Error: Command failed: llc -O3 -filetype=obj array.bc -o array.o
llc: array.bc: error: Invalid type for value

    at checkExecSyncError (child_process.js:600:11)
    at Object.execFileSync (child_process.js:618:13)
    at writeExecutableToFile (/Users/z/Projects/Node/ts-llvm/src/main.ts:106:5)
    at main (/Users/z/Projects/Node/ts-llvm/src/main.ts:72:5)
    at Object.<anonymous> (/Users/z/Projects/Node/ts-llvm/src/main.ts:22:3)
    at Module._compile (internal/modules/cjs/loader.js:689:30)
    at Module.m._compile (/Users/z/Projects/Node/ts-llvm/node_modules/ts-node/src/index.ts:439:23)
    at Module._extensions..js (internal/modules/cjs/loader.js:700:10)
    at Object.require.extensions.(anonymous function) [as .ts] (/Users/z/Projects/Node/ts-llvm/node_modules/ts-node/src/index.ts:442:12)
    at Module.load (internal/modules/cjs/loader.js:599:32)

or

$ npm test

> [email protected] test /Users/z/Projects/Node/ts-llvm
> ts-node test/test-runner.ts

Error: Command failed: llc -O3 -filetype=obj boolean.bc -o boolean.o
llc: boolean.bc: error: Invalid type for value

    at checkExecSyncError (child_process.js:600:11)
    at Object.execFileSync (child_process.js:618:13)
    at writeExecutableToFile (/Users/z/Projects/Node/ts-llvm/src/main.ts:106:5)
    at main (/Users/z/Projects/Node/ts-llvm/src/main.ts:72:5)
    at Object.<anonymous> (/Users/z/Projects/Node/ts-llvm/src/main.ts:22:3)
    at Module._compile (internal/modules/cjs/loader.js:689:30)
    at Module.m._compile (/Users/z/Projects/Node/ts-llvm/node_modules/ts-node/src/index.ts:439:23)
    at Module._extensions..js (internal/modules/cjs/loader.js:700:10)
    at Object.require.extensions.(anonymous function) [as .ts] (/Users/z/Projects/Node/ts-llvm/node_modules/ts-node/src/index.ts:442:12)
    at Module.load (internal/modules/cjs/loader.js:599:32)

I tried with [email protected] and [email protected] (macos, installed via brew), the npm install finished without any error message, did I miss something?