Displaying 5 results from an estimated 5 matches for "cprover".
Did you mean:
prover
2016 May 28
2
[GSoC 2016] [Weekly Status] Interprocedural Register Allocation
...setRegMask() function
has been added to MachineOperand, a command line option -enable-ipra and
debug type -debug-only=“ipra" has been added to control the optimization
through llc.
Testing:
=====
The above mentioned implementation has been tested over SNU-Real-Time
benchmark suit (http://www.cprover.org/goto-cc/examples/snu.html) and some
simple programs that uses library function ( for a library function
register allocation is not done by LLVM so this optimization will simply
skip them)
Study and Other:
=============
I have learned following things in LLVM, how it stores reg clobbering
infor...
2016 Jun 12
2
[GSoC 2016] [Weekly Status] Interprocedural Register Allocation
...mand line
>> option -enable-ipra and debug type -debug-only=“ipra" has been added to
>> control the optimization through llc.
>>
>> Testing:
>> =====
>> The above mentioned implementation has been tested over SNU-Real-Time
>> benchmark suit (http://www.cprover.org/goto-cc/examples/snu.html) and
>> some simple programs that uses library function ( for a library function
>> register allocation is not done by LLVM so this optimization will simply
>> skip them)
>>
>> Study and Other:
>> =============
>> I have learne...
2016 Jun 15
2
[GSoC 2016] [Weekly Status] Interprocedural Register Allocation
...n -enable-ipra and debug type -debug-only=“ipra" has been added to
>>> control the optimization through llc.
>>>
>>> Testing:
>>> =====
>>> The above mentioned implementation has been tested over SNU-Real-Time
>>> benchmark suit (http://www.cprover.org/goto-cc/examples/snu.html) and
>>> some simple programs that uses library function ( for a library function
>>> register allocation is not done by LLVM so this optimization will simply
>>> skip them)
>>>
>>> Study and Other:
>>> ============...
2016 Jun 19
2
[GSoC 2016] [Weekly Status] Interprocedural Register Allocation
...quot; has been added to
>>>>> control the optimization through llc.
>>>>>
>>>>> Testing:
>>>>> =====
>>>>> The above mentioned implementation has been tested over SNU-Real-Time
>>>>> benchmark suit (http://www.cprover.org/goto-cc/examples/snu.html) and
>>>>> some simple programs that uses library function ( for a library function
>>>>> register allocation is not done by LLVM so this optimization will simply
>>>>> skip them)
>>>>>
>>>>> St...
2016 Jun 20
2
[GSoC 2016] [Weekly Status] Interprocedural Register Allocation
...through llc.
>>>>>>>
>>>>>>> Testing:
>>>>>>> =====
>>>>>>> The above mentioned implementation has been tested over
>>>>>>> SNU-Real-Time benchmark suit (
>>>>>>> http://www.cprover.org/goto-cc/examples/snu.html) and some simple
>>>>>>> programs that uses library function ( for a library function register
>>>>>>> allocation is not done by LLVM so this optimization will simply skip them)
>>>>>>>
>>>>>...