<html>
    <head>
      <base href="http://llvm.org/bugs/" />
    </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 --- - Missing optimisation for bitmanipulation"
   href="http://llvm.org/bugs/show_bug.cgi?id=21762">21762</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>Missing optimisation for bitmanipulation
          </td>
        </tr>

        <tr>
          <th>Product</th>
          <td>new-bugs
          </td>
        </tr>

        <tr>
          <th>Version</th>
          <td>3.4
          </td>
        </tr>

        <tr>
          <th>Hardware</th>
          <td>PC
          </td>
        </tr>

        <tr>
          <th>OS</th>
          <td>All
          </td>
        </tr>

        <tr>
          <th>Status</th>
          <td>NEW
          </td>
        </tr>

        <tr>
          <th>Severity</th>
          <td>normal
          </td>
        </tr>

        <tr>
          <th>Priority</th>
          <td>P
          </td>
        </tr>

        <tr>
          <th>Component</th>
          <td>new bugs
          </td>
        </tr>

        <tr>
          <th>Assignee</th>
          <td>unassignedbugs@nondot.org
          </td>
        </tr>

        <tr>
          <th>Reporter</th>
          <td>Lars.Rasmusson@sics.se
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>llvmbugs@cs.uiuc.edu
          </td>
        </tr>

        <tr>
          <th>Classification</th>
          <td>Unclassified
          </td>
        </tr></table>
      <p>
        <div>
        <pre>Submitting bug, as requested in
<a href="http://lists.cs.uiuc.edu/pipermail/llvmdev/2014-December/079351.html">http://lists.cs.uiuc.edu/pipermail/llvmdev/2014-December/079351.html</a>



I'm compiling a large code base that uses tagged data, with the tag in the two
lowest bits.

I.e. ints are shifted two steps to the left and have 2 in the tag bits,
pointers have 0 in the tag bits, etc.

When I compile the code, I notice that there are places where -O3 doesn't
remove unnecessary tag bit tests and manipulations, when they are performed
with bitwise manipulation (which is how it is implemented in the large code
base I'm working with).

I've provided a small example below.

However, when I change from using 'and' and 'or' to using subtraction and
addition, llvm is able to detect and optimise the code correctly.



/***************************************************/

/*  The two LSB of x0 are 'tag bits'  */
/*  that we want to manipulate.       */
extern long x0;

void go_error(void) __attribute__ ((noreturn));

void example_not_optimized(void)
{
  if((x0 & 3) == 2) {
    // Here the tag bits are removed and added
    // with bitwise 'and' and 'or'.
    x0 = ((x0 & ~3) | 2) + 12;
  } else {
    go_error();
  }
}

/*
define void @example_not_optimized() #0 {
  %1 = load i64* @x0, align 8, !tbaa !1
  %2 = and i64 %1, 3
  %3 = icmp eq i64 %2, 2
  br i1 %3, label %4, label %8

; <label>:4                                       ; preds = %0
  %5 = and i64 %1, -4                ; this should be optimized away
  %6 = or i64 %5, 2                  ; this should be optimized away
  %7 = add nsw i64 %6, 12
  store i64 %7, i64* @x0, align 8, !tbaa !1
  ret void

; <label>:8                                       ; preds = %0
  tail call void @go_error() #2
  unreachable
}
*/


void example_optimized(void)
{
  if((x0 & 3) == 2) {
    // Here the tag bits are removed and added
    // with subtraction and addition.
    x0 = (x0 - (x0 & 3) + 2) + 12;
  } else {
    go_error();
  }
}

/*
define void @example_optimized() #0 {
  %1 = load i64* @x0, align 8, !tbaa !1
  %2 = and i64 %1, 3
  %3 = icmp eq i64 %2, 2
  br i1 %3, label %4, label %6

; <label>:4                                       ; preds = %0
  %5 = add i64 %1, 12                      ; Here it worked OK.
  store i64 %5, i64* @x0, align 8, !tbaa !1
  ret void

; <label>:6                                       ; preds = %0
  tail call void @go_error() #2
  unreachable
}

 */</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>