cvise: running only the "light" transformations

marxin / cvise

Super-parallel Python port of the C-Reduce

Other

219 stars 25 forks source link

cvise: running only the "light" transformations #118

Open malaterre opened 11 months ago

malaterre commented 11 months ago

I need to run cvise sometime to only run the light transformations (remove comments, remove extra includes ...). I do not need to touch the c++ implementation detail.

I cannot find a clear documentation on which pass does what ...

thanks for suggestion !

malaterre commented 11 months ago

one case that comes to mind is -fno-exceptions, so I cannot simply start from the output of -E -P

marxin commented 10 months ago

Hello! I'm so sorry for the late reply, the notification has fallen through the cracks. The most straightforward approach for your use-case would be copying the /usr/share/cvise/pass_groups/all.json and using --pass-group-file. Does it work for you?