(27 . 27)(27 . 30)
1377
1378 -- Result := X & Y
1379 procedure FZ_And(X : in FZ; Y : in FZ; Result : out FZ);
1380 pragma Precondition(X'Length = Y'Length and X'Length = Result'Length);
1381 pragma Inline_Always(FZ_And);
1382
1383 -- N := N & W, W is a word
1384 procedure FZ_And_W(N : in out FZ; W : in Word);
1385 pragma Inline_Always(FZ_And_W);
1386
1387 -- Result := X | Y
1388 procedure FZ_Or(X : in FZ; Y : in FZ; Result : out FZ);
1389 pragma Precondition(X'Length = Y'Length and X'Length = Result'Length);
1390 pragma Inline_Always(FZ_Or);
1391
1392 -- N := N | W, W is a word
1393 procedure FZ_Or_W(N : in out FZ; W : in Word);
1394 pragma Inline_Always(FZ_Or_W);
1395
1396 -- Result := X ^ Y
1397 procedure FZ_Xor(X : in FZ; Y : in FZ; Result : out FZ);
1398 pragma Precondition(X'Length = Y'Length and X'Length = Result'Length);
1399 pragma Inline_Always(FZ_Xor);
1400
1401 -- N := N ^ W, W is a word
1402 procedure FZ_Xor_W(N : in out FZ; W : in Word);
1403 pragma Inline_Always(FZ_Xor_W);
1404
1405 -- NotN := ~N
1406 procedure FZ_Not(N : in FZ; NotN : out FZ);
1407 pragma Precondition(N'Length = NotN'Length);
1408 pragma Inline_Always(FZ_Not);
1409
1410 end FZ_BitOp;