<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW - Broken function found with "opt -newgvn -loop-unswitch -licm -loop-extract-single""
href="https://bugs.llvm.org/show_bug.cgi?id=41697">41697</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Broken function found with "opt -newgvn -loop-unswitch -licm -loop-extract-single"
</td>
</tr>
<tr>
<th>Product</th>
<td>libraries
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Linux
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>enhancement
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Scalar Optimizations
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>cszide@163.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=21862" name="attach_21862" title=".bc file of the source code">attachment 21862</a> <a href="attachment.cgi?id=21862&action=edit" title=".bc file of the source code">[details]</a></span>
.bc file of the source code
$clang -v
clang version 9.0.0 (trunk 355281)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /home/jack-zhou/Documents/llvm/llvm_truck/llvm/build4/bin
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/8
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/5
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/5.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.3.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/8
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.3.0
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Candidate multilib: x32;@mx32
Selected multilib: .;@m64
$clang -O3 -c -emit-llvm -mllvm -disable-llvm-optzns small.c -o small.bc
$opt -newgvn -loop-unswitch -licm -loop-extract-single small.bc -o
small-opt.bc
Instruction does not dominate all uses!
%24 = alloca i32, align 4
%17 = bitcast i32* %24 to i8*
Instruction does not dominate all uses!
%22 = alloca i64, align 8
%18 = bitcast i64* %22 to i8*
Instruction does not dominate all uses!
%26 = alloca i64, align 8
%19 = bitcast i64* %26 to i8*
Instruction does not dominate all uses!
%24 = alloca i32, align 4
%20 = bitcast i32* %24 to i8*
Instruction does not dominate all uses!
%22 = alloca i64, align 8
%21 = bitcast i64* %22 to i8*
Instruction does not dominate all uses!
%24 = alloca i32, align 4
%22 = bitcast i32* %24 to i8*
Instruction does not dominate all uses!
%22 = alloca i64, align 8
%23 = bitcast i64* %22 to i8*
Instruction does not dominate all uses!
%26 = alloca i64, align 8
%26 = bitcast i64* %26 to i8*
Instruction does not dominate all uses!
%24 = alloca i32, align 4
%27 = bitcast i32* %24 to i8*
Instruction does not dominate all uses!
%22 = alloca i64, align 8
%28 = bitcast i64* %22 to i8*
Instruction does not dominate all uses!
%24 = alloca i32, align 4
%29 = bitcast i32* %24 to i8*
Instruction does not dominate all uses!
%22 = alloca i64, align 8
%30 = bitcast i64* %22 to i8*
Instruction does not dominate all uses!
%26 = alloca i64, align 8
%31 = bitcast i64* %26 to i8*
Instruction does not dominate all uses!
%24 = alloca i32, align 4
%32 = bitcast i32* %24 to i8*
Instruction does not dominate all uses!
%22 = alloca i64, align 8
%33 = bitcast i64* %22 to i8*
Instruction does not dominate all uses!
%24 = alloca i32, align 4
%34 = bitcast i32* %24 to i8*
Instruction does not dominate all uses!
%22 = alloca i64, align 8
%35 = bitcast i64* %22 to i8*
in function e
LLVM ERROR: Broken function found, compilation aborted!
By using godbolt, it shows that LLVM 6/7/trunk version also have this problem.
--------------------------------------
union a {
unsigned int b;
};
int c;
union a d;
unsigned int e(unsigned short int i, union a m, int *j, int f) {
k:
for (; d.b;)
for (; f <= 2;) {
long int l;
for (; 2;) {
int n;
unsigned long int o;
if (f)
goto k;
}
}
}
int g() {
int *n = &c;
e(0, d, n, c);
}</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>