From dd227dfa25e97d2d1f9c5c263fddcd11494552c0 Mon Sep 17 00:00:00 2001 From: Dmitry Stogov Date: Thu, 12 Oct 2023 15:01:27 +0300 Subject: [PATCH] New tests --- tests/c/ge_004.irt | 21 +++++++++++++++++++++ tests/c/ge_006.irt | 21 +++++++++++++++++++++ tests/c/gt_004.irt | 21 +++++++++++++++++++++ tests/c/gt_006.irt | 21 +++++++++++++++++++++ tests/c/le_004.irt | 21 +++++++++++++++++++++ tests/c/le_006.irt | 21 +++++++++++++++++++++ tests/c/lt_004.irt | 21 +++++++++++++++++++++ tests/c/lt_006.irt | 21 +++++++++++++++++++++ tests/c/not_003.irt | 19 +++++++++++++++++++ tests/c/not_004.irt | 19 +++++++++++++++++++ tests/llvm/guard_001.irt | 22 ++++++++++++++++++++++ tests/llvm/guard_002.irt | 22 ++++++++++++++++++++++ tests/llvm/ijmp_002.irt | 15 +++++++++++++++ 13 files changed, 265 insertions(+) create mode 100644 tests/c/ge_004.irt create mode 100644 tests/c/ge_006.irt create mode 100644 tests/c/gt_004.irt create mode 100644 tests/c/gt_006.irt create mode 100644 tests/c/le_004.irt create mode 100644 tests/c/le_006.irt create mode 100644 tests/c/lt_004.irt create mode 100644 tests/c/lt_006.irt create mode 100644 tests/c/not_003.irt create mode 100644 tests/c/not_004.irt create mode 100644 tests/llvm/guard_001.irt create mode 100644 tests/llvm/guard_002.irt create mode 100644 tests/llvm/ijmp_002.irt diff --git a/tests/c/ge_004.irt b/tests/c/ge_004.irt new file mode 100644 index 0000000..e126194 --- /dev/null +++ b/tests/c/ge_004.irt @@ -0,0 +1,21 @@ +--TEST-- +004: ge function +--ARGS-- +--emit-c +--CODE-- +{ + l_1 = START(l_4); + uint32_t x = PARAM(l_1, "x", 1); + uint32_t y = PARAM(l_1, "y", 2); + bool ret = GE(x, y); + l_4 = RETURN(l_1, ret); +} +--EXPECT-- +bool test(uint32_t x, uint32_t y) +{ + uint32_t d_1 = x; + uint32_t d_2 = y; + bool d_3; + d_3 = d_2 <= d_1; + return d_3; +} diff --git a/tests/c/ge_006.irt b/tests/c/ge_006.irt new file mode 100644 index 0000000..c7d78fb --- /dev/null +++ b/tests/c/ge_006.irt @@ -0,0 +1,21 @@ +--TEST-- +006: ge function +--ARGS-- +--emit-c +--CODE-- +{ + l_1 = START(l_4); + double x = PARAM(l_1, "x", 1); + double y = PARAM(l_1, "y", 2); + bool ret = GE(x, y); + l_4 = RETURN(l_1, ret); +} +--EXPECT-- +bool test(double x, double y) +{ + double d_1 = x; + double d_2 = y; + bool d_3; + d_3 = d_2 <= d_1; + return d_3; +} diff --git a/tests/c/gt_004.irt b/tests/c/gt_004.irt new file mode 100644 index 0000000..7ac223d --- /dev/null +++ b/tests/c/gt_004.irt @@ -0,0 +1,21 @@ +--TEST-- +004: gt function +--ARGS-- +--emit-c +--CODE-- +{ + l_1 = START(l_4); + uint32_t x = PARAM(l_1, "x", 1); + uint32_t y = PARAM(l_1, "y", 2); + bool ret = GT(x, y); + l_4 = RETURN(l_1, ret); +} +--EXPECT-- +bool test(uint32_t x, uint32_t y) +{ + uint32_t d_1 = x; + uint32_t d_2 = y; + bool d_3; + d_3 = d_2 < d_1; + return d_3; +} diff --git a/tests/c/gt_006.irt b/tests/c/gt_006.irt new file mode 100644 index 0000000..63d85ae --- /dev/null +++ b/tests/c/gt_006.irt @@ -0,0 +1,21 @@ +--TEST-- +006: gt function +--ARGS-- +--emit-c +--CODE-- +{ + l_1 = START(l_4); + double x = PARAM(l_1, "x", 1); + double y = PARAM(l_1, "y", 2); + bool ret = GT(x, y); + l_4 = RETURN(l_1, ret); +} +--EXPECT-- +bool test(double x, double y) +{ + double d_1 = x; + double d_2 = y; + bool d_3; + d_3 = d_2 < d_1; + return d_3; +} diff --git a/tests/c/le_004.irt b/tests/c/le_004.irt new file mode 100644 index 0000000..b0e98b3 --- /dev/null +++ b/tests/c/le_004.irt @@ -0,0 +1,21 @@ +--TEST-- +004: le function +--ARGS-- +--emit-c +--CODE-- +{ + l_1 = START(l_4); + uint32_t x = PARAM(l_1, "x", 1); + uint32_t y = PARAM(l_1, "y", 2); + bool ret = LE(x, y); + l_4 = RETURN(l_1, ret); +} +--EXPECT-- +bool test(uint32_t x, uint32_t y) +{ + uint32_t d_1 = x; + uint32_t d_2 = y; + bool d_3; + d_3 = d_2 >= d_1; + return d_3; +} diff --git a/tests/c/le_006.irt b/tests/c/le_006.irt new file mode 100644 index 0000000..dc7e6d9 --- /dev/null +++ b/tests/c/le_006.irt @@ -0,0 +1,21 @@ +--TEST-- +006: le function +--ARGS-- +--emit-c +--CODE-- +{ + l_1 = START(l_4); + double x = PARAM(l_1, "x", 1); + double y = PARAM(l_1, "y", 2); + bool ret = LE(x, y); + l_4 = RETURN(l_1, ret); +} +--EXPECT-- +bool test(double x, double y) +{ + double d_1 = x; + double d_2 = y; + bool d_3; + d_3 = d_2 >= d_1; + return d_3; +} diff --git a/tests/c/lt_004.irt b/tests/c/lt_004.irt new file mode 100644 index 0000000..398b017 --- /dev/null +++ b/tests/c/lt_004.irt @@ -0,0 +1,21 @@ +--TEST-- +004: lt function +--ARGS-- +--emit-c +--CODE-- +{ + l_1 = START(l_4); + uint32_t x = PARAM(l_1, "x", 1); + uint32_t y = PARAM(l_1, "y", 2); + bool ret = LT(x, y); + l_4 = RETURN(l_1, ret); +} +--EXPECT-- +bool test(uint32_t x, uint32_t y) +{ + uint32_t d_1 = x; + uint32_t d_2 = y; + bool d_3; + d_3 = d_2 > d_1; + return d_3; +} diff --git a/tests/c/lt_006.irt b/tests/c/lt_006.irt new file mode 100644 index 0000000..c4caa96 --- /dev/null +++ b/tests/c/lt_006.irt @@ -0,0 +1,21 @@ +--TEST-- +006: lt function +--ARGS-- +--emit-c +--CODE-- +{ + l_1 = START(l_4); + double x = PARAM(l_1, "x", 1); + double y = PARAM(l_1, "y", 2); + bool ret = LT(x, y); + l_4 = RETURN(l_1, ret); +} +--EXPECT-- +bool test(double x, double y) +{ + double d_1 = x; + double d_2 = y; + bool d_3; + d_3 = d_2 > d_1; + return d_3; +} diff --git a/tests/c/not_003.irt b/tests/c/not_003.irt new file mode 100644 index 0000000..65ed480 --- /dev/null +++ b/tests/c/not_003.irt @@ -0,0 +1,19 @@ +--TEST-- +003: not function +--ARGS-- +--emit-c +--CODE-- +{ + l_1 = START(l_4); + uint32_t x = PARAM(l_1, "x", 1); + bool ret = NOT(x); + l_4 = RETURN(l_1, ret); +} +--EXPECT-- +bool test(uint32_t x) +{ + uint32_t d_1 = x; + bool d_2; + d_2 = !d_1; + return d_2; +} diff --git a/tests/c/not_004.irt b/tests/c/not_004.irt new file mode 100644 index 0000000..0ae734f --- /dev/null +++ b/tests/c/not_004.irt @@ -0,0 +1,19 @@ +--TEST-- +004: not function +--ARGS-- +--emit-c +--CODE-- +{ + l_1 = START(l_4); + double x = PARAM(l_1, "x", 1); + bool ret = NOT(x); + l_4 = RETURN(l_1, ret); +} +--EXPECT-- +bool test(double x) +{ + double d_1 = x; + bool d_2; + d_2 = !d_1; + return d_2; +} diff --git a/tests/llvm/guard_001.irt b/tests/llvm/guard_001.irt new file mode 100644 index 0000000..c894f4b --- /dev/null +++ b/tests/llvm/guard_001.irt @@ -0,0 +1,22 @@ +--TEST-- +GUARD +--ARGS-- +--emit-llvm +--CODE-- +{ + uintptr_t exit = 0xbaddad; + l_1 = START(l_4); + int32_t cond = PARAM(l_1, "cond", 1); + l_2 = GUARD(l_1, cond, exit); + l_4 = RETURN(l_2); +} +--EXPECT-- +define void @test(i32 %d2) +{ + %t3 = icmp ne i32 %d2, 0 + br i1 %t3, label %l3_true, label %l3_false +l3_false: + indirectbr ptr inttoptr(i64 u0xbaddad to ptr), [] +l3_true: + ret void +} diff --git a/tests/llvm/guard_002.irt b/tests/llvm/guard_002.irt new file mode 100644 index 0000000..b3e9819 --- /dev/null +++ b/tests/llvm/guard_002.irt @@ -0,0 +1,22 @@ +--TEST-- +GUARD_NOT +--ARGS-- +--emit-llvm +--CODE-- +{ + uintptr_t exit = 0xbaddad; + l_1 = START(l_4); + int32_t cond = PARAM(l_1, "cond", 1); + l_2 = GUARD_NOT(l_1, cond, exit); + l_4 = RETURN(l_2); +} +--EXPECT-- +define void @test(i32 %d2) +{ + %t3 = icmp ne i32 %d2, 0 + br i1 %t3, label %l3_true, label %l3_false +l3_true: + indirectbr ptr inttoptr(i64 u0xbaddad to ptr), [] +l3_false: + ret void +} diff --git a/tests/llvm/ijmp_002.irt b/tests/llvm/ijmp_002.irt new file mode 100644 index 0000000..ea8f0d9 --- /dev/null +++ b/tests/llvm/ijmp_002.irt @@ -0,0 +1,15 @@ +--TEST-- +002: IJMP - computed goto (constant addr) +--ARGS-- +--emit-llvm +--CODE-- +{ + uintptr_t p = 0xbaddad; + l_1 = START(l_2); + l_2 = IJMP(l_1, p); +} +--EXPECT-- +define void @test() +{ + indirectbr ptr inttoptr(i64 u0xbaddad to ptr), [] +}