Индивидуальные задания->проектирование цифровых систем->непростая арифметика->корректное время

Вроде подставляю в винтере все тестовые значения и все нормально работает, результаты правильные, в hlccad валится вроде как самый первый тест, не могу понять проблему, подскажите, пожалуйста
ссылка - http://dl.gsu.by/task.jsp?nid=1676647&cid=1061 

#define max(a, b) (((a) < (b)) ? (a) : (b))

1. Микропрограммирование на С-МПА, генерация схем по микропрограммам. Разбор решений контрольной номер 1.

Примеры задач с решениями
Как работать с битами в С(С-МПА) - Антоненко Александр, ПМ-41, 13 февраля 2009
Синтезируемые конструкции С-МПА
Простейшие параллели Паскаль - С
Вопросы и ответы по С-МПА
Компилятор языка CMPDL
Учебник по работе с компилятором CMPDL + WInter
Учебник по построению схем MPA в HLCCAD

А давай ты сначала сам найдёшь то место, где видел.
И если вопрос останется - повторишь.

Михаил Долинский:

1. Микропрограммирование на С-МПА, генерация схем по микропрограммам. Разбор решений контрольной номер 1.

Примеры задач с решениями
Как работать с битами в С(С-МПА) - Антоненко Александр, ПМ-41, 13 февраля 2009
Синтезируемые конструкции С-МПА
Простейшие параллели Паскаль - С
Вопросы и ответы по С-МПА
Компилятор языка CMPDL
Учебник по работе с компилятором CMPDL + WInter
Учебник по построению схем MPA в HLCCAD

 

Демонстрационная программа показывающая конструкции языка С-МПА, которые можно использовать для синтеза HLCCAD-схем:

/*
Особености програмирования на CMPDL:

- для удобства работы контакты лучше объявлять как
  глобальные переменные

- программа никогда не завершается
  после завершения функция main начинает выполняться сначала
  Поэтому неправильно использовать выходной контакт для промежуточных 
  вычислений



Поддерживается:

- целые знаковые/беззнаковые типы произвольной размерности
- входные/выходные контакты
- арифметические (* / + -)и логические ( & | ^ ~) выражения  ~
- операторы:
	for
	if
	while
	do .. while
	switch
- функции
- директивы препроцессора
	#define
	#ifdef
	#elseif
	#endif

int x = -1; // размерность по умолчанию 32 бита
unsigned __bits(8) z = 0x5; // шестнадцатеричная константа
unsigned __bits(8) y = 05; // восьмеричная константа  - префикс буква 'O'

// входные контакты
unsigned __in __bits(16) A;
unsigned __in __bits(16) B;

// выходной контакт
unsigned __out __bits(16) O;

// функция
unsigned __bits(16) foo(unsigned __bits(16) p1, unsigned __bits(16) p2)
{
	return (p1 + p2) * (p1 + p2);
}

// функция main
void main()
{

	// вызов функции
	unsigned __bits(16)	t = foo(A, B);

	unsigned __bits(8) i;

	// цикл for
	for (i = 0; i < 5; i++)
	{
		if (i == 3) continue;
		t *= A;
		if (t > A * 10) break;
	}

	// цикл do .. while
	do
	{
		t /= 2;
		if (t == 3 * A) break;
	} while (t > 10);

	// цикл while
	while(t < 10)
	{
		t += A - B + 1;
	}

	unsigned __bits(8) a = (A +	B) / 5;

	// оператор switch
	switch(a)
	{
		case 0:
			t -= 5;
			break;
		case 1:
			t += A * B;
			break;
		case 2:
			t = 100;
		default:
			t--;
	}

	// оператор ветвления if else
	if (A + B > t && t != 6) t = -t;
	else if (A + B == t || t < A) t -= A;
	else
	{
		t &= A | B;
		t = ~t;
	}

	// в конце результат подаем на выходной контакт
	O = t;
}

 

Где-то видел на форуме, что в C-MPA поддерживается директива #define.
Она работает только для определения констант?

Т.е., я не могу написать что-то подобное:

#define max(a, b) (((a) < (b)) ? (a) : (b))

? 

unsigned __in __bits(8) In = 143;

unsigned __out __bits(4) Out;

void main() {
	unsigned __bits(8) n = In;
	unsigned __bits(4) k = 0;
	unsigned __bits(4) t = 0;
	for (unsigned __bits(4) i = 0; i < 8; i++) {
		if (i % 2 == 0 && (1 & (n >> i))) {
			k |= 1 << t; // здесь
			t++;
		}
	}
	Out = k;
}

unsigned __in __bits(8) A;
unsigned __in __bits(8) B;

unsigned __out __bits(8) C;

void main()
{
	C |= ((A >> 0) ^ (B >> 0)) << 0;
	C |= ((A >> 1) ^ (B >> 1)) << 1;
	C |= ((A >> 2) ^ (B >> 2)) << 2;
	C |= ((A >> 3) ^ (B >> 3)) << 3;
	C |= ((A >> 4) ^ (B >> 4)) << 4;
	C |= ((A >> 5) ^ (B >> 5)) << 5;
	C |= ((A >> 6) ^ (B >> 6)) << 6;
	C |= ((A >> 7) ^ (B >> 7)) << 7;
}

Странная вещь.
http://dl.gsu.by/task.jsp?nid=1759006&cid=1099
Экзамен\Индивидуальные задания\Сконвертированные задания на программирование по схеме\Логические элементы\4 - "Программа по схеме 84266"
Ломается при отправке на втором тесте. Хотя локально правильно выполняются все тесты.

unsigned __in __bits(8) A;
unsigned __in __bits(8) B;

unsigned __out __bits(8) C;

void main()
{
	C |= ((A >> 0) ^ (B >> 0)) << 0;
	C |= ((A >> 1) ^ (B >> 1)) << 1;
	C |= ((A >> 2) ^ (B >> 2)) << 2;
	C |= ((A >> 3) ^ (B >> 3)) << 3;
	C |= ((A >> 4) ^ (B >> 4)) << 4;
	C |= ((A >> 5) ^ (B >> 5)) << 5;
	C |= ((A >> 6) ^ (B >> 6)) << 6;
	C |= ((A >> 7) ^ (B >> 7)) << 7;
}

 

unsigned __in __bits(8) A;
unsigned __in __bits(8) B;

unsigned __out __bits(8) C;

void main() {
	unsigned __bits(8) a = A;
	unsigned __bits(8) b = B;
	unsigned __bits(8) c = 0;
	c |= ((a >> 0) ^ (b >> 0)) << 0;
	c |= ((a >> 1) ^ (b >> 1)) << 1;
	c |= ((a >> 2) ^ (b >> 2)) << 2;
	c |= ((a >> 3) ^ (b >> 3)) << 3;
	c |= ((a >> 4) ^ (b >> 4)) << 4;
	c |= ((a >> 5) ^ (b >> 5)) << 5;
	c |= ((a >> 6) ^ (b >> 6)) << 6;
	c |= ((a >> 7) ^ (b >> 7)) << 7;
	C = c;
}

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

И лучше заносить все in-ы в локальные переменные.
 

unsigned __in __bits(8) in_0 = 11100100;
unsigned __in __bits(8) in_1 = 00000100;

unsigned __out __bits(1) out_0;

void main()
{
	unsigned __bits(8) In0 = in_0;
	unsigned __bits(8) In1 = in_1;
	unsigned __bits(1) f = 0;

	unsigned __bits(1) a;
	unsigned __bits(1) b;

	for(int	i = 0; i < 8; i++) {
		a = (In0 >> i);
		b = (In1 >> i);
		if (a == b & a == 1) {
			f = 1;
			break;
		}
	}
	out_0 = f;
}

В этой задаче при получении битов из первого и второго числа в цикле, когда i = 2, In0 >> 2 должно равняться 1 и In1 >> 2 должно равняться тоже 1. При отладке выяснилось, что In0 >> 2 равно 1, но In1 >> 2 равно 0. Хотя в этой позиции в двух числах одинаковые значения битов и равны единице.

unsigned __in __bits(8) in_0 = 11100100;
unsigned __in __bits(8) in_1 = 00000100;

unsigned __out __bits(1) out_0;

void main()
{
	unsigned __bits(8) In0 = in_0;
	unsigned __bits(8) In1 = in_1;
	unsigned __bits(1) f = 0;

	unsigned __bits(1) a;
	unsigned __bits(1) b;

	for(int	i = 0; i < 8; i++) {
		a = (In0 >> i);
		b = (In1 >> i);
		if (a == b & a == 1) {
			f = 1;
			break;
		}
	}
	out_0 = f;
}

 

На входе - IN дано 6-и разрядное число. Определить делится ли это число на 2,3,4,5. Если делится, то на соответствующий выход подавать 1, иначе - 0. 

int __in __bits(6) IN;
int __out __bits(1) TWO;
int __out __bits(1) THREE;
int __out __bits(1) FOUR;
int __out __bits(1) FIVE;

void main() {
	int __bits(6) k = IN;
	if(k % 2 == 0) {
		TWO = 1;
	} else {
		TWO = 0;
	}

	if(k % 3 == 0) {
		THREE = 1;
	} else {
		THREE = 0;
	}
	
	if(k % 4 == 0) {
		FOUR = 1;
	} else {
		FOUR = 0;
	}

	if(k % 5 == 0) {
		FIVE = 1;
	} else {
		FIVE = 0;
	}
}

http://dl.gsu.by/task.jsp?nid=1768088&cid=1099

Не проходит тесты, если переменные объявлять как int, нужно писать unsigned. 

1. Откройте панель управления, для этого можно начать набирать "Панель управления" или "Control Panel" в поиске на панели задач.
2. Убедитесь, что в поле "Просмотр" (View by) установлено "Значки" (Icons) и выберите пункт "Региональные стандарты" (Region).
3. На вкладке "Дополнительно" (Administrative) в разделе "Язык программ, не поддерживающих Юникод" (Language for non-Unicode programs) нажмите по кнопке "Изменить язык системы" (Change system locale).
4. Выберите русский язык, нажмите "Ок" и подтвердите перезагрузку компьютера.
 

int __in __bits(2) A;
int __in __bits(2) B;
int __in __bits(2) C;
int __out __bits(8) RES;
int __bits(8) k;

void main() {
	unsigned __bits(2) mya = A;
	unsigned __bits(2) myb = B;
	unsigned __bits(2) myc = C;
	if (mya * myb < myc + 1) {
		k = 0;
	} else if (mya * myb > myc + 1) {
		k = mya * myb - myc;
	}
	RES = k;
}