Code

Remove old x86 directives#5

Code

Open

spiessimon wants to merge 72 commits intonew-directives-in-x86spiessimon/flambda-backend:new-directives-in-x86from

new-directives-x86-remove-old-onesspiessimon/flambda-backend:new-directives-x86-remove-old-onesCopy head branch name to clipboard

Commits

Commits on Apr 25, 2025

• removed unary negation from flambda (#3572)

  jvanburen

  authored
  db8aba1

  Copy full SHA for db8aba1

Commits on Apr 29, 2025

• Avoid needless dependency on parameter .cmi by introducing `Parameter_name.t` (#3708)

  Show description for de413fd
  lukemaurer

  authored
  de413fd

  Copy full SHA for de413fd

• Reorganize docs (#3935)

  Show description for 36fe15d
  ccasin

  authored
  36fe15d

  Copy full SHA for 36fe15d

• Reverse Poptrap instructions before Return (#3924)

  Show description for c86a597
  gretay-js

  authored
  c86a597

  Copy full SHA for c86a597

Commits on Apr 30, 2025

• "module type of" zap modalities to floor (#3922)

  riaqn

  authored
  edcc229

  Copy full SHA for edcc229

• Add replay history to match names between two downwards traversals (#3302)

  Show description for e8058d5
  

  Gbury

  and

  Ekdohibs

  authored
  e8058d5

  Copy full SHA for e8058d5

• Add doc pages for SIMD/small-numbers (#3936)

  TheNumbat

  authored
  d95e9c9

  Copy full SHA for d95e9c9

Commits on May 1, 2025

• Remove unused function (#3950)

  Show description for 7f1f234
  gretay-js

  authored
  7f1f234

  Copy full SHA for 7f1f234

• Store instruction id sequence in CFG (#3933)

  xclerc

  authored
  b04e920

  Copy full SHA for b04e920

Commits on May 2, 2025

• Refactor test for simd arrays (#3958)

  Show description for e415e96
  gretay-js

  authored
  e415e96

  Copy full SHA for e415e96

• Format tests (#3957)

  gretay-js

  authored
  de0296d

  Copy full SHA for de0296d

• Remove duplicate VEX prefix (#3963)

  Show description for 83590eb
  TheNumbat

  authored
  83590eb

  Copy full SHA for 83590eb

Commits on May 6, 2025

• Configurable fiber stack sizes (#3773)

  TheNumbat

  authored
  6e3762a

  Copy full SHA for 6e3762a

• Fix "regalloc" profile category (#3968)

  xclerc

  authored
  768b131

  Copy full SHA for 768b131

• Fix miscompilation / liveness errors for string operations (#3960)

  mshinwell

  authored
  9994ecd

  Copy full SHA for 9994ecd

• Format bytecomp/bytegen.ml (#3953)

  Show description for be6e477
  jvanburen

  authored
  be6e477

  Copy full SHA for be6e477

• Add Blambda IR for bytecode compilation (#3590)

  Show description for 58b8e0c
  jvanburen

  authored
  58b8e0c

  Copy full SHA for 58b8e0c

• git blame ignore reformat bytegen/bytecomp.ml (#3971)

  jvanburen

  authored
  957e5ce

  Copy full SHA for 957e5ce

• Fix incorrect sort in `type_argument` (#3972)

  Show description for 54d6467
  ccasin

  authored
  54d6467

  Copy full SHA for 54d6467

Commits on May 8, 2025

• Use new directives on x86 (#3931)

  spiessimon

  authored
  66a06b9

  Copy full SHA for 66a06b9

• Fix speeling errors (#3969)

  Show description for 05cc2b0
  

  cuihtlauac

  and

  goldfirere

  authored
  05cc2b0

  Copy full SHA for 05cc2b0

• Fix doc according to code block (#3976)

  Show description for 2b308d4
  cuihtlauac

  authored
  2b308d4

  Copy full SHA for 2b308d4

• arm64: popcnt/ctz without CSSC (#3746)

  Show description for 30b5ee6
  gretay-js

  authored
  30b5ee6

  Copy full SHA for 30b5ee6

Commits on May 9, 2025

• Fix tsan save/restore xmm (#3978)

  Show description for 586cc9e
  TheNumbat

  authored
  586cc9e

  Copy full SHA for 586cc9e

• Revert "Use new directives on x86" (#3985)

  Show description for 77ac450
  spiessimon

  authored
  77ac450

  Copy full SHA for 77ac450

• Add AddressSanitizer to GitHub Actions (#3959)

  Show description for c755145
  Svetlitski

  authored
  c755145

  Copy full SHA for c755145

• New computation for signal stack sizes (#3986)

  Show description for 2b7f4e2
  mshinwell

  committed
  2b7f4e2

  Copy full SHA for 2b7f4e2

Commits on May 12, 2025

• Fix emit_stores (#3992)

  gretay-js

  authored
  e826655

  Copy full SHA for e826655

• (arm64) fix save/restore for vec128 (#3979)

  gretay-js

  authored
  b3f5baa

  Copy full SHA for b3f5baa

• (arm64) Disable a failing test (#3994)

  gretay-js

  authored
  b60bf3d

  Copy full SHA for b60bf3d

Commits on May 13, 2025

• datalog: Clear binders after rule evaluation (#3693)

  Show description for 4884ce0
  bclement-ocp

  authored
  4884ce0

  Copy full SHA for 4884ce0

Commits on May 14, 2025

• Introduce a new flavor of type, `Tof_kind`, for representing existentials that end up in with-bounds (#3864)

  Show description for 527c8e9
  

  glittershark

  and

  goldfirere

  authored
  527c8e9

  Copy full SHA for 527c8e9

• Fix to_cmm with complex arities (#3982)

  Ekdohibs

  authored
  8cf3e64

  Copy full SHA for 8cf3e64

• Remove subkinds from value slots (#3981)

  Ekdohibs

  authored
  6e16d56

  Copy full SHA for 6e16d56

• Set a default for major_heap_increment (#3999)

  Show description for fc560d4
  NickBarnes

  authored
  fc560d4

  Copy full SHA for fc560d4

• Add bounds checks to the frame table emission code (#3987)

  spiessimon

  authored
  efe1ab1

  Copy full SHA for efe1ab1

• Add a check for >80 char lines to the CI (#3989)

  Show description for 881f205
  jra4

  authored
  881f205

  Copy full SHA for 881f205

Commits on May 15, 2025

• Bump magic numbers for 5.2.0minus-10 (#4002)

  Show description for d46b893
  

  rtjoa

  and

  mshinwell

  authored
  d46b893

  Copy full SHA for d46b893

• Provide mechanism to save CFG before register allocation (#4000)

  xclerc

  authored
  f326b23

  Copy full SHA for f326b23

Commits on May 16, 2025

• Skip the 80ch check on autoformatted files (#4006)

  Show description for 193c607
  

  jra4

  and

  jamesrayman

  authored
  193c607

  Copy full SHA for 193c607

• Fix runtime5 on macOS x86 (#4008)

  nmatschke

  authored
  df625e4

  Copy full SHA for df625e4

• Note that immutable arrays and labeled tuples will be in OCaml 5.4 (#4009)

  Show description for 8ee18ce
  avsm

  authored
  8ee18ce

  Copy full SHA for 8ee18ce

• Document [row_more] (#3934)

  Show description for 8181ef6
  

  goldfirere

  and

  gasche

  authored
  8181ef6

  Copy full SHA for 8181ef6

• Fix links (#4011)

  cuihtlauac

  authored
  0abf707

  Copy full SHA for 0abf707

• Text tweaks (#4014)

  Show description for 9077bb8
  cuihtlauac

  authored
  9077bb8

  Copy full SHA for 9077bb8

• Separability axis basics (#3854)

  Show description for 61ae936
  

  3 peopleauthored
  61ae936

  Copy full SHA for 61ae936

Commits on May 20, 2025

• Use [@opaque] in flambda-backend tests instead of [@inline never][@local never] (#4019)

  Show description for 185c5a2
  Ekdohibs

  authored
  185c5a2

  Copy full SHA for 185c5a2

• Datalog: add [not_equal] and [filter] predicates (#4018)

  Show description for 372bee2
  

  Ekdohibs

  and

  bclement-ocp

  authored
  372bee2

  Copy full SHA for 372bee2

• Add more docs on kind syntax (#3988)

  goldfirere

  authored
  18b6c33

  Copy full SHA for 18b6c33

Commits on May 21, 2025

• Add option to enable validation in standalone `regalloc` tool (#4025)

  xclerc

  authored
  50a39f5

  Copy full SHA for 50a39f5

• Propagate Debugging Identifiers through Lambda (#3942)

  Show description for e3295f5
  

  spiessimon

  and

  rtjoa

  authored
  e3295f5

  Copy full SHA for e3295f5

• Document the separability axis (#4015)

  Show description for 905af6b
  

  3 peopleauthored
  905af6b

  Copy full SHA for 905af6b

• Avoid outdated unique_ keyword in doc (#4029)

  goldfirere

  authored
  f19d4dc

  Copy full SHA for f19d4dc

• arm64: fix mov register encoding (#4030)

  Show description for b72b2c9
  gretay-js

  authored
  b72b2c9

  Copy full SHA for b72b2c9

Commits on May 22, 2025

• Refactor lattice flipping for modes (#3949)

  riaqn

  authored
  3a8999d

  Copy full SHA for 3a8999d

• `Modality.Value.Const` should behave like a product (#3961)

  riaqn

  authored
  f15cd33

  Copy full SHA for f15cd33

• stack checks in github ci (#3928)

  Show description for de51e0b
  gretay-js

  authored
  de51e0b

  Copy full SHA for de51e0b

• Tidying (#4010)

  cuihtlauac

  authored
  622091f

  Copy full SHA for 622091f

• (arm64+tsan) Save/Restore 128-bit registers (#3995)

  gretay-js

  authored
  6fa55a1

  Copy full SHA for 6fa55a1

• `value_or_null` atomics with correct result kind inference (#3807)

  Show description for 55f0a27
  

  dkalinichenko-js

  and

  d-kalinichenko

  authored
  55f0a27

  Copy full SHA for 55f0a27

• Function sections for cached generic functions (#4034)

  gretay-js

  authored
  a6b89b4

  Copy full SHA for a6b89b4

• Various fixes on unboxed and kinds (#4024)

  Show description for a3342a7
  

  cuihtlauac

  and

  goldfirere

  authored
  a3342a7

  Copy full SHA for a3342a7

Commits on May 23, 2025

• Remove `@no_mutable_implied_modalities` (#3962)

  riaqn

  authored
  bb7defe

  Copy full SHA for bb7defe

• Hints for using the non-existent unboxed version of a float/[@@unboxed] record (#4038)

  rtjoa

  authored
  f121fd3

  Copy full SHA for f121fd3

• Unboxed records inside boxed records (#3687)

  xclerc

  authored
  687c12e

  Copy full SHA for 687c12e

• Hint for projecting an unboxed record field with record projection syntax (#4039)

  rtjoa

  authored
  6b483d8

  Copy full SHA for 6b483d8

• New directives in x86 v2 (#3998)

  Show description for 8263ffe
  spiessimon

  authored
  8263ffe

  Copy full SHA for 8263ffe

• remove old directives

  spiessimon

  committed
  32d8f35

  Copy full SHA for 32d8f35

• update binary emitter filling code

  spiessimon

  committed
  a4f6c5f

  Copy full SHA for a4f6c5f

• review

  spiessimon

  committed
  61052ed

  Copy full SHA for 61052ed

• CR about warning 40

  spiessimon

  committed
  bada7fc

  Copy full SHA for bada7fc

• 80ch

  spiessimon

  committed
  9b593cf

  Copy full SHA for 9b593cf