Skip to content
Snippets Groups Projects
Select Git revision
  • CPP22_if_lifting
  • CPP22_main
  • master default protected
  • patched_for_velus
  • riscV-cmov
  • ssa
  • v3.9_kvx_fix1
  • csix-PhD
  • v3.9_kvx
  • submission_OOPSLA2021_AARCH64_KVX
  • submission_OOPSLA2021_RISCV
  • v3.8+ssa_aarch64_postpass
  • v3.8_aarch64_postpass
  • v3.8_kvx_instructions_fixed
  • v3.8_kvx
  • v3.8
  • PLDI_2021_before_anonymization
  • v3.7_mppa_2020-04-01
  • v3.7
  • v3.6_mppa_2019-09-20
  • v3.6
  • july2019
  • RTLblock_unbounded_blocks
  • v3.5_k1c_1.2
  • v3.5_k1c_1.1
  • v3.5_k1c_1.0
26 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.020Dec1824Nov12314Oct8622Aug171062128Jul23141312111096543130Jun292894131May3029262422211810220Apr1312429Mar2813121197629Feb272625242322201813107421Jan151427Nov2619Oct18171627Aug23222119181716141098531Jul3029281817161514522Jun2114138725May24231211820Apr19171614915Mar14131210928Nov1029Oct282724Sep211410842121Aug18414Jul8729Jun2826May23109852117Apr1310972130Mar29281312119873217Feb31Jan27251312816Dec19Nov181032130Oct2515Sep28Aug272621201817165325Jul155Jun17Apr29Mar282627Feb2629Jan117542131Dec30292127Sep11Aug9131Jul27258731May3019Apr171615131227Mar19428Jan2778Dec613Nov331Oct30271728Aug26654323Mar523Jan11Nov27Oct2623222019Sep181716118765417Jul1129Jun86526Apr9Mar16Feb109Separate interference graphs for ints and floats, i.e. don't record interference edges between nodes of different types: this is useless and falsifies the heuristics based on node degree.Test bitfields of enum typeSupport for inline assembly (asm statements).Test for __builtin_fctiAdd __builtin_fcti (double -> int conversion w/ round to nearest)Globalenvs: allocate one-byte block with permissions Nonempty for eachFlocq-based parsing of floating-point literals (Jacques-Henri Jourdan)Update cparser/Makefile (fix by Jacques-Henri Jourdan)Clight: split off the big step semantics in ClightBigstep.Generate output files in current directory; can be overriden with -o optionMake Clight independent of CompCert C.Merge of branch seq-and-or. See Changelog for details.Fixed 2 errors in revised builtin_vstore. Wrong usage of temps in builtin_volatile_write.Define useful functions instr_defs and instr_usesRemove Val.is_true and Val.is_false, no longer used.Updated documentationRemoved old, commented-out definitions.More aggressive elimination of conditional branches during constantForgot to collect types of expressions- Revised non-overflow constraints on memory injections so that Remove the PowerPC/MacOS X port, as MacOS no longer supports PowerPC.Support for indirect symbols under MacOS X (final).Support for MacOS X's indirect symbols. (first try)Late update for 1.11Preparation for release 1.11v1.11v1.11checklink: dead and debug code eliminationchecklink: simplificationschecklink: allow other number formats in configurationchecklink: minor fixeschecklink: configuration, indicate external symbolschecklink: added configurabilitychecklink: more stringent compilationStrip quotes from section names during #pragma parsing.Updated ARM port.Accept long double literals if -flongdouble is given.checklink: fixed SDA inference, passes testMicro-optimization of (x & mask) >>s amount into a rolm when mask >= 0.Revert unintentional commit #1955checklink: minor changes