https://github.com/zsc/cil-lido

https://github.com/zsc/cil-lido

Last synced: 1 day ago
JSON representation

• Host: GitHub
• URL: https://github.com/zsc/cil-lido
• Owner: zsc
• License: other
• Created: 2011-04-13T08:41:24.000Z (over 13 years ago)
• Default Branch: master
• Last Pushed: 2011-04-13T08:53:24.000Z (over 13 years ago)
• Last Synced: 2023-03-11T09:16:12.167Z (over 1 year ago)
• Language: OCaml
• Homepage:
• Size: 3.46 MB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README
  • License: LICENSE

Awesome Lists containing this project

README

        
* based on cil-1.3.6  http://cil.sourceforge.net/

* linda.ml contains auxilary functions

* lido contains lido components

* heapify.ml need tidy-up (the old heapify.ml is saved as heapify.orig.ml)

zsc@century:~/workspace/cil 15:56$ls obj/x86_LINUX/cilly.asm.exe 

obj/x86_LINUX/cilly.asm.exe*

zsc@century:~/workspace/cil 16:02$ls -l ~/loongcc-3.1/bin/cilly.asm.exe 

lrwxrwxrwx 1 zsc users 51 Mar  4 15:28 /home/zsc/loongcc-3.1/bin/cilly.asm.exe

-> /home/zsc/workspace/cil/obj/x86_LINUX/cilly.asm.exe*

Options for ART should be (note that there is one option containing variable

names)

-Wp,-cil,'--doheapify --recogDotProduct --doStructPeel

--swapAndCollapseFloatArray --assumeFieldsEqual __anonstruct_f1_neuron_19-Q-P'

Options for EQUAKE should be (note that there is one option containing variable

names)

-Wp,-cil,'--doheapify --mergeLoop --assumeDistinct disp'

To remove the variable names for art require more dataflow analysis, for equake

it requires some abstract interpretation. 

 See the documentation in doc/html.