Commits · 95f33ccc672e38bca21f91bfe298283ccb43cdf4 · CertiCompil / Chamois-CompCert

Apr 13, 2021
- Merge remote-tracking branch 'origin/manuscript' into kvx-work · 95f33ccc
  Cyril SIX authored 4 years ago
  
  View commits for tag submission_OOPSLA2021_AARCH64_KVX submission_OOPSLA2021_AARCH64_KVX
  
  95f33ccc
- Adding more precise heuristic measures · 4b61b098
  Cyril SIX authored 4 years ago
  
  4b61b098
- Adding overpredicts · 5500fccc
  Cyril SIX authored 4 years ago
  
  5500fccc
- Recording of prediction stats with COMPCERT_PROFILING_STATS environment flag · 47eaaa23
  Cyril SIX authored 4 years ago
  47eaaa23
- Adding distinction between kvx-cos and kvx-mbr (for trapping loads) · d53cc13b
  Cyril SIX authored 4 years ago
  
  d53cc13b
Apr 12, 2021
- rm spurious files · 5a846f2a
  David Monniaux authored 4 years ago
  
  5a846f2a
- test profiling · 76844ba0
  David Monniaux authored 4 years ago
  
  76844ba0
- collision of registers · 1ea73601
  David Monniaux authored 4 years ago
  
  1ea73601
Apr 09, 2021
- removing unusued proof line · e37d655d
  Léo Gourdin authored 4 years ago
  
  e37d655d
- adding missing xorimm exp · 77f3fd97
  Léo Gourdin authored 4 years ago
  
  77f3fd97
- Merge branch 'riscv-work' into kvx-work · b3009fc0
  Léo Gourdin authored 4 years ago
  
  b3009fc0
- Remove flags · b0252257
  Léo Gourdin authored 4 years ago
  
  b0252257
- Removing expansions from Asmgen · 18312f04
  Léo Gourdin authored 4 years ago
  
  18312f04
- Removing addptrofs draft, next will be merging · b7720bc5
  Léo Gourdin authored 4 years ago
  
  b7720bc5
Apr 08, 2021
- bugfix · 2f2e7b1d
  Léo Gourdin authored 4 years ago
  
  2f2e7b1d
Apr 06, 2021
- Important commit on expansions' mini CSE, and a draft for addptrofs · dd4767e1
  Léo Gourdin authored 4 years ago
  
  dd4767e1
Apr 02, 2021
- Cleaning · 294df98b
  Cyril SIX authored 4 years ago
  
  294df98b
- More efficient · b6b7b6a5
  Cyril SIX authored 4 years ago
  
  b6b7b6a5
- Outermost loop detection works · 6d4dc7ae
  Cyril SIX authored 4 years ago
  
  6d4dc7ae
- Getting all loop bodies · a4720c58
  Cyril SIX authored 4 years ago
  
  a4720c58
- get_loop_headers simplification (using the new get_loop_backedges) · b042bca1
  Cyril SIX authored 4 years ago
  
  b042bca1
- Simple backedge detection (modified code from get_loop_headers) · 6ee3ecb0
  Cyril SIX authored 4 years ago
  
  6ee3ecb0
Mar 31, 2021
- Big simplification of get_loop_info · fe7a71c2
  Cyril SIX authored 4 years ago
  fe7a71c2
Mar 30, 2021
- Simplification of the Linearize heuristic (same result functionally) · f7365bc7
  Cyril SIX authored 4 years ago
  
  f7365bc7
- a more general way to manage special registers before introducing SP · df9aab80
  Léo Gourdin authored 4 years ago
  
  df9aab80
- Now a more general way to perform imm operations · 83b556a1
  Léo Gourdin authored 4 years ago
  
  83b556a1
- Refactoring the mayundef OP to be more general... · 0d98d7fe
  Léo Gourdin authored 4 years ago
  
  0d98d7fe
Mar 29, 2021
- Simplifications on Linearize - details below · 67cfb5b6
  Cyril SIX authored 4 years ago
  67cfb5b6
- adding test for load replacement on a64 · 706b6384
  Léo Gourdin authored 4 years ago
  
  706b6384
Mar 26, 2021
- bugfix and printOp · 17b35c46
  Léo Gourdin authored 4 years ago
  
  17b35c46
- fix admit · bc865be2
  Léo Gourdin authored 4 years ago
  
  bc865be2
- Compiler options to manage expansions · 63ddeebc
  Léo Gourdin authored 4 years ago
  
  63ddeebc
- Adding more expansions, improving miniCSE, and tuning prepass · 95205e72
  Léo Gourdin authored 4 years ago
  
  95205e72
Mar 23, 2021
- Bugfix liveness · ca78138a
  Léo Gourdin authored 4 years ago
  
  ca78138a
Mar 21, 2021
- Remove first nop when doing expansion · 21d43bc4
  Léo Gourdin authored 4 years ago
  
  21d43bc4
Mar 10, 2021
- fp test · bc4a980b
  Léo Gourdin authored 4 years ago
  
  bc4a980b
Mar 08, 2021
- Adding miniCSE here too · d1d64938
  Léo Gourdin authored 4 years ago
  
  d1d64938
Mar 06, 2021
- Merge remote-tracking branch 'origin/riscv-work' into riscv-work-fpinit-stillexp · 0b402973
  Léo Gourdin authored 4 years ago
  
  0b402973
- some simplification in miniCSE · 9882b342
  Léo Gourdin authored 4 years ago
  
  9882b342
- Adding a mini CSE pass in the expansion oracle · c19ecc93
  Léo Gourdin authored 4 years ago
  
  c19ecc93