Displaying 5 results from an estimated 5 matches for "menendez".
Did you mean:
melendez
2016 Aug 29
2
Publication
Hi,
Can you add the following two publications from our group to the LLVM
publications page.
-
*Alive-FP: Automated Verification of Floating Point Based Peephole
Optimizations in LLVM [pdf]
<http://www.cs.rutgers.edu/~santosh.nagarakatte/papers/alive-fp-sas16.pdf>
*David
Menendez, Santosh Nagarakatte, and Aarti Gupta
*To Appear in the Proceedings of the 23rd Static Analysis Symposium (SAS
2016 <http://staticanalysis.org/sas2016/>)*, Edinburgh, September, 2016
The paper is available at
http://www.cs.rutgers.edu/~santosh.nagarakatte/papers/alive-fp-sas16.pdf...
2014 Jul 01
2
[LLVMdev] Probable error in InstCombine
...This appears to be the relevant code:
InstCombineAddSub.cpp:1556
> // 0 - (X sdiv C) -> (X sdiv -C)
> if (match(Op1, m_SDiv(m_Value(X), m_Constant(C))) &&
> match(Op0, m_Zero()))
> return BinaryOperator::CreateSDiv(X, ConstantExpr::getNeg(C));
- David Menendez
2008 Dec 17
1
Asterisk and NAT one way audio
Hello may situation is the next:
Asterisk <--> NAT1 (router)<---> internet <--> NAT2 (router) <--> x-lite
^
|
ip phone (cisco)
Asterisk and de cisco phone are in the same LAN. I want to make a
call between the x-lite and the ip phone. I can do the call but there is
only audio from de ip-phone
2000 Oct 11
1
Bug? (PR#690)
...er of items to replace is not a multiple of replacement length
Thanks
Armando Ferreira
----------------------------------------------------------------------------
-------------
Armando Mateus Ferreira
Escuela Técnica Superior de Inginieros Agrónomos y Montes
Universidad de Córdoba-España
Avda. Menendez Pidal, 14080 Córdoba
td2mafea@uco.es
Escola Superior Agrária
6000 Castelo Branco-Portugal
armando@esa.ipcb.pt
-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
r-devel mailing list -- Read http://www.ci.tuwien.ac.at/~hornik/R/R-FAQ.html
Send "info", "...
2017 May 23
4
[poison] is select-of-select to logic+select allowed?
Hi,
Let me try to give a bit more context on why select is so tricky.
First thing to consider is which transformations we would like to support:
1) Control-flow -> select (SimplifyCFG)
if (c)
a = x
else
a = y
=>
%a = select %c, %x, %y
2) select -> control-flow; reverse of 1)
Not sure if this is done at IR level, or only later at SDAG.
3) select ->