Merge pull request #3579 from Kelimion/test_string_compare

Test string compare

tests/internal/Makefile

@@ -1,6 +1,6 @@
 ODIN=../../odin
 
-all: rtti_test map_test pow_test 128_test asan_test
+all: rtti_test map_test pow_test 128_test asan_test string_compare_test
 
 rtti_test:
 	$(ODIN) run test_rtti.odin -file -vet -strict-style -o:minimal
@@ -16,3 +16,6 @@ pow_test:
 
 asan_test:
 	$(ODIN) run test_asan.odin -file -sanitize:address -debug
+
+string_compare_test:
+	$(ODIN) run test_string_compare.odin -file -vet -strict-style -o:minimal

tests/internal/build.bat

@@ -1,8 +1,10 @@
 @echo off
 set PATH_TO_ODIN==..\..\odin
 rem %PATH_TO_ODIN% run test_rtti.odin -file -vet -strict-style -o:minimal || exit /b
-%PATH_TO_ODIN% run test_map.odin  -file -vet -strict-style -o:minimal || exit /b
+%PATH_TO_ODIN% run test_map.odin -file -vet -strict-style -o:minimal || exit /b
 rem -define:SEED=42
-%PATH_TO_ODIN% run test_pow.odin  -file -vet -strict-style -o:minimal || exit /b
+%PATH_TO_ODIN% run test_pow.odin -file -vet -strict-style -o:minimal || exit /b
 
-%PATH_TO_ODIN% run test_128.odin  -file -vet -strict-style -o:minimal || exit /b
+%PATH_TO_ODIN% run test_128.odin -file -vet -strict-style -o:minimal || exit /b
+
+%PATH_TO_ODIN% run test_string_compare.odin -file -vet -strict-style -o:minimal || exit /b

tests/internal/test_string_compare.odin

@@ -0,0 +1,93 @@
+package test_internal_string_compare
+
+import "core:fmt"
+import "core:os"
+import "core:testing"
+
+Op :: enum { Eq, Lt, Gt }
+
+Test :: struct {
+	a:   cstring,
+	b:   cstring,
+	res: [Op]bool,
+}
+
+CASES := []Test{
+	{"hellope",  "hellope", {.Eq=true,  .Lt=false, .Gt=false}},
+	{"Hellope",  "hellope", {.Eq=false, .Lt=true,  .Gt=false}}, // H < h
+	{"Hell",     "Hellope", {.Eq=false, .Lt=true,  .Gt=false}},
+	{"Hellope!", "Hellope", {.Eq=false, .Lt=false, .Gt=true }},
+	{"Hellopf",  "Hellope", {.Eq=false, .Lt=false, .Gt=true }},
+}
+
+@test
+string_compare :: proc(t: ^testing.T) {
+	for v in CASES {
+		s_a := string(v.a)
+		s_b := string(v.b)
+
+		for res, op in v.res {
+			switch op {
+			case .Eq:
+				expect(t, (v.a == v.b) == res,  fmt.tprintf("Expected cstring(\"%v\") == cstring(\"%v\") to be %v", v.a, v.b, res))
+				expect(t, (s_a == s_b) == res,  fmt.tprintf("Expected string(\"%v\") == string(\"%v\") to be %v", v.a, v.b, res))
+
+				// If a == b then a != b
+				expect(t, (v.a != v.b) == !res, fmt.tprintf("Expected cstring(\"%v\") != cstring(\"%v\") to be %v", v.a, v.b, !res))
+				expect(t, (s_a != s_b) == !res, fmt.tprintf("Expected string(\"%v\") != string(\"%v\") to be %v", v.a, v.b, !res))
+
+			case .Lt:
+				expect(t, (v.a < v.b) == res,  fmt.tprintf("Expected cstring(\"%v\") < cstring(\"%v\") to be %v", v.a, v.b, res))
+				expect(t, (s_a < s_b) == res,  fmt.tprintf("Expected string(\"%v\") < string(\"%v\") to be %v", v.a, v.b, res))
+
+				// .Lt | .Eq == .LtEq
+				lteq := v.res[.Eq] | res
+				expect(t, (v.a <= v.b) == lteq, fmt.tprintf("Expected cstring(\"%v\") <= cstring(\"%v\") to be %v", v.a, v.b, lteq))
+				expect(t, (s_a <= s_b) == lteq, fmt.tprintf("Expected string(\"%v\") <= string(\"%v\") to be %v", v.a, v.b, lteq))
+
+			case .Gt:
+				expect(t, (v.a > v.b) == res,  fmt.tprintf("Expected cstring(\"%v\") > cstring(\"%v\") to be %v", v.a, v.b, res))
+				expect(t, (s_a > s_b) == res,  fmt.tprintf("Expected string(\"%v\") > string(\"%v\") to be %v", v.a, v.b, res))
+
+				// .Gt | .Eq == .GtEq
+				gteq := v.res[.Eq] | res
+				expect(t, (v.a >= v.b) == gteq, fmt.tprintf("Expected cstring(\"%v\") >= cstring(\"%v\") to be %v", v.a, v.b, gteq))
+				expect(t, (s_a >= s_b) == gteq, fmt.tprintf("Expected string(\"%v\") >= string(\"%v\") to be %v", v.a, v.b, gteq))
+			}
+		}
+	}
+}
+
+// -------- -------- -------- -------- -------- -------- -------- -------- -------- --------
+
+main :: proc() {
+	t := testing.T{}
+
+	string_compare(&t)
+
+	fmt.printf("%v/%v tests successful.\n", TEST_count - TEST_fail, TEST_count)
+	if TEST_fail > 0 {
+		os.exit(1)
+	}
+}
+
+TEST_count := 0
+TEST_fail  := 0
+
+when ODIN_TEST {
+	expect  :: testing.expect
+	log     :: testing.log
+} else {
+	expect  :: proc(t: ^testing.T, condition: bool, message: string, loc := #caller_location) {
+		TEST_count += 1
+		if !condition {
+			TEST_fail += 1
+			fmt.printf("[%v] %v\n", loc, message)
+			return
+		}
+	}
+	log     :: proc(t: ^testing.T, v: any, loc := #caller_location) {
+		fmt.printf("[%v] ", loc)
+		fmt.printf("log: %v\n", v)
+	}
+}