Michael Ficarra michaelficarra

Irreducible control flow in Wasm

This is a summary of current discussions, and a follow-up to our recent meetings, prompted by the issue here. Anyone who's been following along with the last few weeks of discussions and presentations might wish to skip directly to the follow-up part.

What is irreducible control flow?

Reducible control flow is the control flow directly representable through semi-structured control flow constructs (loops, conditionals, and break/continue). It can be characterised in terms of a property of the control flow graph that all loops are single-entry. For more details, see the diagram and "Reducibility" subsection here.

Irreducible control flow is roughly "everything else". For example, goto into the middle of a loop would result in irreducible

PureScript Unsession

Introduction

This doc - https://gist.github.com/paf31/80fdea566b0f7cfefadd
About me
About you
About PureScript
- Features
Type Inference

Most active GitHub users (git.io/top)

The list would not be updated for now. Don't write comments.

The count of contributions (summary of Pull Requests, opened issues and commits) to public repos at GitHub.com from Wed, 21 Sep 2022 till Thu, 21 Sep 2023.

Because of GitHub search limitations, only 1000 first users according to amount of followers are included. If you are not in the list you don't have enough followers. See raw data and source code. Algorithm in pseudocode:

githubUsers


	(function x(){"use strict"; x = 1;}()); // TypeError
	(function x(){x = 1; return x !== 1;}()); // write fails silently; function returns true

	(function x(){"use strict"; x = (function(){throw 0;})();})() // Error 0

	// These three lines rely on ES6.
	(function x(){const x = 1;})() // No-op. In particular, not a redeclaration of x.
	(function (){"use strict"; const x = 1; x = 2;})() // TypeError
	(function (){const x = 1; x = 2;})() // TypeError. contrast (function x(){x = 2;}());

	#include <stdio.h>

	int main() {
	int *p = 0;
	char line[1024];

	printf("> ");
	fgets(line, 1024, stdin);

	*p = 12;

	fs = require 'fs'

	esprima = require 'esprima'
	escope = require 'escope'
	eslevels = require 'eslevels'

	js = (fs.readFileSync './input.js').toString()
	ast = esprima.parse js, {range: yes}
	scopes = (escope.analyze ast).scopes

	Q = require './q'

	class exports.Task
	constructor: (@promise) ->

	value: null
	reason: null

	result: ->
	unless @promise.isResolved()

	# config/initializers/source_maps.rb

	if Rails.env.development?
	require 'open3'
	module CoffeeScript
	class SourceMapError < StandardError; end;

	class << self

	def map_dir

	var module = (function (exports) {
	var NameSequence,
	ZeroSequenceCache;

	NameSequence = '0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ'.split('');
	ZeroSequenceCache = [];

	function stringRepeat(str, num) {
	var result = '';

	:%s/[\r \t]\+$//
	:%s/() ->/->/c
	:%s/if \!/unless /c
	:%s/;$//c
	:%s/^\(\s*\)\(@\?[a-z0-9$_]\+\)()/\1do \2/ic
	:%s/\!==?/isnt/c
	:%s/===\?/is/c
	:%s/\([a-z0-9$_]\)(\([^)]\+\))$/\1 \2/ic
	:%s/true/yes/c
	:%s/false/no/c