<html>
<head>
<style>
table, th, td {
border: 1px solid black;
}
table.center {
margin-left: auto;
margin-right: auto;
}
</style>
</head>
<body>
<table>
<caption><b>Location Bugs found by the Debugify</b></caption>
<tr>
<th>File</th>
<th>LLVM Pass Name</th>
<th>LLVM IR Instruction</th>
<th>Function Name</th>
<th>Basic Block Name</th>
<th>Action</th>
</tr>
</tr>
<tr>
<td>wrstabs.c</td>
<td>Simplify the CFG</td>
<td>br</td>
<td>stab_function_type</td>
<td>if.end</td>
<td>drop</td>
</tr>
<tr>
</table>
<br>
<table>
<caption><b>Summary of Location Bugs</b></caption>
<tr>
<th>LLVM Pass Name</th>
<th>Number of bugs</th>
</tr>
<tr>
<td>Simplify the CFG</td>
<td>1</td>
</tr>
<tr>
</table>
<br>
<br>
<table>
<caption><b>SP Bugs found by the Debugify</b></caption>
<tr>
<th>File</th>
<th>LLVM Pass Name</th>
<th>Function Name</th>
<th>Action</th>
</tr>
<tr>
<td colspan='4'> No bugs found </td>
</tr>
</table>
<br>
<table>
<caption><b>Summary of SP Bugs</b></caption>
<tr>
<th>LLVM Pass Name</th>
<th>Number of bugs</th>
</tr>
<tr>
<tr>
<td colspan='2'> No bugs found </td>
</tr>
</table>
<br>
<br>
<table>
<caption><b>Variable Location Bugs found by the Debugify</b></caption>
<tr>
<th>File</th>
<th>LLVM Pass Name</th>
<th>Variable</th>
<th>Function</th>
<th>Action</th>
</tr>
</tr>
<tr>
<td>debug.c</td>
<td>Simplify the CFG</td>
<td>pf1</td>
<td>debug_class_type_samep</td>
<td>drop</td>
</tr>
<tr>
<td>debug.c</td>
<td>Simplify the CFG</td>
<td>pf2</td>
<td>debug_class_type_samep</td>
<td>drop</td>
</tr>
<tr>
<td>debug.c</td>
<td>Simplify the CFG</td>
<td>pv1</td>
<td>debug_class_type_samep</td>
<td>drop</td>
</tr>
<tr>
<td>debug.c</td>
<td>Simplify the CFG</td>
<td>pv2</td>
<td>debug_class_type_samep</td>
<td>drop</td>
</tr>
<tr>
</tr>
<tr>
<td>debug.c</td>
<td>Combine redundant instructions</td>
<td>n</td>
<td>debug_write_block</td>
<td>drop</td>
</tr>
<tr>
<td>debug.c</td>
<td>Combine redundant instructions</td>
<td>b</td>
<td>debug_write_block</td>
<td>drop</td>
</tr>
<tr>
</tr>
<tr>
<td>prdbg.c</td>
<td>Simplify the CFG</td>
<td>t</td>
<td>pr_tag_type</td>
<td>drop</td>
</tr>
<tr>
<td>prdbg.c</td>
<td>Simplify the CFG</td>
<td>tag</td>
<td>pr_tag_type</td>
<td>drop</td>
</tr>
<tr>
</tr>
<tr>
<td>objdump.c</td>
<td>Simplify the CFG</td>
<td>comma</td>
<td>dump_section_header</td>
<td>drop</td>
</tr>
<tr>
<td>objdump.c</td>
<td>Simplify the CFG</td>
<td>ls</td>
<td>dump_section_header</td>
<td>drop</td>
</tr>
<tr>
</table>
<br>
<table>
<caption><b>Summary of Variable Location Bugs</b></caption>
<tr>
<th>LLVM Pass Name</th>
<th>Number of bugs</th>
</tr>
<tr>
<td>Combine redundant instructions</td>
<td>2</td>
</tr>
<tr>
<td>Simplify the CFG</td>
<td>9</td>
</tr>
<tr>
</table>
</body>
</html>