비트 연산자를 포함하는 C 문을 설명하는 도구

Question

저는 Kernighan과 Ritchie의 "The C Programming Language"를 읽었습니다.

운동 2-6 함수 setbits (X, P, N, y)를 쓰기 반환 :

나는 2.9 비트 연산자 특히

에게 섹션을 통해 얻을 매우 열심히 그것을 발견하고 x의 위치는 y의 가장 오른쪽 n 비트로 설정된 위치 p에서 시작하는 비트로 나머지 비트는 변경되지 않습니다.

리처드 히스 필드라는 영리한 녀석의 운동 here에 대한 답변을있다.

리차드의 대답은 :

는

return (x & ((~0 << (p + 1)) 
      | (~(~0 << (p + 1 - n))))) 
    | ((y & ~(~0 << n)) << (p + 1 - n)); 

질문

사람은 위와 같은 코드의 라인을 설명하는 도구를 알고 있나요?

나는 다양한 온라인 정규식 설명 자와 유사하지만 비트 연산이 존재하기를 바라고 있습니다.

Answer 1

이 사람이 읽을 수있게 만들지 않겠습니까?

는 X, Y, P 및 N가

가 TEMP1하자 입력 될 TEMP2, TEMP3 및 0
같아야결과하자
임시 1을 0 12,385,P 플러스 1
가 TEMP1가 TEMP1가 비트 단위로 AND X 및 TEMP1

의 동일하게
TEMP1 왼쪽으로 시프트 0의 1의 보수와 동일 할 수 있도록 하자 temp2은 p와 같습니다. 더하기 n
TEMP2 0의 1의 보수 같을 수는 TEMP2이 TEMP2

의 1의 보수와 동일하게
TEMP2 왼쪽으로 시프트는 TEMP1는 비트 단위로 OR의 동일하자 TEMP1 및 TEMP2

는 TEMP3 P 는 플러스 마이너스 1 N 012,389,083 동일 할 수 있도록

가 TEMP2가 N
왼쪽으로 시프트 0의 1의 보수와 동일 할 수 있도록 TEMP2가 TEMP2
의 1의 보수와 동일 할 수 있도록 TEMP2의 비트와 동일 할 수 있도록 AND 및 TEMP2

가 TEMP2는 동일 할 수 있도록 Y의 나의 뇌 :TEMP2이 TEMP3
왼쪽으로 시프트는 결과는 비트 단위로 OR TEMP1 및 TEMP2

자료 동일 수 있습니다.이 C 코드에서

합니다 (OP에서 확대) : 스택 오버 플로우의 사람들처럼

int setbits(int x, int p, int n, int y) 
{ 
    int result = 0; 

    // evaluate the expression 
    { 
     int temp1 = 0; 
     int temp2 = 0; 
     int temp3 = 0; 

     temp1 = p + 1; 
     temp1 = ~0 << temp1; 
     temp1 = x & temp1; 

     temp2 = p + 1 - n; 
     temp2 = ~0 << temp2; 
     temp2 = ~temp2; 

     temp1 = temp1 | temp2; 

     temp3 = p + 1 - n; 

     temp2 = ~0 << n; 
     temp2 = ~temp2; 
     temp2 = y & temp2; 

     temp2 = temp2 << temp3; 
     result = temp1 | temp2; 
    } 

    assert(result == ((x & ((~0 << (p + 1))| (~(~0 << (p + 1 - n))))) | ((y & ~(~0 << n)) << (p + 1 - n)))); 

    return result; 
}