branch.c « individual « instr « kvx « test - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/test/kvx/instr/individual/branch.c

blob: c9937e31c3da10df14138c000780372a57079e65 (plain)

#include "framework.h"

BEGIN_TEST(int)
{
    if ((a & 0x1) == 1)
        c = 0;
    else
        c = 1;
}
END_TEST32()