Ticket #1119: bitwise.t.patch

File bitwise.t.patch, 19.8 KB (added by mgrimes, 5 years ago)
  • t/op/bitwise.t

     
    1 #!perl 
    2 # Copyright (C) 2001-2005, Parrot Foundation. 
     1#!parrot 
     2# Copyright (C) 2001-2009, Parrot Foundation. 
    33# $Id$ 
    44 
    5 use strict; 
    6 use warnings; 
    7 use lib qw( . lib ../lib ../../lib ); 
    8 use Test::More; 
    9 use Parrot::Test tests => 27; 
    10 use Parrot::Config; 
    11  
    125=head1 NAME 
    136 
    147t/op/bitwise.t - Bitwise Ops 
     
    2316 
    2417=cut 
    2518 
    26 pasm_output_is( <<'CODE', <<'OUTPUT', "shr_i_i_i (>>)" ); 
    27         set I0, 0b001100 
    28         set I1, 0b010100 
    29         set I2, 1 
    30         set I3, 2 
    31         shr I4, I0, I2 
    32         shr I2, I0, I2 
    33         shr I1, I1, I3 
    34         print I4 
    35         print "\n" 
    36         print I2 
    37         print "\n" 
    38         print I1 
    39         print "\n" 
    40         print I0 
    41         print "\n" 
    42         end 
    43 CODE 
    44 6 
    45 6 
    46 5 
    47 12 
    48 OUTPUT 
     19.sub main :main 
     20    .include 'test_more.pir' 
    4921 
    50 pasm_output_is( <<'CODE', <<'OUTPUT', "shr_i_i (>>)" ); 
    51         set I0, 0b001100 
    52         set I1, 0b010100 
    53         set I2, 1 
    54         set I3, 2 
    55         shr I0, I2 
    56         shr I1, I3 
    57         print I0 
    58         print "\n" 
    59         print I1 
    60         print "\n" 
    61         end 
    62 CODE 
    63 6 
    64 5 
    65 OUTPUT 
     22    plan(68) 
    6623 
    67 pasm_output_is( <<'CODE', <<'OUTPUT', "shr_i_i_ic (>>)" ); 
    68         set     I0, 0b001100 
    69         set     I1, 0b010100 
    70         shr     I2, I0, 1 
    71         shr     I1, I1, 2 
    72         print   I2 
    73         print   "\n" 
    74         print   I1 
    75         print   "\n" 
    76         print   I0 
    77         print   "\n" 
    78         end 
    79 CODE 
    80 6 
    81 5 
    82 12 
    83 OUTPUT 
     24    test_shr_i_i_i_shift_rt_() 
     25    test_shr_i_i_shift_rt_() 
     26    test_shr_i_i_ic_shift_rt_() 
     27    test_shr_i_ic_i_shift_rt_() 
     28    test_shr_i_ic_ic_shift_rt_() 
     29    test_lsr_i_ic_ic_shift_rt_() 
     30    test_lsr_i_ic_shift_rt() 
     31    test_lsr_i_i_i_shift_rt() 
     32    test_lsr_i_i_ic_shift_rt() 
     33    test_shr_i_i_ic_shift_rt_negative() 
     34    test_shl_i_i_i_shift_lt() 
     35    test_shl_i_i_ic_shift_lt() 
     36    test_shl_i_ic_i_shift_lt() 
     37    test_shl_i_ic_ic_shift_lt() 
     38    test_shl_i_i_shift_lt() 
     39    test_bxor_i_i_i_xor() 
     40    test_bxor_i_i_ic_xor() 
     41    test_bxor_i_ic_xor() 
     42    test_band_i_i_i_and() 
     43    test_band_i_i_ic_and() 
     44    test_band_i_i_ic_and_2() 
     45    test_bor_i_i_i() 
     46    test_bor_i_i_ic() 
     47    test_bor_i_i_ic_2() 
     48    test_bnot_i_i_2() 
     49    test_rot_i_i_ic_ic() 
     50    test_i_reg_shl_and_pmc_shl_are_consistent() 
     51    # END_OF_TESTS 
     52.end 
    8453 
    85 pasm_output_is( <<'CODE', <<'OUTPUT', "shr_i_ic_i (>>)" ); 
    86         set I0, 1 
    87         set I1, 2 
    88         shr I2, 0b001100, I0 
    89         shr I1, 0b010100, I1 
    90         print I2 
    91         print "\n" 
    92         print I1 
    93         print "\n" 
    94         end 
    95 CODE 
    96 6 
    97 5 
    98 OUTPUT 
     54.macro exception_is ( M ) 
     55    .local pmc exception 
     56    .local string message 
     57    .get_results (exception) 
    9958 
    100 pasm_output_is( <<'CODE', <<'OUTPUT', "shr_i_ic_ic (>>)" ); 
    101         shr I2, 0b001100, 1 
    102         shr I1, 0b010100, 2 
    103         print I2 
    104         print "\n" 
    105         print I1 
    106         print "\n" 
    107         end 
    108 CODE 
    109 6 
    110 5 
    111 OUTPUT 
     59    message = exception['message'] 
     60    is( message, .M, .M ) 
     61.endm 
    11262 
    113 # The crux of this test is that a proper logical right shift 
    114 # will clear the most significant bit, so the shifted value 
    115 # will be a positive value on any 2's or 1's complement CPU 
    116 pasm_output_is( <<'CODE', <<'OUTPUT', "lsr_i_ic_ic (>>)" ); 
    117         lsr I2, -40, 1 
    118         lt I2, 0, BAD 
    119         print "OK\n" 
    120         end 
    121 BAD: 
    122         print "Not OK" 
    123         print "\n" 
    124         end 
    125 CODE 
    126 OK 
    127 OUTPUT 
     63.sub test_shr_i_i_i_shift_rt_ 
     64    set $I0, 0b001100 
     65    set $I1, 0b010100 
     66    set $I2, 1 
     67    set $I3, 2 
     68    shr $I4, $I0, $I2 
     69    shr $I2, $I0, $I2 
     70    shr $I1, $I1, $I3 
     71    is( $I4, "6", 'shr_i_i_i (>>)' ) 
     72    is( $I2, "6", 'shr_i_i_i (>>)' ) 
     73    is( $I1, "5", 'shr_i_i_i (>>)' ) 
     74    is( $I0, "12", 'shr_i_i_i (>>)' ) 
     75.end 
    12876 
    129 pasm_output_is( <<'CODE', <<'OUTPUT', "lsr_i_ic (>>)" ); 
    130         set I2, -100 
    131         lsr I2, 1 
    132         lt I2, 0, BAD 
    133         print "OK\n" 
    134         end 
    135 BAD: 
    136         print "Not OK" 
    137         print "\n" 
    138         end 
    139 CODE 
    140 OK 
    141 OUTPUT 
     77.sub test_shr_i_i_shift_rt_ 
     78    set $I0, 0b001100 
     79    set $I1, 0b010100 
     80    set $I2, 1 
     81    set $I3, 2 
     82    shr $I0, $I2 
     83    shr $I1, $I3 
     84    is( $I0, "6", 'shr_i_i (>>)' ) 
     85    is( $I1, "5", 'shr_i_i (>>)' ) 
     86.end 
    14287 
    143 pasm_output_is( <<'CODE', <<'OUTPUT', "lsr_i_i_i (>>)" ); 
    144         set I0, -40 
    145         set I1, 1 
    146         lsr I2, I0, I1 
    147         lt I2, 0, BAD 
    148         print "OK\n" 
    149         end 
    150 BAD: 
    151         print "Not OK" 
    152         print "\n" 
    153         end 
    154 CODE 
    155 OK 
    156 OUTPUT 
     88.sub test_shr_i_i_ic_shift_rt_ 
     89    set     $I0, 0b001100 
     90    set     $I1, 0b010100 
     91    shr     $I2, $I0, 1 
     92    shr     $I1, $I1, 2 
     93    is( $I2, "6", 'shr_i_i_ic (>>)' ) 
     94    is( $I1, "5", 'shr_i_i_ic (>>)' ) 
     95    is( $I0, "12", 'shr_i_i_ic (>>)' ) 
     96.end 
    15797 
    158 # ... and the missing op signature was untested and wrong in JIT/i386 
    159 pasm_output_is( <<'CODE', <<'OUTPUT', "lsr_i_i_ic (>>)" ); 
    160         set I0, -40 
    161         lsr I2, I0, 1 
    162         lt I2, 0, BAD 
    163         print "OK\n" 
    164         end 
    165 BAD: 
    166         print "Not OK" 
    167         print "\n" 
    168         end 
    169 CODE 
    170 OK 
    171 OUTPUT 
     98.sub test_shr_i_ic_i_shift_rt_ 
     99    set $I0, 1 
     100    set $I1, 2 
     101    shr $I2, 0b001100, $I0 
     102    shr $I1, 0b010100, $I1 
     103    is( $I2, "6", 'shr_i_ic_i (>>)' ) 
     104    is( $I1, "5", 'shr_i_ic_i (>>)' ) 
     105.end 
    172106 
    173 pasm_output_is( <<'CODE', <<'OUTPUT', "shr_i_i_ic (>>) negative" ); 
    174         set I0, -40 
    175         shr I2, I0, 1 
    176         ge I2, 0, BAD 
    177         print "OK\n" 
    178         end 
    179 BAD: 
    180         print "Not OK" 
    181         print "\n" 
    182         end 
    183 CODE 
    184 OK 
    185 OUTPUT 
    186 pasm_output_is( <<'CODE', <<'OUTPUT', "shl_i_i_i (<<)" ); 
    187         set I0, 0b001100 
    188         set I1, 0b010100 
    189         set I2, 2 
    190         set I3, 1 
    191         shl I4, I0, I2 
    192         shl I2, I0, I2 
    193         shl I1, I1, I3 
    194         print I4 
    195         print "\n" 
    196         print I2 
    197         print "\n" 
    198         print I1 
    199         print "\n" 
    200         print I0 
    201         print "\n" 
    202         end 
    203 CODE 
    204 48 
    205 48 
    206 40 
    207 12 
    208 OUTPUT 
     107.sub test_shr_i_ic_ic_shift_rt_ 
     108    shr $I2, 0b001100, 1 
     109    shr $I1, 0b010100, 2 
     110    is( $I2, "6", 'shr_i_ic_ic (>>)' ) 
     111    is( $I1, "5", 'shr_i_ic_ic (>>)' ) 
     112.end 
    209113 
    210 pasm_output_is( <<'CODE', <<'OUTPUT', "shl_i_i_ic (<<)" ); 
    211         set I0, 0b001100 
    212         set I1, 0b010100 
    213         shl I2, I0, 2 
    214         shl I1, I1, 1 
    215         print I2 
    216         print "\n" 
    217         print I1 
    218         print "\n" 
    219         print I0 
    220         print "\n" 
    221         end 
    222 CODE 
    223 48 
    224 40 
    225 12 
    226 OUTPUT 
     114# The crux of this test is that a proper logical right shift 
     115# will clear the most significant bit, so the shifted value 
     116# will be a positive value on any 2's or 1's complement CPU 
     117.sub test_lsr_i_ic_ic_shift_rt_ 
     118    lsr $I2, -40, 1 
     119    lt $I2, 0, BAD 
     120    ok( 1, 'lsr_i_ic_ic (>>)' ) 
     121    goto END 
     122  BAD: 
     123    ok( 0, 'lsr_i_ic_ic (>>)' ) 
     124  END: 
     125.end 
    227126 
    228 pasm_output_is( <<'CODE', <<'OUTPUT', "shl_i_ic_i (<<)" ); 
    229         set I0, 2 
    230         set I1, 1 
    231         shl I2, 0b001100, I0 
    232         shl I1, 0b010100, I1 
    233         print I2 
    234         print "\n" 
    235         print I1 
    236         print "\n" 
    237         end 
    238 CODE 
    239 48 
    240 40 
    241 OUTPUT 
     127.sub test_lsr_i_ic_shift_rt 
     128    set $I2, -100 
     129    lsr $I2, 1 
     130    lt $I2, 0, BAD 
     131    ok( 1, 'lsr_i_ic (>>) OK') 
     132    goto END 
     133  BAD: 
     134    ok( 0, 'lsr_i_ic (>>)') 
     135  END: 
     136.end 
    242137 
    243 pasm_output_is( <<'CODE', <<'OUTPUT', "shl_i_ic_ic (<<)" ); 
    244         shl I2, 0b001100, 2 
    245         shl I1, 0b010100, 1 
    246         print I2 
    247         print "\n" 
    248         print I1 
    249         print "\n" 
    250         end 
    251 CODE 
    252 48 
    253 40 
    254 OUTPUT 
     138.sub test_lsr_i_i_i_shift_rt 
     139    set $I0, -40 
     140    set $I1, 1 
     141    lsr $I2, $I0, $I1 
     142    lt $I2, 0, BAD 
     143    ok( 1, 'lsr_i_i_i (>>) OK') 
     144    goto END 
     145  BAD: 
     146    ok( 0, 'lsr_i_i_i (>>)') 
     147  END: 
     148.end 
    255149 
    256 pasm_output_is( <<'CODE', <<'OUTPUT', "shl_i_i (<<)" ); 
    257         set I0, 0b001100 
    258         set I1, 0b010100 
    259         set I2, 1 
    260         set I3, 2 
    261         shl I0, I2 
    262         shl I1, I3 
    263         print I0 
    264         print "\n" 
    265         print I1 
    266         print "\n" 
    267         end 
    268 CODE 
    269 24 
    270 80 
    271 OUTPUT 
     150# ... and the missing op signature was untested and wrong in JIT/i386 
     151.sub test_lsr_i_i_ic_shift_rt 
     152    set $I0, -40 
     153    lsr $I2, $I0, 1 
     154    lt $I2, 0, BAD 
     155    ok( 1, 'lsr_i_i_ic (>>) OK') 
     156    goto END 
     157  BAD: 
     158    ok( 0, 'lsr_i_i_ic (>>)') 
     159  END: 
     160.end 
    272161 
    273 pasm_output_is( <<'CODE', <<'OUTPUT', "bxor_i_i_i (^)" ); 
    274         set     I0, 0b001100 
    275         set     I1, 0b100110 
    276         bxor    I2, I0, I1 
    277         print   I2 
    278         print   "\n" 
    279         bxor    I1, I0, I1 
    280         print   I1 
    281         print   "\n" 
    282         print   I0 
    283         print   "\n" 
    284         end 
    285 CODE 
    286 42 
    287 42 
    288 12 
    289 OUTPUT 
     162.sub test_shr_i_i_ic_shift_rt_negative 
     163    set $I0, -40 
     164    shr $I2, $I0, 1 
     165    ge $I2, 0, BAD 
     166    ok( 1, 'shr_i_i_ic (>>) negative OK') 
     167    goto END 
     168  BAD: 
     169    ok( 0, 'shr_i_i_ic (>>) negative') 
     170  END: 
     171.end 
    290172 
    291 pasm_output_is( <<'CODE', <<'OUTPUT', "bxor_i_i_ic (^)" ); 
    292         set I0, 0b001100 
    293         bxor I2, I0, 0b100110 
    294         print I2 
    295         print "\n" 
    296         print I0 
    297         print "\n" 
    298         bxor I0, I0, 0b100110 
    299         print I0 
    300         print "\n" 
    301         end 
    302 CODE 
    303 42 
    304 12 
    305 42 
    306 OUTPUT 
     173.sub test_shl_i_i_i_shift_lt 
     174    set $I0, 0b001100 
     175    set $I1, 0b010100 
     176    set $I2, 2 
     177    set $I3, 1 
     178    shl $I4, $I0, $I2 
     179    shl $I2, $I0, $I2 
     180    shl $I1, $I1, $I3 
     181    is( $I4, "48", 'shl_i_i_i (<<)' ) 
     182    is( $I2, "48", 'shl_i_i_i (<<)' ) 
     183    is( $I1, "40", 'shl_i_i_i (<<)' ) 
     184    is( $I0, "12", 'shl_i_i_i (<<)' ) 
     185.end 
    307186 
    308 pasm_output_is( <<'CODE', <<'OUTPUT', "bxor_i|ic (^)" ); 
    309         set I0, 0b001100 
    310         set I2, 0b000011 
    311         bxor I2, I0 
    312         print I2 
    313         print "\n" 
     187.sub test_shl_i_i_ic_shift_lt 
     188    set $I0, 0b001100 
     189    set $I1, 0b010100 
     190    shl $I2, $I0, 2 
     191    shl $I1, $I1, 1 
     192    is( $I2, "48", 'shl_i_i_ic (<<)' ) 
     193    is( $I1, "40", 'shl_i_i_ic (<<)' ) 
     194    is( $I0, "12", 'shl_i_i_ic (<<)' ) 
     195.end 
    314196 
    315         set I2, 0b001100 
    316         bxor  I2, I0 
    317         print I2 
    318         print "\n" 
     197.sub test_shl_i_ic_i_shift_lt 
     198    set $I0, 2 
     199    set $I1, 1 
     200    shl $I2, 0b001100, $I0 
     201    shl $I1, 0b010100, $I1 
     202    is( $I2, "48", 'shl_i_ic_i (<<)' ) 
     203    is( $I1, "40", 'shl_i_ic_i (<<)' ) 
     204.end 
    319205 
    320         set I2, 0b101010 
    321         bxor I2, I2 
    322         print I2 
    323         print "\n" 
     206.sub test_shl_i_ic_ic_shift_lt 
     207    shl $I2, 0b001100, 2 
     208    shl $I1, 0b010100, 1 
     209    is( $I2, "48", 'shl_i_ic_ic (<<)' ) 
     210    is( $I1, "40", 'shl_i_ic_ic (<<)' ) 
     211.end 
    324212 
    325         set I2, 0b010101 
    326         bxor I2, 0b000011 
    327         print I2 
    328         print "\n" 
     213.sub test_shl_i_i_shift_lt 
     214    set $I0, 0b001100 
     215    set $I1, 0b010100 
     216    set $I2, 1 
     217    set $I3, 2 
     218    shl $I0, $I2 
     219    shl $I1, $I3 
     220    is( $I0, "24", 'shl_i_i (<<)' ) 
     221    is( $I1, "80", 'shl_i_i (<<)' ) 
     222.end 
    329223 
    330         end 
    331 CODE 
    332 15 
    333 0 
    334 0 
    335 22 
    336 OUTPUT 
     224.sub test_bxor_i_i_i_xor 
     225    set     $I0, 0b001100 
     226    set     $I1, 0b100110 
     227    bxor    $I2, $I0, $I1 
     228    is( $I2, "42", 'bxor_i_i_i (^)' ) 
     229    bxor    $I1, $I0, $I1 
     230    is( $I1, "42", 'bxor_i_i_i (^)' ) 
     231    is( $I0, "12", 'bxor_i_i_i (^)' ) 
     232.end 
    337233 
    338 pasm_output_is( <<'CODE', <<'OUTPUT', "band_i_i_i (&)" ); 
    339         set     I0, 0b001100 
    340         set     I1, 0b010110 
    341         band    I2, I0,I1 
    342         print   I2 
    343         print   "\n" 
    344         band    I1,I0,I1 
    345         print   I1 
    346         print   "\n" 
    347         print   I0 
    348         print   "\n" 
    349         end 
    350 CODE 
    351 4 
    352 4 
    353 12 
    354 OUTPUT 
     234.sub test_bxor_i_i_ic_xor 
     235    set $I0, 0b001100 
     236    bxor $I2, $I0, 0b100110 
     237    is( $I2, "42", 'bxor_i_i_ic (^)' ) 
     238    is( $I0, "12", 'bxor_i_i_ic (^)' ) 
     239    bxor $I0, $I0, 0b100110 
     240    is( $I0, "42", 'bxor_i_i_ic (^)' ) 
     241.end 
    355242 
    356 pasm_output_is( <<'CODE', <<'OUTPUT', "band_i_i_ic (&)" ); 
    357         set I0, 0b001100 
    358         band I2, I0,0b010110 
    359         print I2 
    360         print "\n" 
    361         print I0 
    362         print "\n" 
    363         band I0,I0,0b010110 
    364         print I0 
    365         print "\n" 
    366         end 
    367 CODE 
    368 4 
    369 12 
    370 4 
    371 OUTPUT 
     243.sub test_bxor_i_ic_xor 
     244    set $I0, 0b001100 
     245    set $I2, 0b000011 
     246    bxor $I2, $I0 
     247    is( $I2, "15", 'bxor_i|ic (^)' ) 
     248    set $I2, 0b001100 
     249    bxor  $I2, $I0 
     250    is( $I2, "0", 'bxor_i|ic (^)' ) 
     251    set $I2, 0b101010 
     252    bxor $I2, $I2 
     253    is( $I2, "0", 'bxor_i|ic (^)' ) 
     254    set $I2, 0b010101 
     255    bxor $I2, 0b000011 
     256    is( $I2, "22", 'bxor_i|ic (^)' ) 
     257.end 
    372258 
    373 pasm_output_is( <<'CODE', <<'OUTPUT', "band_i_i|ic (&)" ); 
    374         set I0, 0b001100 
    375         set I2, 0b000011 
    376         band I2, I0 
    377         print I2 
    378         print "\n" 
     259.sub test_band_i_i_i_and 
     260    set     $I0, 0b001100 
     261    set     $I1, 0b010110 
     262    band    $I2, $I0,$I1 
     263    is( $I2, "4", 'band_i_i_i (&)' ) 
     264    band    $I1,$I0,$I1 
     265    is( $I1, "4", 'band_i_i_i (&)' ) 
     266    is( $I0, "12", 'band_i_i_i (&)' ) 
     267.end 
    379268 
    380         set I2, 0b001100 
    381         band  I2, I0 
    382         print I2 
    383         print "\n" 
     269.sub test_band_i_i_ic_and 
     270    set $I0, 0b001100 
     271    band $I2, $I0,0b010110 
     272    is( $I2, "4", 'band_i_i_ic (&)' ) 
     273    is( $I0, "12", 'band_i_i_ic (&)' ) 
     274    band $I0,$I0,0b010110 
     275    is( $I0, "4", 'band_i_i_ic (&)' ) 
     276.end 
    384277 
    385         set I2, 0b101010 
    386         band I2, I2 
    387         print I2 
    388         print "\n" 
     278.sub test_band_i_i_ic_and_2 
     279    set $I0, 0b001100 
     280    set $I2, 0b000011 
     281    band $I2, $I0 
     282    is( $I2, "0", 'band_i_i|ic (&)' ) 
    389283 
    390         set I2, 0b010101 
    391         band I2, 0b000011 
    392         print I2 
    393         print "\n" 
     284    set $I2, 0b001100 
     285    band  $I2, $I0 
     286    is( $I2, "12", 'band_i_i|ic (&)' ) 
    394287 
    395         end 
    396 CODE 
    397 0 
    398 12 
    399 42 
    400 1 
    401 OUTPUT 
     288    set $I2, 0b101010 
     289    band $I2, $I2 
     290    is( $I2, "42", 'band_i_i|ic (&)' ) 
     291     
     292    set $I2, 0b010101 
     293    band $I2, 0b000011 
     294    is( $I2, "1", 'band_i_i|ic (&)' ) 
     295.end 
    402296 
    403 pasm_output_is( <<'CODE', <<'OUTPUT', "bor_i_i_i (|)" ); 
    404         set I0, 0b001100 
    405         set I1, 0b010110 
    406         bor I2, I0,I1 
    407         print I2 
    408         print "\n" 
    409         bor I1,I0,I1 
    410         print I1 
    411         print "\n" 
    412         print I0 
    413         print "\n" 
    414         end 
    415 CODE 
    416 30 
    417 30 
    418 12 
    419 OUTPUT 
     297.sub test_bor_i_i_i 
     298    set $I0, 0b001100 
     299    set $I1, 0b010110 
     300    bor $I2, $I0,$I1 
     301    is( $I2, "30", 'bor_i_i_i (|)' ) 
     302    bor $I1,$I0,$I1 
     303    is( $I1, "30", 'bor_i_i_i (|)' ) 
     304    is( $I0, "12", 'bor_i_i_i (|)' ) 
     305.end 
    420306 
    421 pasm_output_is( <<'CODE', <<'OUTPUT', "bor_i_i_ic (|)" ); 
    422         set I0, 0b001100 
    423         bor I2, I0,0b010110 
    424         print I2 
    425         print "\n" 
    426         print I0 
    427         print "\n" 
    428         bor I0,I0,0b010110 
    429         print I0 
    430         print "\n" 
    431         end 
    432 CODE 
    433 30 
    434 12 
    435 30 
    436 OUTPUT 
     307.sub test_bor_i_i_ic 
     308    set $I0, 0b001100 
     309    bor $I2, $I0,0b010110 
     310    is( $I2, "30", 'bor_i_i_ic (|)' ) 
     311    is( $I0, "12", 'bor_i_i_ic (|)' ) 
     312    bor $I0,$I0,0b010110 
     313    is( $I0, "30", 'bor_i_i_ic (|)' ) 
     314.end 
    437315 
    438 pasm_output_is( <<'CODE', <<'OUTPUT', "bor_i_i|ic (|)" ); 
    439         set I0, 0b001100 
    440         set I2, 0b000011 
    441         bor I2, I0 
    442         print I2 
    443         print "\n" 
     316.sub test_bor_i_i_ic_2 
     317    set $I0, 0b001100 
     318    set $I2, 0b000011 
     319    bor $I2, $I0 
     320    is( $I2, "15", 'bor_i_i|ic (|) 2' ) 
     321    set $I2, 0b001100 
     322    bor  $I2, $I0 
     323    is( $I2, "12", 'bor_i_i|ic (|) 2' ) 
     324    set $I2, 0b101010 
     325    bor $I2, $I2 
     326    is( $I2, "42", 'bor_i_i|ic (|) 2' ) 
     327    set $I2, 0b010101 
     328    bor $I2, 0b000011 
     329    is( $I2, "23", 'bor_i_i|ic (|) 2' ) 
     330.end 
    444331 
    445         set I2, 0b001100 
    446         bor  I2, I0 
    447         print I2 
    448         print "\n" 
     332.sub test_bnot_i_i_2 
     333    set     $I0, 0b001100 
     334    set     $I1, 0b001100 
     335    set     $I31, 0b111111 
     336    bnot    $I2, $I0 
     337    band    $I2, $I2, $I31 
     338    is( $I2, "51", 'bnot_i_i (~) 2' ) 
     339    bnot    $I1, $I1 
     340    band    $I1, $I1, $I31 
     341    is( $I1, "51", 'bnot_i_i (~) 2' ) 
     342    is( $I0, "12", 'bnot_i_i (~) 2' ) 
     343.end 
    449344 
    450         set I2, 0b101010 
    451         bor I2, I2 
    452         print I2 
    453         print "\n" 
     345.sub test_rot_i_i_ic_ic 
     346    .include "iglobals.pasm" 
     347    .local pmc interp     # a handle to our interpreter object. 
     348    interp = getinterp 
     349    .local pmc config 
     350    config = interp[.IGLOBALS_CONFIG_HASH] 
     351    .local int intvalsize  
     352    intvalsize = config['intvalsize'] 
    454353 
    455         set I2, 0b010101 
    456         bor I2, 0b000011 
    457         print I2 
    458         print "\n" 
     354    .local int int_bits 
     355    int_bits = intvalsize * 8 
    459356 
    460         end 
    461 CODE 
    462 15 
    463 12 
    464 42 
    465 23 
    466 OUTPUT 
     357    set $I0, 0b001100 
    467358 
    468 # use C<and> to only check low order bits, this should be platform nice 
    469 pasm_output_is( <<'CODE', <<'OUTPUT', "bnot_i_i (~)" ); 
    470         set     I0, 0b001100 
    471         set     I1, 0b001100 
    472         set     I31, 0b111111 
    473         bnot    I2, I0 
    474         band    I2, I2, I31 
    475         print   I2 
    476         print   "\n" 
    477         bnot    I1, I1 
    478         band    I1, I1, I31 
    479         print   I1 
    480         print   "\n" 
    481         print   I0 
    482         print   "\n" 
    483         end 
    484 CODE 
    485 51 
    486 51 
    487 12 
    488 OUTPUT 
     359    gt intvalsize, 4, do64bit 
    489360 
    490 my $int_bits = $PConfig{intvalsize} * 8; 
    491 pasm_output_is( <<"CODE", <<'OUTPUT', 'rot_i_i_ic_ic' ); 
    492     set I0, 0b001100 
    493     rot I1, I0, 1, $int_bits   # 1 left 
    494     print I1 
    495     print "\\n" 
    496     rot I1, I0, -1, $int_bits   # 1 right 
    497     print I1 
    498     print "\\n" 
    499     end 
    500 CODE 
    501 24 
    502 6 
    503 OUTPUT 
     361    rot $I1, $I0, 1, 32         # 1 left 
     362    is( $I1, "24", 'rot_i_i_ic_ic' ) 
     363    rot $I1, $I0, -1, 32        # 1 right 
     364    is( $I1, "6", 'rot_i_i_ic_ic' ) 
     365    goto END 
    504366 
    505 SKIP: { 
    506     skip 'no BigInt lib found' => 1 
    507         unless $PConfig{gmp}; 
     367  do64bit: 
     368    rot $I1, $I0, 1, 64         # 1 left 
     369    is( $I1, "24", 'rot_i_i_ic_ic' ) 
     370    rot $I1, $I0, -1, 64        # 1 right 
     371    is( $I1, "6", 'rot_i_i_ic_ic' ) 
     372     
     373  END: 
     374.end 
    508375 
    509     my @todo; 
    510     @todo = ( todo => 'broken with JIT (RT #43245)' ) 
    511         if ( defined $ENV{TEST_PROG_ARGS} and  
    512             $ENV{TEST_PROG_ARGS} =~ /--runcore=jit/ ); 
    513  
    514     pir_output_is( <<'CODE', <<'OUT', "I-reg shl and PMC shl are consistent", @todo ); 
    515376## The PMC shl op will promote Integer to Bigint when needed.  We can't stuff a 
    516377## BigInt in an I register, but we can produce the same result modulo wordsize. 
    517378## [Only we cheat by using the word size minus one, so that we don't have to 
    518379## deal with negative numbers.  -- rgr, 2-Jun-07.] 
    519 .sub main :main 
     380.sub test_i_reg_shl_and_pmc_shl_are_consistent 
     381 
     382    # This seems to be passing fine with --runcore=jit 
     383    #     my @todo; 
     384    #     @todo = ( todo => 'broken with JIT (RT #43245)' ) 
     385    #         if ( defined $ENV{TEST_PROG_ARGS} and  
     386    #             $ENV{TEST_PROG_ARGS} =~ /--runcore=jit/ ); 
     387 
     388    .include "iglobals.pasm" 
     389    .local pmc interp     # a handle to our interpreter object. 
     390    interp = getinterp 
     391    .local pmc config 
     392    config = interp[.IGLOBALS_CONFIG_HASH] 
     393    .local string gmp 
     394    gmp = config['gmp'] 
     395     
     396    if gmp, runtest 
     397    skip( 1, 'no BigInt lib found' ) 
     398    goto END 
     399 
     400  runtest: 
     401 
    520402    ## Figure out the wordsize.  We need integer_modulus because assigning a 
    521403    ## too-big BigInt throws an error otherwise. 
    522404    .include 'sysinfo.pasm' 
     
    539421    ## Test shifting a negative number. 
    540422    set $P0, -1000001 
    541423    test_shift($P0, integer_modulus) 
     424  END: 
    542425.end 
    543426 
    544427.sub test_shift 
     
    550433    i_number = number 
    551434 
    552435    ## Start the loop. 
    553 loop: 
     436  loop: 
    554437    if $P1 > 100 goto done 
    555438    ## shift number and i_number into $P2 and $I2. 
    556439    shl $P2, number, $P1 
     
    567450    $I5 = - $I4 
    568451    if $I4 == $I5 goto ok 
    569452    goto bad 
    570 pos_check: 
     453  pos_check: 
    571454    if $I2 == $I3 goto ok 
    572 bad: 
    573     print "oops; not ok: " 
    574     print i_number 
    575     print ' << ' 
    576     print $I1 
    577     print ' gives I ' 
    578     print $I2 
    579     print ' vs. P ' 
    580     print $P3 
    581     print ".\n" 
    582     print $I5 
    583     print "\n" 
    584 ok: 
     455  bad: 
     456    ok( 0, "oops; not ok: " ) 
     457    diag( i_number ) 
     458    diag( ' << ' ) 
     459    diag( $I1 ) 
     460    diag( ' gives I ' ) 
     461    diag( $I2 ) 
     462    diag( ' vs. P ' ) 
     463    diag( $P3 ) 
     464    diag( ".\n" ) 
     465    diag( $I5 ) 
     466    diag( "\n" ) 
     467  ok: 
    585468    ## set up for the next one 
    586469    inc $P1 
    587470    goto loop 
    588 done: 
    589     print "done.\n" 
     471  done: 
     472    ok( 1, 'finished ok' ) 
    590473.end 
    591 CODE 
    592 done. 
    593 done. 
    594 OUT 
    595 } 
    596474 
    597475# Local Variables: 
    598 #   mode: cperl 
     476#   mode: pir 
    599477#   cperl-indent-level: 4 
    600478#   fill-column: 100 
    601479# End: 
    602 # vim: expandtab shiftwidth=4: 
     480# vim: expandtab shiftwidth=4 ft=pir: