[llvm-bugs] [Bug 30188] SimplifyCFG blocks SROA optimization

via llvm-bugs llvm-bugs at lists.llvm.org
Sun Jul 30 09:01:26 PDT 2017


https://bugs.llvm.org/show_bug.cgi?id=30188

Ariel Ben-Yehuda <arielb1 at mail.tau.ac.il> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|FIXED                       |---
             Status|RESOLVED                    |REOPENED
                 CC|                            |arielb1 at mail.tau.ac.il

--- Comment #25 from Ariel Ben-Yehuda <arielb1 at mail.tau.ac.il> ---
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 https://github.com/rust-lang/rust/issues/43517

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20170730/910b31f4/attachment.html>


More information about the llvm-bugs mailing list