<rt id="bn8ez"></rt>
<label id="bn8ez"></label>

  • <span id="bn8ez"></span>

    <label id="bn8ez"><meter id="bn8ez"></meter></label>

    隨筆 - 53, 文章 - 0, 評論 - 3, 引用 - 0
    數據加載中……

    A piece of beautiful and trick bitwise operation code.

    A detailed reading process of a piece of beautiful and trick bitwise operation code.
     
    The following code is from MMIXWare, it is used to implement the Wyde difference between two octabyte.
     
         in file: "mmix-arith.w"
         423 tetra wyde_diff(y,z)
         424   tetra y,z;
         425 {
         426   register tetra a=((y>>16)-(z>>16))&0x10000;
         427   register tetra b=((y&0xffff)-(z&0xffff))&0x10000;
         428   return y-(z^((y^z)&(b-a-(b>>16))));
         429 }
     
    It is hard to understand it without any thinking or verification, here is the process I used
    to check the correctness of this algorithm.

    let y = 0xuuuuvvvv;
         z = 0xccccdddd; (please note the [c]s may be different hex number.)
        
    then y>>16 = 0x0000uuuu;
         z>>16 = 0x0000cccc;
         
    then ((y>>16)-(z>>16)) = 0x1111gggg if #uuuu < #cccc or
         ((y>>16)-(z>>16)) = 0x0000gggg if #uuuu >= #cccc   

    so variable a = 0x00010000 if #uuuu < #cccc or
       variable a = 0x00000000 if #uuuu >= #cccc
      
    similarly, we can get
       variable b = 0x00010000 if #vvvv < #dddd or
       variable b = 0x00000000 if #vvvv >= #dddd

    for (b-a-(b>>16)))), there are four different result depending on the relation between a and b.
    when #uuuu >= #cccc and #vvvv >= #dddd, (b-a-(b>>16)))) = 0x00000000;
    when #uuuu >= #cccc and #vvvv < #dddd, (b-a-(b>>16)))) = 0x00001111;
    when #uuuu < #cccc and #vvvv >= #dddd, (b-a-(b>>16)))) = 0x11110000;
    when #uuuu < #cccc and #vvvv < #dddd, (b-a-(b>>16)))) = 0x11111111;
    You can see that >= map to #0000 and < map to #1111

    for y-(z^((y^z)&(b-a-(b>>16)))), when (b-a-(b>>16)))) is 0x00000000, z^((y^z)&(b-a-(b>>16))) is
    z^((y^z)& 0) = z^0=z, so y-(z^((y^z)&(b-a-(b>>16))))=y-z.
    similarily, when (b-a-(b>>16)))) is 0x11111111, z^((y^z)&(b-a-(b>>16))) is
    z^((y^z)& 1) = z^(y^z)=y, so y-(z^((y^z)&(b-a-(b>>16))))=0.

    when (b-a-(b>>16)))) is 0x11110000 or 0x11110000, we can treat the y and z as two separate wydes.
    each wyde in the result is correct.

    You may think it is a little stupid to verify such kind of details. but for my point of view,
    without such detailed analysis, I can not understand the algorithm in the code. with the hard
    work like this, I successfully understand it. The pleasure deserve the effort.
     
    I am wondering how can the author discover such a genius algorithm.


    posted on 2009-01-06 16:04 InPractice 閱讀(213) 評論(0)  編輯  收藏


    只有注冊用戶登錄后才能發表評論。


    網站導航:
     
    主站蜘蛛池模板: 亚洲国产一成人久久精品| 永久免费av无码网站大全| 国产精品亚洲不卡一区二区三区 | 亚洲AV成人潮喷综合网| 久久久久亚洲精品无码网址色欲| 国内精自视频品线六区免费| 亚洲美女视频一区| 久久国产精品免费网站| 亚洲欧洲日韩国产综合在线二区| 免费成人在线电影| 久久精品国产亚洲av高清漫画 | 人妻免费久久久久久久了| 亚洲精品一级无码鲁丝片 | 在线播放亚洲精品| 少妇亚洲免费精品| 91av免费在线视频| 亚洲VA中文字幕不卡无码| 国内精品久久久久影院免费| 亚洲国产精品线在线观看| 啦啦啦完整版免费视频在线观看| 亚洲国产av美女网站| 性做久久久久久免费观看| 亚洲精品国产suv一区88| 日韩精品亚洲专区在线观看| 中文字幕视频免费在线观看| 亚洲Aⅴ无码专区在线观看q| 69式互添免费视频| 亚洲AV无码男人的天堂| 红杏亚洲影院一区二区三区| 免费观看91视频| 亚洲人成www在线播放| 无码不卡亚洲成?人片| 久章草在线精品视频免费观看| 亚洲大香伊人蕉在人依线| 国产免费卡一卡三卡乱码 | 91九色老熟女免费资源站| 亚洲色一区二区三区四区| 国产精品亚洲玖玖玖在线观看| 一区二区三区观看免费中文视频在线播放 | 日本免费观看网站| 免费久久人人爽人人爽av|