From f5f6bd319db3b224aa603d5eaa74e1d61f071f50 Mon Sep 17 00:00:00 2001 From: William Carroll Date: Mon, 5 Sep 2022 22:16:17 -0700 Subject: feat(tvix/eval): Support builtins.bitAnd Bitwise `and` on integers. Change-Id: I9f2a9182a057af26906683acd97a40dfabbdded8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6548 Reviewed-by: wpcarro Autosubmit: wpcarro Reviewed-by: tazjin Tested-by: BuildkiteCI --- tvix/eval/src/tests/tvix_tests/eval-okay-builtins-bitand.nix | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 tvix/eval/src/tests/tvix_tests/eval-okay-builtins-bitand.nix (limited to 'tvix/eval/src/tests/tvix_tests/eval-okay-builtins-bitand.nix') diff --git a/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-bitand.nix b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-bitand.nix new file mode 100644 index 0000000000..af40005ed9 --- /dev/null +++ b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-bitand.nix @@ -0,0 +1,10 @@ +[ + (builtins.bitAnd 0 0) + (builtins.bitAnd 0 1) + (builtins.bitAnd 1 0) + (builtins.bitAnd 1 1) + (builtins.bitAnd 8 8) + (builtins.bitAnd 8 (builtins.add 4 4)) + (builtins.bitAnd (builtins.add 4 4) 8) + (builtins.bitAnd (builtins.add 4 4) (builtins.add 4 4)) +] -- cgit 1.4.1