OberonCore

Почему:

Byte:=240;
IF Byte & 8 THEN DoSomeThing();

Не хочет работать.

Так побитовых операций в Оберонах нет применительно к INTEGER. INTEGER надо истрактовать как SET (он в КП всегда только 32-битный {0..31}), затем провести операции над множествами, потом вернуть в INTEGER. Например, and - это пересечение множеств, *:
ORD(BITS(a)*BITS(b))
or - сложение множеств, +:
ORD(BITS(a) + BITS(b))
xor - симметрическая разность, /:
ORD(BITS(a) / BITS(b))
not - дополнение множества, -:
ORD(-BITS(a))
Никаких накладных расходов эти операции не вносят, это те же побитовые операции в завуалированной форме.

Получается, простая операция сброса одного бита в байте, которая на Си записывается



превращается в

Немного проще


Но, вообще говоря, незачем заводить переменную типа BYTE, чтобы сбрасывать в ней биты.

Вот вот. В КП это делается гораздо проще.

Не так все просто...
Если потом эти множества записать в файл (потоком байтов), то где гарантия что 4 байта SET будут записаны в нужном порядке (big-endian или little-endian)?

Есть такая константа: Kernel.littleEndian* = True;
Активно используется модулем Stores при записи и чтении. См., например, Stores.Reader.ReadSet или Stores.Writer.WriteSet.
Так что если будете пользоваться стандартными средствами, проблем не будет. Если будете изобретать свое колесо, то просто учитывайте значение константы.

Прикреплена тема "Побитовый AND" из viewforum.php?f=2

Не нашел в среде. Сляпал свой. Может надо кому...

MODULE My;
IMPORT StdLog, SYSTEM;

PROCEDURE [code] BitAnd*(a: INTEGER; b: INTEGER) :INTEGER
05BH, 021H, 0D8H;

PROCEDURE Do*;
VAR i, j: INTEGER;
BEGIN
FOR j:=0 TO 100 DO
i:=BitAnd(j,5);
StdLog.Int(i);
END;
END Do;
END My.
My.Do

Побитовые операции делаются через тип SET и преобразования BITS(int_val) и ORD(set_val).

См.:
viewtopic.php?f=29&t=185

(разумеется, никаких накладных расходов это не добавляет; операции чисто компиляторные).

Действительно...
Скомпоновал вот это в DLL:
MODULE FDLL;
IMPORT SYSTEM;

PROCEDURE [code] Bit(a: INTEGER; b: INTEGER) :INTEGER
05BH, 021H, 0D8H;

PROCEDURE BitAnd1*(a: INTEGER; b: INTEGER) :INTEGER;
BEGIN RETURN Bit(a,b) END BitAnd1;

PROCEDURE BitAnd2*(a: INTEGER; b: INTEGER) :INTEGER;
BEGIN RETURN ORD(BITS(a)*BITS(b)) END BitAnd2;

END FDLL.
DevLinker.LinkDll
FDLL2.dll := FDLL# ~

Disassembler выдал такое:
Exported fn(): BitAnd1 - Ord:0001h
:00401035 55 push ebp
:00401036 8BEC mov ebp, esp
:00401038 57 push edi
:00401039 56 push esi
:0040103A FF750C push [ebp+0C]
:0040103D 8B4508 mov eax, dword ptr [ebp+08]
:00401040 5B pop ebx
:00401041 21D8 and eax, ebx
:00401043 8D65F8 lea esp, dword ptr [ebp-08]
:00401046 5E pop esi
:00401047 5F pop edi
:00401048 5D pop ebp
:00401049 C20800 ret 0008

Exported fn(): BitAnd2 - Ord:0002h
:0040104C 55 push ebp
:0040104D 8BEC mov ebp, esp
:0040104F 57 push edi
:00401050 56 push esi
:00401051 8B4508 mov eax, dword ptr [ebp+08]
:00401054 23450C and eax, dword ptr [ebp+0C]
:00401057 8D65F8 lea esp, dword ptr [ebp-08]
:0040105A 5E pop esi
:0040105B 5F pop edi
:0040105C 5D pop ebp
:0040105D C20800 ret 0008
Разницы практически никакой
Кстати процедура Bit в DLL не компонуется почему-то. Нужно в обычную упаковывать...

Вы не забывайте, что вы декомпилируете код для процедуры.

И там куча обвязки по сохранению регистров, и т.п. Всё как положено.

Битовые операции пишутся по месту (без введения процедур).
Вот как раз и код: :00401054 23450C and eax, dword ptr [ebp+0C]
Просто and. Остальное - доставка к этому and параметров неизвестно зачем введённой процедуры

Кстати, проблема, как мне кажется, в значительной степени надуманная: всё равно не существует big-endian реализации Блэкбокса, так чего воду мутить? Надо просто в спецификации сказать, что всё всегда сериализуется в little-endian, а те несчастные которые работают на big-endian машинах вот пусть сами и парятся при десериализации, а мы парится не будем .

Смотря в каком смысле понимать "существует".

И в каком смысле?

Для PowerPC ведь валяется... Версия 1.3.

Присоединено к уже существующей теме.

За неимением функций побитовой работы над целами числами решил написать такие процедуры.
Насколько я понял из документации, побитовые операции делаются через множества.

При такой реализации BB сообщает о 2 ошибках.


Это понимать как неверное приведение одного типа к другому?

Для приведения целогоь к множеству и обратно надо встроенные функции КП использовать. Они прописаны в сообщении о языке - посмотрите в справочнике ББ.

Я делал

Какую страницу, не подскажете? (англ. версия)

В самом конце документа встроенные функции.