cmpccxadd: add 40 functional cases

Signed-off-by: Jiaan Lu <[email protected]>

BM/README.md

@@ -4,6 +4,7 @@
   * [AMX](amx/README.md)
   * [avx512vbmi](avx512vbmi/README.md)
   * [cet(Control flow Enhancement Technology)](cet/README.md)
+  * [CMPccXADD](cmpccxadd/README.md)
   * [cstate](cstate/README.md)
   * [DSA](dsa/README.md)
   * [FRED](fred/README.md) (in progress)

BM/cmpccxadd/.vscode/settings.json

@@ -0,0 +1,5 @@
+{
+    "files.associations": {
+        "limits.h": "c"
+    }
+}

BM/cmpccxadd/Makefile

@@ -0,0 +1,18 @@
+# SPDX-License-Identifier: GPL-2.0-only
+# Copyright (c) 2024 Intel Corporation.
+# Jiaan Lu <[email protected]>
+
+CFLAGS = -g
+
+src = $(filter-out cmpxadd.c, $(wildcard *.c))
+target = $(patsubst %.c, %, ${src})
+
+.PHONY: all clean
+
+%:%.c
+	$(CC) ${CFLAGS} $^ -o $@
+
+all: ${target}
+
+clean:
+	rm -f ${target}

BM/cmpccxadd/README.md

@@ -0,0 +1,19 @@
+# CMPccXADD
+
+## Description
+CMPccXADD is a new set of instructions in the latest Intel platform
+Sierra Forest. This new instruction set includes a semaphore operation
+that can compare and add the operands if condition is met, which can
+improve database performance.
+
+This test suite provides basic functional check to ensure CMPccXADD works properly.
+
+## Usage
+```
+make
+# To run a specific case
+(for example) ./cmpbexadd_above
+# To run all cases at once
+./runtest_all.sh
+```
+Test results (PASS or FAIL) will be printed out. 

BM/cmpccxadd/cmpbexadd_above.c

@@ -0,0 +1,28 @@
+// SPDX-License-Identifier: GPL-2.0-only
+/*
+ *
+ * Copyright (c) 2024 Intel Corporation.
+ * Jiaxi Chen <[email protected]>
+ * Jiaan Lu <[email protected]>
+ *
+ */
+
+#include <stdio.h>
+#include <limits.h>
+#include "cmpxadd.c"
+void main(void)
+{
+	unsigned long uop1, uop2, uop3;
+	long op1, op2, op3;
+	struct output_unsigned output;
+
+	uop1 = 2;
+	uop2 = 1;
+	uop3 = 3;
+	output = cmp_be_add(uop1, uop2, uop3);
+	printf("cmp_be_add - target: *(rax) = 2, rbx = 2, rcx = 3, rflags = 0x202\n");
+	if (output.rax == 2 && output.rbx == 2 && output.rcx == 3 && output.rflags == 0x202)
+		printf("Test passed\n");
+	else
+		printf("Test failed\n");
+}

BM/cmpccxadd/cmpbexadd_below.c

@@ -0,0 +1,28 @@
+// SPDX-License-Identifier: GPL-2.0-only
+/*
+ *
+ * Copyright (c) 2024 Intel Corporation.
+ * Jiaxi Chen <[email protected]>
+ * Jiaan Lu <[email protected]>
+ *
+ */
+
+#include <stdio.h>
+#include <limits.h>
+#include "cmpxadd.c"
+void main(void)
+{
+	unsigned long uop1, uop2, uop3;
+	long op1, op2, op3;
+	struct output_unsigned output;
+
+	uop1 = 1;
+	uop2 = 2;
+	uop3 = 3;
+	output = cmp_be_add(uop1, uop2, uop3);
+	printf("cmp_be_add - target: *(rax) = 4, rbx = 1, rcx = 3, rflags = 0x297\n");
+	if (output.rax == 4 && output.rbx == 1 && output.rcx == 3 && output.rflags == 0x297)
+		printf("Test passed\n");
+	else
+		printf("Test failed\n");
+}

BM/cmpccxadd/cmpbexadd_equal.c

@@ -0,0 +1,28 @@
+// SPDX-License-Identifier: GPL-2.0-only
+/*
+ *
+ * Copyright (c) 2024 Intel Corporation.
+ * Jiaxi Chen <[email protected]>
+ * Jiaan Lu <[email protected]>
+ *
+ */
+
+#include <stdio.h>
+#include <limits.h>
+#include "cmpxadd.c"
+void main(void)
+{
+	unsigned long uop1, uop2, uop3;
+	long op1, op2, op3;
+	struct output_unsigned output;
+
+	uop1 = 2;
+	uop2 = 2;
+	uop3 = 3;
+	output = cmp_be_add(uop1, uop2, uop3);
+	printf("cmp_be_add - target: *(rax) = 5, rbx = 2, rcx = 3, rflags = 0x246\n");
+	if (output.rax == 5 && output.rbx == 2 && output.rcx == 3 && output.rflags == 0x246)
+		printf("Test passed\n");
+	else
+		printf("Test failed\n");
+}

BM/cmpccxadd/cmpbxadd_above.c

@@ -0,0 +1,28 @@
+// SPDX-License-Identifier: GPL-2.0-only
+/*
+ *
+ * Copyright (c) 2024 Intel Corporation.
+ * Jiaxi Chen <[email protected]>
+ * Jiaan Lu <[email protected]>
+ *
+ */
+
+#include <stdio.h>
+#include <limits.h>
+#include "cmpxadd.c"
+void main(void)
+{
+	unsigned long uop1, uop2, uop3;
+	long op1, op2, op3;
+	struct output_unsigned output;
+
+	uop1 = 2;
+	uop2 = 1;
+	uop3 = 3;
+	output = cmp_b_add(uop1, uop2, uop3);
+	printf("cmp_b_add - target: *(rax) = 2, rbx = 2, rcx = 3, rflags = 0x202\n");
+	if (output.rax == 2 && output.rbx == 2 && output.rcx == 3 && output.rflags == 0x202)
+		printf("Test passed\n");
+	else
+		printf("Test failed\n");
+}

BM/cmpccxadd/cmpbxadd_below.c

@@ -0,0 +1,28 @@
+// SPDX-License-Identifier: GPL-2.0-only
+/*
+ *
+ * Copyright (c) 2024 Intel Corporation.
+ * Jiaxi Chen <[email protected]>
+ * Jiaan Lu <[email protected]>
+ *
+ */
+
+#include <stdio.h>
+#include <limits.h>
+#include "cmpxadd.c"
+void main(void)
+{
+	unsigned long uop1, uop2, uop3;
+	long op1, op2, op3;
+	struct output_unsigned output;
+
+	uop1 = 1;
+	uop2 = 2;
+	uop3 = 3;
+	output = cmp_b_add(uop1, uop2, uop3);
+	printf("cmp_b_add - target: *(rax) = 4, rbx = 1, rcx = 3, rflags = 0x297\n");
+	if (output.rax == 4 && output.rbx == 1 && output.rcx == 3 && output.rflags == 0x297)
+		printf("Test passed\n");
+	else
+		printf("Test failed\n");
+}

BM/cmpccxadd/cmpbxadd_equal.c

@@ -0,0 +1,28 @@
+// SPDX-License-Identifier: GPL-2.0-only
+/*
+ *
+ * Copyright (c) 2024 Intel Corporation.
+ * Jiaxi Chen <[email protected]>
+ * Jiaan Lu <[email protected]>
+ *
+ */
+
+#include <stdio.h>
+#include <limits.h>
+#include "cmpxadd.c"
+void main(void)
+{
+	unsigned long uop1, uop2, uop3;
+	long op1, op2, op3;
+	struct output_unsigned output;
+
+	uop1 = 2;
+	uop2 = 2;
+	uop3 = 3;
+	output = cmp_b_add(uop1, uop2, uop3);
+	printf("cmp_b_add - target: *(rax) = 2, rbx = 2, rcx = 3, rflags = 0x246\n");
+	if (output.rax == 2 && output.rbx == 2 && output.rcx == 3 && output.rflags == 0x246)
+		printf("Test passed\n");
+	else
+		printf("Test failed\n");
+}

BM/cmpccxadd/cmplexadd_equal.c

@@ -0,0 +1,28 @@
+// SPDX-License-Identifier: GPL-2.0-only
+/*
+ *
+ * Copyright (c) 2024 Intel Corporation.
+ * Jiaxi Chen <[email protected]>
+ * Jiaan Lu <[email protected]>
+ *
+ */
+
+#include <stdio.h>
+#include <limits.h>
+#include "cmpxadd.c"
+void main(void)
+{
+	unsigned long uop1, uop2, uop3;
+	long op1, op2, op3;
+	struct output_signed output;
+
+	op1 = -1;
+	op2 = -1;
+	op3 = 2;
+	output = cmp_le_add(op1, op2, op3);
+	printf("cmp_le_add - target: *(rax) = 1, rbx = -1, rcx = 2, rflags = 0x246\n");
+	if (output.rax == 1 && output.rbx == -1 && output.rcx == 2 && output.rflags == 0x246)
+		printf("Test passed\n");
+	else
+		printf("Test failed\n");
+}

BM/cmpccxadd/cmplexadd_less.c

@@ -0,0 +1,28 @@
+// SPDX-License-Identifier: GPL-2.0-only
+/*
+ *
+ * Copyright (c) 2024 Intel Corporation.
+ * Jiaxi Chen <[email protected]>
+ * Jiaan Lu <[email protected]>
+ *
+ */
+
+#include <stdio.h>
+#include <limits.h>
+#include "cmpxadd.c"
+void main(void)
+{
+	unsigned long uop1, uop2, uop3;
+	long op1, op2, op3;
+	struct output_signed output;
+
+	op1 = -1;
+	op2 = 1;
+	op3 = 2;
+	output = cmp_le_add(op1, op2, op3);
+	printf("cmp_le_add - target: *(rax) = 1, rbx = -1, rcx = 2, rflags = 0x282\n");
+	if (output.rax == 1 && output.rbx == -1 && output.rcx == 2 && output.rflags == 0x282)
+		printf("Test passed\n");
+	else
+		printf("Test failed\n");
+}

BM/cmpccxadd/cmplexadd_more.c

@@ -0,0 +1,28 @@
+// SPDX-License-Identifier: GPL-2.0-only
+/*
+ *
+ * Copyright (c) 2024 Intel Corporation.
+ * Jiaxi Chen <[email protected]>
+ * Jiaan Lu <[email protected]>
+ *
+ */
+
+#include <stdio.h>
+#include <limits.h>
+#include "cmpxadd.c"
+void main(void)
+{
+	unsigned long uop1, uop2, uop3;
+	long op1, op2, op3;
+	struct output_signed output;
+
+	op1 = -1;
+	op2 = -2;
+	op3 = 2;
+	output = cmp_le_add(op1, op2, op3);
+	printf("cmp_le_add - target: *(rax) = -1, rbx = -1, rcx = 2, rflags = 0x202\n");
+	if (output.rax == -1 && output.rbx == -1 && output.rcx == 2 && output.rflags == 0x202)
+		printf("Test passed\n");
+	else
+		printf("Test failed\n");
+}

BM/cmpccxadd/cmplxadd_equal.c

@@ -0,0 +1,28 @@
+// SPDX-License-Identifier: GPL-2.0-only
+/*
+ *
+ * Copyright (c) 2024 Intel Corporation.
+ * Jiaxi Chen <[email protected]>
+ * Jiaan Lu <[email protected]>
+ *
+ */
+
+#include <stdio.h>
+#include <limits.h>
+#include "cmpxadd.c"
+void main(void)
+{
+	unsigned long uop1, uop2, uop3;
+	long op1, op2, op3;
+	struct output_signed output;
+
+	op1 = -1;
+	op2 = -1;
+	op3 = 2;
+	output = cmp_l_add(op1, op2, op3);
+	printf("cmp_l_add - target: *(rax) = -1, rbx = -1, rcx = 2, rflags = 0x246\n");
+	if (output.rax == -1 && output.rbx == -1 && output.rcx == 2 && output.rflags == 0x246)
+		printf("Test passed\n");
+	else
+		printf("Test failed\n");
+}

BM/cmpccxadd/cmplxadd_less.c

@@ -0,0 +1,28 @@
+// SPDX-License-Identifier: GPL-2.0-only
+/*
+ *
+ * Copyright (c) 2024 Intel Corporation.
+ * Jiaxi Chen <[email protected]>
+ * Jiaan Lu <[email protected]>
+ *
+ */
+
+#include <stdio.h>
+#include <limits.h>
+#include "cmpxadd.c"
+void main(void)
+{
+	unsigned long uop1, uop2, uop3;
+	long op1, op2, op3;
+	struct output_signed output;
+
+	op1 = -1;
+	op2 = 1;
+	op3 = 2;
+	output = cmp_l_add(op1, op2, op3);
+	printf("cmp_l_add - target: *(rax) = 1, rbx = -1, rcx = 2, rflags = 0x282\n");
+	if (output.rax == 1 && output.rbx == -1 && output.rcx == 2 && output.rflags == 0x282)
+		printf("Test passed\n");
+	else
+		printf("Test failed\n");
+}