svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] BBC _barebone_boundscheck function

From: Baozeng <sploving1 AT gmail.com>
To: Alex Miller <mille151 AT illinois.edu>
Cc: svadev AT cs.illinois.edu
Subject: [svadev] BBC _barebone_boundscheck function
Date: Thu, 24 May 2012 21:56:33 +0800
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>

Hello,
I cannot understand the following code in function _barebone_boundscheck defined in BaggyBoundsCheck.cpp:

if (val) {

    if (Source & SET_MASK) { // If I understand correctly, this means that Source is OOB pointer.

      Source = Source & UNSET_MASK;
      if (Source & 0x8) {// Could you explain me why add or sub 16?
        Source += 16;
      } else {
        Source -= 16;
      }
      Dest = Dest & UNSET_MASK;

--
     Best Regards,
             Baozeng Ding
                                                                 OSTG,NFS,ISCAS

[svadev] BBC _barebone_boundscheck function, Baozeng, 05/24/2012
- Message not available
  - [svadev] Fwd: BBC _barebone_boundscheck function, Baozeng, 05/24/2012
    - Re: [svadev] Fwd: BBC _barebone_boundscheck function, Alex Miller, 05/24/2012
      - Re: [svadev] Fwd: BBC _barebone_boundscheck function, John Criswell, 05/24/2012
        
        Re: [svadev] Fwd: BBC _barebone_boundscheck function, Baozeng, 05/25/2012
        
        Re: [svadev] Fwd: BBC _barebone_boundscheck function, John Criswell, 05/25/2012
        
        Re: [svadev] Fwd: BBC _barebone_boundscheck function, Baozeng, 05/26/2012
        Re: [svadev] Fwd: BBC _barebone_boundscheck function, John Criswell, 05/28/2012
        Re: [svadev] Fwd: BBC _barebone_boundscheck function, Baozeng, 05/28/2012
        
        Message not available
        
        Message not available
        
        Re: [svadev] Fwd: BBC _barebone_boundscheck function, Baozeng, 05/25/2012
        Re: [svadev] Fwd: BBC _barebone_boundscheck function, John Criswell, 05/25/2012