Code

float32 backend operations#2385

Code

Merged

TheNumbat merged 149 commits intomainocaml-flambda/flambda-backend:mainfrom

f32-backend-opsocaml-flambda/flambda-backend:f32-backend-opsCopy head branch name to clipboard

May 9, 2024

Commits

Commits on Mar 14, 2024

• float32 in flambda2

  TheNumbat

  committed
  430b6b7

  Copy full SHA for 430b6b7

• fixes

  TheNumbat

  committed
  627203b

  Copy full SHA for 627203b

• arm

  TheNumbat

  committed
  296e7b8

  Copy full SHA for 296e7b8

• more crs

  TheNumbat

  committed
  a0a2282

  Copy full SHA for a0a2282

• primitives

  TheNumbat

  committed
  7458491

  Copy full SHA for 7458491

• format

  TheNumbat

  committed
  8644e75

  Copy full SHA for 8644e75

• upstream build

  TheNumbat

  committed
  d0342f1

  Copy full SHA for d0342f1

Commits on Mar 19, 2024

• delete array case

  TheNumbat

  committed
  797a7a6

  Copy full SHA for 797a7a6

• casts

  TheNumbat

  committed
  fad1816

  Copy full SHA for fad1816

• format

  TheNumbat

  committed
  0bd3e82

  Copy full SHA for 0bd3e82

• Merge branch 'f32-fl2' into f32-backend

  TheNumbat

  committed
  f195d02

  Copy full SHA for f195d02

• testsuite cmm parser

  TheNumbat

  committed
  9c8d442

  Copy full SHA for 9c8d442

• format

  TheNumbat

  committed
  a2af96d

  Copy full SHA for a2af96d

• cast fl2

  TheNumbat

  committed
  9451a8f

  Copy full SHA for 9451a8f

• num conv

  TheNumbat

  committed
  84e23ff

  Copy full SHA for 84e23ff

• merge

  TheNumbat

  committed
  39b36ca

  Copy full SHA for 39b36ca

• fix name in cfg

  TheNumbat

  committed
  e42799a

  Copy full SHA for e42799a

• float32 static consts

  TheNumbat

  committed
  0b86abd

  Copy full SHA for 0b86abd

• add test

  TheNumbat

  committed
  2fe6ea4

  Copy full SHA for 2fe6ea4

• fixes

  TheNumbat

  committed
  7e93f52

  Copy full SHA for 7e93f52

• Merge branch 'f32-fl2' into f32-backend

  TheNumbat

  committed
  8d56965

  Copy full SHA for 8d56965

• another fix

  TheNumbat

  committed
  8ade880

  Copy full SHA for 8ade880

• Merge branch 'f32-fl2' into f32-backend

  TheNumbat

  committed
  7f64da8

  Copy full SHA for 7f64da8

• fix nan test

  TheNumbat

  committed
  0d24bdd

  Copy full SHA for 0d24bdd

Commits on Mar 20, 2024

• actually use cconst_float32

  TheNumbat

  committed
  0937fc4

  Copy full SHA for 0937fc4

Commits on Mar 21, 2024

• float32 operations

  TheNumbat

  committed
  e7f7b9e

  Copy full SHA for e7f7b9e

• cmm stubs

  TheNumbat

  committed
  28c4360

  Copy full SHA for 28c4360

• fix asserts

  TheNumbat

  committed
  ed13892

  Copy full SHA for ed13892

Commits on Mar 22, 2024

• separate storage single and actual float32

  TheNumbat

  committed
  2ea3d51

  Copy full SHA for 2ea3d51

• merge

  TheNumbat

  committed
  4375a5d

  Copy full SHA for 4375a5d

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  1da7d02

  Copy full SHA for 1da7d02

• fix cmm test parser again

  TheNumbat

  committed
  b6662e4

  Copy full SHA for b6662e4

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  3e436c4

  Copy full SHA for 3e436c4

• fix operation unboxing

  TheNumbat

  committed
  5b81480

  Copy full SHA for 5b81480

• oops

  TheNumbat

  committed
  170a192

  Copy full SHA for 170a192

• comments

  TheNumbat

  committed
  d83be31

  Copy full SHA for d83be31

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  ca93bd7

  Copy full SHA for ca93bd7

• parsecmm again

  TheNumbat

  committed
  d8663f1

  Copy full SHA for d8663f1

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  e8e169c

  Copy full SHA for e8e169c

• Merge branch 'main' into f32-fl2

  TheNumbat

  committed
  96403b6

  Copy full SHA for 96403b6

• merge

  TheNumbat

  committed
  4068688

  Copy full SHA for 4068688

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  15944f5

  Copy full SHA for 15944f5

• fix

  TheNumbat

  committed
  4ff6ad9

  Copy full SHA for 4ff6ad9

• parsecmm again

  TheNumbat

  committed
  2d2498d

  Copy full SHA for 2d2498d

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  52f66d8

  Copy full SHA for 52f66d8

• arm

  TheNumbat

  committed
  5ea8e3e

  Copy full SHA for 5ea8e3e

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  0ef407b

  Copy full SHA for 0ef407b

Commits on Mar 25, 2024

• clean up commit history

  TheNumbat

  committed
  7fbbae6

  Copy full SHA for 7fbbae6

Commits on Mar 26, 2024

• normalize zero/nan in hash

  TheNumbat

  committed
  6663075

  Copy full SHA for 6663075

• Apply suggestions from code review

  Show description for 3785d6a
  

  TheNumbat

  and

  xclerc

  authored
  3785d6a

  Copy full SHA for 3785d6a

Commits on Apr 1, 2024

• Update backend/x86_binary_emitter.ml

  Show description for 62ad563
  

  TheNumbat

  and

  xclerc

  authored
  62ad563

  Copy full SHA for 62ad563

Commits on Apr 2, 2024

• address comments

  TheNumbat

  committed
  3387841

  Copy full SHA for 3387841

• restore copyright headers

  TheNumbat

  committed
  134c753

  Copy full SHA for 134c753

• unify single mem chunks

  TheNumbat

  committed
  9fa47cd

  Copy full SHA for 9fa47cd

• fix size_expr f32 const

  TheNumbat

  committed
  d9347fe

  Copy full SHA for d9347fe

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  a8d5321

  Copy full SHA for a8d5321

• merge

  TheNumbat

  committed
  50aa877

  Copy full SHA for 50aa877

• merge fix from later pr

  TheNumbat

  committed
  ccfbe36

  Copy full SHA for ccfbe36

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  b0d5f27

  Copy full SHA for b0d5f27

• Merge branch 'f32-fl2-ops' into f32-backend-ops

  TheNumbat

  committed
  a8f23ed

  Copy full SHA for a8f23ed

• fix comment

  TheNumbat

  committed
  c7437ba

  Copy full SHA for c7437ba

• parsecmm...

  TheNumbat

  committed
  ae04a8e

  Copy full SHA for ae04a8e

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  7ea280e

  Copy full SHA for 7ea280e

• Merge branch 'f32-fl2-ops' into f32-backend-ops

  TheNumbat

  committed
  d218a6f

  Copy full SHA for d218a6f

• arm build

  TheNumbat

  committed
  01c848f

  Copy full SHA for 01c848f

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  ac35a97

  Copy full SHA for ac35a97

• Merge branch 'f32-fl2-ops' into f32-backend-ops

  TheNumbat

  committed
  1f47ecd

  Copy full SHA for 1f47ecd

• new machtype component

  TheNumbat

  committed
  b13bd15

  Copy full SHA for b13bd15

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  300c75a

  Copy full SHA for 300c75a

• Merge branch 'f32-fl2-ops' into f32-backend-ops

  TheNumbat

  committed
  b6f6391

  Copy full SHA for b6f6391

• add ext arg test

  TheNumbat

  committed
  062b106

  Copy full SHA for 062b106

• fix ext args

  TheNumbat

  committed
  1b19d02

  Copy full SHA for 1b19d02

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  f1daf13

  Copy full SHA for f1daf13

• Merge branch 'f32-fl2-ops' into f32-backend-ops

  TheNumbat

  committed
  bb186b2

  Copy full SHA for bb186b2

Commits on Apr 3, 2024

• Apply suggestions from code review

  Show description for 7eaa6ec
  

  TheNumbat

  and

  xclerc

  authored
  7eaa6ec

  Copy full SHA for 7eaa6ec

• comments

  TheNumbat

  committed
  f5766a3

  Copy full SHA for f5766a3

• use 4b size in selectgen

  TheNumbat

  committed
  a42f8f7

  Copy full SHA for a42f8f7

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  380c715

  Copy full SHA for 380c715

• merge

  TheNumbat

  committed
  9cb2f0f

  Copy full SHA for 9cb2f0f

Commits on Apr 8, 2024

• real f32 ops in f32_by_bit_pattern

  TheNumbat

  committed
  e38b256

  Copy full SHA for e38b256

• float32 parsing (untested)

  TheNumbat

  committed
  a7b32de

  Copy full SHA for a7b32de

• install stubs for testsuite

  TheNumbat

  committed
  050b46b

  Copy full SHA for 050b46b

• merge

  TheNumbat

  committed
  f899698

  Copy full SHA for f899698

• merge

  TheNumbat

  committed
  d08462a

  Copy full SHA for d08462a

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  b2ff074

  Copy full SHA for b2ff074

• merge arm changes

  TheNumbat

  committed
  5c150cd

  Copy full SHA for 5c150cd

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  95bb9b6

  Copy full SHA for 95bb9b6

Commits on Apr 9, 2024

• Update ocaml/middle_end/flambda/closure_conversion.ml

  Show description for 7d45d1f
  

  TheNumbat

  and

  Gbury

  authored
  7d45d1f

  Copy full SHA for 7d45d1f

• address comments

  TheNumbat

  committed
  64b2663

  Copy full SHA for 64b2663

• Merge branch 'f32-fl2' of github.com:ocaml-flambda/flambda-backend into f32-fl2

  TheNumbat

  committed
  d165586

  Copy full SHA for d165586

• Merge branch 'f32-fl2' into f32-backend

  TheNumbat

  committed
  62d2c75

  Copy full SHA for 62d2c75

• comment

  TheNumbat

  committed
  9eec365

  Copy full SHA for 9eec365

• Merge branch 'f32-fl2' into f32-backend

  TheNumbat

  committed
  0f9dae1

  Copy full SHA for 0f9dae1

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  bb618c0

  Copy full SHA for bb618c0

• merge

  TheNumbat

  committed
  66187bb

  Copy full SHA for 66187bb

• simplify locale defs

  TheNumbat

  committed
  cbd71a1

  Copy full SHA for cbd71a1

• Merge branch 'f32-fl2' into f32-backend

  TheNumbat

  committed
  fa7870b

  Copy full SHA for fa7870b

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  ebb0d6a

  Copy full SHA for ebb0d6a

• Merge branch 'f32-fl2-ops' into f32-backend-ops

  TheNumbat

  committed
  5834a7c

  Copy full SHA for 5834a7c

• fix f32 alloc size

  TheNumbat

  committed
  03ad39a

  Copy full SHA for 03ad39a

• fmt

  TheNumbat

  committed
  c219e35

  Copy full SHA for c219e35

Commits on Apr 11, 2024

• move f32 lib to external

  TheNumbat

  committed
  8e9bdf8

  Copy full SHA for 8e9bdf8

• fix build system

  TheNumbat

  committed
  7f69249

  Copy full SHA for 7f69249

• format

  TheNumbat

  committed
  9ac6060

  Copy full SHA for 9ac6060

• Merge branch 'f32-fl2' into f32-backend

  TheNumbat

  committed
  eacd280

  Copy full SHA for eacd280

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  3b9867a

  Copy full SHA for 3b9867a

• Merge branch 'f32-fl2-ops' into f32-backend-ops

  TheNumbat

  committed
  983b270

  Copy full SHA for 983b270

Commits on Apr 16, 2024

• fix compare

  TheNumbat

  committed
  b78a2e4

  Copy full SHA for b78a2e4

• Merge branch 'f32-fl2' into f32-backend

  TheNumbat

  committed
  f551594

  Copy full SHA for f551594

• fix static const

  TheNumbat

  committed
  4daf82d

  Copy full SHA for 4daf82d

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  203d218

  Copy full SHA for 203d218

• Merge branch 'f32-fl2-ops' into f32-backend-ops

  TheNumbat

  committed
  2925238

  Copy full SHA for 2925238

• add neq_float32

  TheNumbat

  committed
  df8abe2

  Copy full SHA for df8abe2

• preserve width in simplify comparison

  TheNumbat

  committed
  ae3d4a5

  Copy full SHA for ae3d4a5

• Merge branch 'f32-fl2-ops' into f32-backend-ops

  TheNumbat

  committed
  e2bac20

  Copy full SHA for e2bac20

• typo

  TheNumbat

  committed
  04bd989

  Copy full SHA for 04bd989

• Merge branch 'f32-fl2' into f32-backend

  TheNumbat

  committed
  77e83d9

  Copy full SHA for 77e83d9

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  a12ba29

  Copy full SHA for a12ba29

• Merge branch 'f32-fl2-ops' into f32-backend-ops

  TheNumbat

  committed
  ff8762c

  Copy full SHA for ff8762c

• typo

  TheNumbat

  committed
  2a3a4f2

  Copy full SHA for 2a3a4f2

• Merge branch 'f32-fl2' into f32-backend

  TheNumbat

  committed
  fc02a69

  Copy full SHA for fc02a69

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  0cfb535

  Copy full SHA for 0cfb535

• Merge branch 'f32-fl2-ops' into f32-backend-ops

  TheNumbat

  committed
  191df17

  Copy full SHA for 191df17

• another tagging fix

  TheNumbat

  committed
  df6688e

  Copy full SHA for df6688e

• Merge branch 'f32-fl2' into f32-backend

  TheNumbat

  committed
  c50b64f

  Copy full SHA for c50b64f

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  555c85b

  Copy full SHA for 555c85b

• Merge branch 'f32-fl2-ops' into f32-backend-ops

  TheNumbat

  committed
  dc60a19

  Copy full SHA for dc60a19

Commits on Apr 24, 2024

• preserve width in negation of other side

  TheNumbat

  committed
  d482728

  Copy full SHA for d482728

• Merge branch 'f32-fl2-ops' into f32-backend-ops

  TheNumbat

  committed
  994435e

  Copy full SHA for 994435e

Commits on Apr 26, 2024

• merge

  TheNumbat

  committed
  b0ed404

  Copy full SHA for b0ed404

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  3db086b

  Copy full SHA for 3db086b

• merge

  TheNumbat

  committed
  4aaa542

  Copy full SHA for 4aaa542

• fix arm build

  TheNumbat

  committed
  ac288c1

  Copy full SHA for ac288c1

• Merge branch 'f32-backend' into f32-fl2-ops

  TheNumbat

  committed
  1792a07

  Copy full SHA for 1792a07

• Merge branch 'f32-fl2-ops' into f32-backend-ops

  TheNumbat

  committed
  76ff55f

  Copy full SHA for 76ff55f

• Merge branch 'main' into f32-fl2-ops

  TheNumbat

  authored
  99b0fa8

  Copy full SHA for 99b0fa8

• caml_hash_exn

  TheNumbat

  committed
  d1908f5

  Copy full SHA for d1908f5

• fix test

  TheNumbat

  committed
  205d415

  Copy full SHA for 205d415

Commits on Apr 29, 2024

• Merge branch 'main' into f32-fl2-ops

  TheNumbat

  committed
  ef742ca

  Copy full SHA for ef742ca

• Merge branch 'f32-fl2-ops' into f32-backend-ops

  TheNumbat

  committed
  dc44058

  Copy full SHA for dc44058

Commits on Apr 30, 2024

• Merge branch 'main' into f32-fl2-ops

  TheNumbat

  committed
  28c0b53

  Copy full SHA for 28c0b53

• Merge branch 'f32-fl2-ops' into f32-backend-ops

  TheNumbat

  committed
  e6292a6

  Copy full SHA for e6292a6

Commits on May 1, 2024

• fix float_arith kinds

  TheNumbat

  committed
  ff1dd31

  Copy full SHA for ff1dd31

• Merge branch 'f32-fl2-ops' into f32-backend-ops

  TheNumbat

  committed
  f796c15

  Copy full SHA for f796c15

Commits on May 7, 2024

• squash for review

  TheNumbat

  committed
  58c751d

  Copy full SHA for 58c751d

• functorize binary_float_comp

  TheNumbat

  committed
  0ca2a02

  Copy full SHA for 0ca2a02

• merge

  TheNumbat

  committed
  a0b462d

  Copy full SHA for a0b462d

Commits on May 9, 2024

• merge

  TheNumbat

  committed
  97c2266

  Copy full SHA for 97c2266

• use kind in smpl arith op

  TheNumbat

  committed
  4ffa571

  Copy full SHA for 4ffa571