<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><span class="vcard"><a class="email" href="mailto:arielb1@mail.tau.ac.il" title="Ariel Ben-Yehuda <arielb1@mail.tau.ac.il>"> <span class="fn">Ariel Ben-Yehuda</span></a>
</span> changed
<a class="bz_bug_link
bz_status_REOPENED "
title="REOPENED - SimplifyCFG blocks SROA optimization"
href="https://bugs.llvm.org/show_bug.cgi?id=30188">bug 30188</a>
<br>
<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>What</th>
<th>Removed</th>
<th>Added</th>
</tr>
<tr>
<td style="text-align:right;">Resolution</td>
<td>FIXED
</td>
<td>---
</td>
</tr>
<tr>
<td style="text-align:right;">Status</td>
<td>RESOLVED
</td>
<td>REOPENED
</td>
</tr>
<tr>
<td style="text-align:right;">CC</td>
<td>
</td>
<td>arielb1@mail.tau.ac.il
</td>
</tr></table>
<p>
<div>
<b><a class="bz_bug_link
bz_status_REOPENED "
title="REOPENED - SimplifyCFG blocks SROA optimization"
href="https://bugs.llvm.org/show_bug.cgi?id=30188#c25">Comment # 25</a>
on <a class="bz_bug_link
bz_status_REOPENED "
title="REOPENED - SimplifyCFG blocks SROA optimization"
href="https://bugs.llvm.org/show_bug.cgi?id=30188">bug 30188</a>
from <span class="vcard"><a class="email" href="mailto:arielb1@mail.tau.ac.il" title="Ariel Ben-Yehuda <arielb1@mail.tau.ac.il>"> <span class="fn">Ariel Ben-Yehuda</span></a>
</span></b>
<pre>Still a problem with GEPs of allocas:
```
%SearchWhile = type { i8, i8 }
define i8 @sink(i1) {
start:
%t = alloca %SearchWhile
%t_0 = getelementptr inbounds %SearchWhile, %SearchWhile* %t, i32 0, i32 0
%t_1 = getelementptr inbounds %SearchWhile, %SearchWhile* %t, i32 0, i32 1
br i1 %0, label %if_false, label %if_true
if_true:
store i8 0, i8* %t_0
br label %exit
if_false:
store i8 1, i8* %t_0
store i8 0, i8* %t_1
br label %exit
exit:
%val = load i8, i8* %t_0, align 1
ret i8 %val
}
```
This is the cause of Rust's <a href="https://github.com/rust-lang/rust/issues/43517">https://github.com/rust-lang/rust/issues/43517</a></pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>