6 ASSERT((0x100 * 0x200) >> 12 == 0x20);
7 ASSERT((0x1000 * 0x2000) >> 12 == 0x2000);
8 ASSERT((0x1000 * -0x2000) >> 12 == -0x2000);
9 ASSERT((-0x1000 * 0x2000) >> 12 == -0x2000);
10 ASSERT((-0x1000 * -0x2000) >> 12 == 0x2000);
static int8_t test1(void)
static int8_t test2(void)
static int8_t test3(void)