<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
On 23.4.2014. 18:02, Matthieu Monrocq wrote:<br>
<span style="white-space: pre;">> The only downside that I could
fathom are the redundant store<br>
> instructions: they are the witnesses that LLVM did not
consider them<br>
> redundant and therefore could not have devirtualized calls
without<br>
> them. Proper meta-data would solve this issue I suppose.<br>
</span><br>
When Clang finally adds support for (something like) MSVC's __assume
perhaps you could replace the store with something like __assume(
vfptr == something )...<br>
<br>
<br>
<span class="moz-txt-tag">-- <br>
</span>"What Huxley teaches is that in the age of advanced
technology, spiritual devastation is more likely to come from an
enemy with a smiling face than from one whose countenance exudes
suspicion and hate."
<br>
Neil Postman<br>
</body>
</html>