mirrors/Odin
1
0
Fork 0
mirror of https://github.com/odin-lang/Odin.git synced 2026-08-28 07:51:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

normalize bool cmp

Browse Source
This commit is contained in:
kalsprite
2026-08-24 18:34:59 -07:00
parent 0d1635366f
commit 4ecaa7dfd9
4 changed files with 77 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
src/llvm_backend_expr.cpp
View File

@@ -3860,6 +3860,24 @@ gb_internal lbValue lb_emit_comp(lbProcedure *p, TokenKind op_kind, lbValue left
rhs = lb_emit_byte_swap(p, {rhs, pt}, pt).value;
}
if (is_type_boolean(a) && is_type_boolean(b) && (op_kind == Token_CmpEq || op_kind == Token_NotEq)) {
// anything not 0 is true, which is what control flow already tests for
bool lhs_is_const = LLVMIsAConstantInt(lhs) != nullptr;
bool rhs_is_const = LLVMIsAConstantInt(rhs) != nullptr;
if (lhs_is_const != rhs_is_const) {
// against a literal, the truthiness test is the whole comparison
LLVMValueRef v = rhs_is_const ? lhs : rhs;
LLVMValueRef c = rhs_is_const ? rhs : lhs;
bool is_true = LLVMConstIntGetZExtValue(c) != 0;
pred = ((op_kind == Token_CmpEq) == is_true) ? LLVMIntNE : LLVMIntEQ;
lhs = v;
rhs = LLVMConstNull(LLVMTypeOf(v));
} else {
lhs = LLVMBuildICmp(p->builder, LLVMIntNE, lhs, LLVMConstNull(LLVMTypeOf(lhs)), "");
rhs = LLVMBuildICmp(p->builder, LLVMIntNE, rhs, LLVMConstNull(LLVMTypeOf(rhs)), "");
}
}
res.value = LLVMBuildICmp(p->builder, pred, lhs, rhs, "");
} else if (is_type_float(a)) {
LLVMRealPredicate pred = {};

1
tests/issues/run.bat
View File

@@ -43,6 +43,7 @@ set COMMON=-define:ODIN_TEST_FANCY=false -file -vet -strict-style -ignore-unused
..\..\..\odin test ..\test_issue_7008.odin %COMMON% || exit /b
..\..\..\odin check ..\test_issue_7012.odin -no-entry-point %COMMON% || exit /b
..\..\..\odin check ..\test_issue_7260.odin -no-entry-point %COMMON% || exit /b
..\..\..\odin test ..\test_issue_bool_comparison_truthiness.odin %COMMON% || exit /b
..\..\..\odin check ..\test_issue_ellipsis_type_call.odin -no-entry-point %COMMON% 2>&1 | find /c "Error:" | findstr /x "10" || exit /b
..\..\..\odin check ..\test_issue_foreign_redeclaration.odin -no-entry-point %COMMON% || exit /b
..\..\..\odin check ..\test_issue_foreign_redeclaration_mismatch.odin -no-entry-point %COMMON% 2>&1 | find /c "Error:" | findstr /x "1" || exit /b

1
tests/issues/run.sh
View File

@@ -95,6 +95,7 @@ $ODIN test ../test_issue_7356.odin $COMMON
$ODIN build ../test_issue_7167.odin $COMMON
$ODIN build ../test_issue_7188.odin $COMMON
$ODIN check ../test_issue_7260.odin -no-entry-point $COMMON_CHECK
$ODIN test ../test_issue_bool_comparison_truthiness.odin $COMMON
$ODIN check ../test_issue_foreign_redeclaration.odin -no-entry-point $COMMON_CHECK
if [[ $($ODIN check ../test_issue_foreign_redeclaration_mismatch.odin -no-entry-point $COMMON_CHECK 2>&1 >/dev/null | grep -c "Error:") -eq 1 ]]; then

57
tests/issues/test_issue_bool_comparison_truthiness.odin Normal file
View File

@@ -0,0 +1,57 @@
package test_issues
import "core:testing"
// A boolean is true when its payload is non-zero, which is what `if`, `!` and `&&` test for.
// `==`, `!=` and `switch` compared the payload against 1 instead, so a boolean decoded from
// bytes -- transmuted, read through a pointer, or returned by a foreign procedure -- was true
// under `if` yet matched neither arm of its own switch.
@(test)
bool_comparison_uses_truthiness :: proc(t: ^testing.T) {
two: u8 = 2
one: u8 = 1
nil_: u8 = 0
b := transmute(bool)two
c := transmute(bool)one
f := transmute(bool)nil_
testing.expect(t, b, "a non-zero payload is true")
testing.expect_value(t, b == true, true)
testing.expect_value(t, b != true, false)
testing.expect_value(t, b == false, false)
testing.expect_value(t, b != false, true)
// both operands are normalised, not just the literal one
testing.expect_value(t, b == c, true)
testing.expect_value(t, b != c, false)
testing.expect_value(t, b == f, false)
testing.expect_value(t, b != f, true)
arm := 2
switch b {
case true: arm = 1
case false: arm = 0
}
testing.expect_value(t, arm, 1)
// the wider boolean types share the path
two16: u16 = 2
two32: u32 = 2
two64: u64 = 2
testing.expect_value(t, transmute(b8)two == true, true)
testing.expect_value(t, transmute(b16)two16 == true, true)
testing.expect_value(t, transmute(b32)two32 == true, true)
testing.expect_value(t, transmute(b64)two64 == true, true)
// the normal 0/1 payloads keep behaving
yes := true
no := false
testing.expect_value(t, yes == true, true)
testing.expect_value(t, yes == false, false)
testing.expect_value(t, no == false, true)
testing.expect_value(t, yes == no, false)
testing.expect_value(t, yes != no, true)
}