Merge cranelift 0.43.1 #4

bjfish · 2019-09-21T17:51:07Z

See for the current diff with Cranelift/master:
bytecodealliance/cranelift@0024169...wasmerio:feature/merge-cranelift-0-43-1

Fix for `https://github.com/CraneStation/cranelift/issues/826`. This fix will require 1.36 minimal version for all Cranelift. Right? Update cranelift-simplejit/src/memory.rs Co-Authored-By: bjorn3 <[email protected]> Update memory.rs

This assert was added when porting legalization from Python to Rust and doesn't hold when we have derived type variables.

… constraints;

…e cases;

…ons; (since they're unused)

…out`

…comparison in meta;

…linux

…dealliance#843)

* Add support for some serde serialization

* Do not import libc on windows

@bnjbvr

Contains fixes from @bnjbvr to codegen as a part of bnjbvr#2; necessary for SIMD features to work

Also, ties SIMD ISA predicates to the shared enable_simd setting

…ixes bytecodealliance#1016

Enables automated fuzzing on Fuzzit. Runs fuzz regression tests every push and PR. Runs full fuzzing every push. Fuzzit emails if it finds crashes. Uses the existing fuzz targets: * translate-module - Fuzz valid WebAssembly modules. * reader-parse - Fuzz IR text format parsing.

…nts (bytecodealliance#997) Fixes bytecodealliance#996

Co-Authored-By: bjorn3 <[email protected]>

…ecodealliance#1041) Also fixes broken links to point to docs.rs; see bytecodealliance#1041 (comment), there doesn't currently seem to be a way to link to a type in a dependent crate.

… optional (bytecodealliance#1044) This patch: * removes the "default" opt level, on the basis that it has no definition and is referred to nowhere in the compiler. * renames the "fastest" level to "none". The resulting set of transformations is unchanged. * renames the "best" level to "speed_and_size". The resulting set of transformations is unchanged. * adds a new level, "speed". This is the same as "speed_and_size" except that it omits transformations aimed only at reducing code size. Currently it omits only the insn shrinking pass.

Includes and, or, xor, not, and regmove; TODO re-factor PerCpuModeEncodings to avoid code duplication

…alliance#493 (bytecodealliance#1046)

These were causing compilation warnings.

- `fill` attempted to use a GPR recipe, `fillSib32`, instead of its FPR equivalent, `ffillSib32` (code compiled without error but incorrect instructions were allowed, e.g. `v1 = regmove v0, %rdi -> %xmm0` - `regmove` could be encoded with a GPR recipe, `rmov`, which hid the above incorrectness; now only FPR-to-FPR regmoves are allowed using the `frmov` recipe

822: Cranelift backend update to fork of clif version 0.43.1 r=bjfish a=bjfish The corresponding update to fork is here (which should merge first): wasmerio/cranelift#4  # Description  # Review - [x] Add a short description of the the change to the CHANGELOG.md file Co-authored-by: Brandon Fish <[email protected]> Co-authored-by: Syrus Akbary <[email protected]>

aleksmelnikov and others added 30 commits July 8, 2019 15:21

[meta] Legalization: remove spurious assert;

137b138

This assert was added when porting legalization from Python to Rust and doesn't hold when we have derived type variables.

Add ir::Types::lane_of as an alias of lane_type to be used in typevar…

1ebf697

… constraints;

[meta] Legalization: emit typeof type variables for results in all th…

6a2a5e4

…e cases;

[meta] Legalization: remove spurious Option wrapping for type variables;

35dc80b

[meta] Legalization: Unprefix some module paths to make code neater;

1d77e15

[meta] Legalization: Don't generate a variable for replaced instructi…

3fb48ac

…ons; (since they're unused)

Build fix: add crates::predicates to the Riscv enc_tables file;

8ce66b2

Legalize trapz/trapnz to a BB-like format.

fe24dc2

Legalize br_table to a BB-like format.

14065d9

Fix an outdated comment referring to FunctionLayout instead of `Lay…

b9543a0

…out`

Fixes bytecodealliance#837: Use an u64 comparison instead of a usize …

544ae1b

…comparison in meta;

Bump version to 0.34.0

86e7b0f

[meta] Riscv: add back stacknull encodings for copy_nop;

7441ba6

[meta] Generate full documentation for instructions in InstBuilder;

78cf9ac

[docs] Update docs to point to the docs.rs website;

2b0ce55

[docs] Remove special handling of CDSL python modules;

e9dc868

[docs] Remove rst annotations in instructions doc comments;

04d433b

[docs] Don't accidentally generate doc tests;

0a5961c

issue bytecodealliance#772: added an memmap replacement to support se…

c9b1101

…linux

Use Default trait for Position and DisplayFunctionAnnotations (byteco…

63f03f4

…dealliance#843)

BB-like manual legalization for x86 ISA

a8bb521

Add support for some serde serialization (bytecodealliance#847)

8cb74ad

* Add support for some serde serialization

Do not import libc on windows (bytecodealliance#848)

327e222

* Do not import libc on windows

Bump version to 0.35.0

a4426e5

Prepare legalizer codegen for SIMD features

e38e187

Contains fixes from @bnjbvr to codegen as a part of bnjbvr#2; necessary for SIMD features to work

Disable SIMD features by default

6673697

Add x86-specific SIMD settings, e.g. SSE2

66fb5e2

Also, ties SIMD ISA predicates to the shared enable_simd setting

Assign vector arguments to FPR registers

78d7f09

Allow CDSL instructions to bind to vector types

94477f2

abrown and others added 25 commits September 17, 2019 09:29

Add verifier check to ensure each SIMD lane index is within bounds, f…

92f5c55

…ixes bytecodealliance#1016

Correctly zero extend operand of fcvt_from_uint for 8ints and 16bit i…

37a1f06

…nts (bytecodealliance#997) Fixes bytecodealliance#996

Simplify and rename Stackmap::from_vec (bytecodealliance#1032)

5045a97

Co-Authored-By: bjorn3 <[email protected]>

Fixed broken pipe race condition in ensure_installed

e275159

fix broken link in cranelift-object

ddd4790

Add more documentation for entities, fixes bytecodealliance#1038 (byt…

d46311c

…ecodealliance#1041) Also fixes broken links to point to docs.rs; see bytecodealliance#1041 (comment), there doesn't currently seem to be a way to link to a type in a dependent crate.

Add x86 implementation of shuffle

bd4c232

Add boolean encodings for x86

5619eaf

Includes and, or, xor, not, and regmove; TODO re-factor PerCpuModeEncodings to avoid code duplication

Add boolean shuffle test

ee9a677

Check for types::INVALID in the function signature, resolves bytecode…

65ae2d4

…alliance#493 (bytecodealliance#1046)

Allow global initialization of SIMD vectors

c41de9f

Add V128 -> I8X16 type conversions

5c35a7d

Add x86 encodings for vector store, load, fill, spill, and regmove

6e20b75

Handle use of SIMD vector globals and locals

ebb4bce

Rename Uimm128 to V128Imm

cce056e

Add x86 implemention for SIMD iadd

1eb4669

Add x86 encodings for vector copy, copy_nop, fill_nop

6e58d7e

Bump version to 0.43.0

194902e

tidy: Remove extra semicolons

de7354e

These were causing compilation warnings.

Bump version to 0.43.1

0024169

Merge branch 'cranelift-master' into feature/merge-cranelift-0-43-1

13b4834

Fixes changes missed in merged

c5da762

bjfish requested a review from MarkMcCaskey September 21, 2019 18:03

bjfish mentioned this pull request Sep 21, 2019

Cranelift backend update to fork of clif version 0.43.1 wasmerio/wasmer#822

Merged

1 task

syrusakbary approved these changes Sep 21, 2019

View reviewed changes

bjfish merged commit 4ed51fb into wasmer Sep 23, 2019

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Merge cranelift 0.43.1 #4

Merge cranelift 0.43.1 #4

bjfish commented Sep 21, 2019 •

edited

Loading

Merge cranelift 0.43.1 #4

Merge cranelift 0.43.1 #4

Conversation

bjfish commented Sep 21, 2019 • edited Loading

bjfish commented Sep 21, 2019 •

edited

Loading