Changes between Version 3 and Version 4 of SemiTagging


Ignore:
Timestamp:
Oct 11, 2006 1:01:46 PM (8 years ago)
Author:
alexey
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SemiTagging

    v3 v4  
    3636|| cons. w/children no. 2    || ptr || 11 || 
    3737 
     38This still limits us to data types that have no more than two constructors with children. We can improve on this by noting that pointers will not point to low addresses. So we can make a simple test to distinguish between tags and pointers: 
     39 
     40||  || bits 31..2 || bits 1 0 || || 
     41|| cons. w/no children || tag || 01 || tag < no. of  constructors|| 
     42|| cons. w/ children || ptr || 01 || ptr >= no. of constructors || 
     43|| cons. w/children no. 1    || ptr || 10 || || 
     44|| cons. w/children no. 2    || ptr || 11 || || 
     45