Displaying 4 results from an estimated 4 matches for "optimizechecks".
2014 Dec 15
2
[LLVMdev] Question about node collapse
...t;
>> If you have time to point us at some API functions to get us started
>> with the above idea, that would be great. If not, then don't worry,
>> hopefully we'll figure it out on our own.
>
>
> There is a TypeSafety analysis pass that you can use. The
> lib/OptimizeChecks/SafeLoadStoreOpts.cpp code in SAFECode has an example of
> how to use it. Quickly looking over the code, it looks like it searches for
> overlapping fields in the DSNode; it also handles issues with the casting
> flags, Incomplete Flag, and Unknown Flag.
>
> Regards,
>
> John...
2014 Dec 14
2
[LLVMdev] Question about node collapse
Hi John, all,
Thanks for your responses everybody.
This is actually helpful and I think I now better understand what is
going on here. Unless there is a pointer involved, DSA will not
collapse nodes. That makes sense...
What we would like to leverage DSA for is essentially type-unsafe
memory accesses, such as the example where code write a byte into the
0th byte of an integer. Another example
2013 Apr 18
3
[LLVMdev] inserting a function into a module
I'm looking for an example of how to insert a new function into a module.
I have a module pass that needs to create some new functions.
Tia.
Reed
2015 Jul 22
2
[LLVMdev] (no subject)
Hello,
I have tried a lot fix this error but am not able to can you please
find me a solution am trying to compile the SAFECode in Cygwin Environment
to work for windows.
used make -j4 command to make the files in cygwin i have got this error
make[5]: Leaving directory
'/home/uidr7475/Work/LLVM_OBJ/projects/safecode/tools/clang/include'
/usr/bin/cp: cannot stat