summaryrefslogtreecommitdiff
path: root/spec/ruby/core/integer/bit_and_spec.rb
blob: 8de5a14aaa00889ad08cc3e0e902c5bb66152638 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
require_relative '../../spec_helper'

describe "Integer#&" do
  context "fixnum" do
    it "returns self bitwise AND other" do
      (256 & 16).should == 0
      (2010 & 5).should == 0
      (65535 & 1).should == 1
      (0xffff & bignum_value + 0xffff_ffff).should == 65535
    end

    it "returns self bitwise AND other when one operand is negative" do
      ((1 << 33) & -1).should == (1 << 33)
      (-1 & (1 << 33)).should == (1 << 33)

      ((-(1<<33)-1) & 5).should == 5
      (5 & (-(1<<33)-1)).should == 5
    end

    it "returns self bitwise AND other when both operands are negative" do
      (-5 & -1).should == -5
      (-3 & -4).should == -4
      (-12 & -13).should == -16
      (-13 & -12).should == -16
    end

    it "returns self bitwise AND a bignum" do
      (-1 & 2**64).should == 18446744073709551616
    end

    it "coerces the rhs and calls #coerce" do
      obj = mock("fixnum bit and")
      obj.should_receive(:coerce).with(6).and_return([3, 6])
      (6 & obj).should == 2
    end

    it "raises a TypeError when passed a Float" do
      -> { (3 & 3.4) }.should raise_error(TypeError)
    end

    it "raises a TypeError and does not call #to_int when defined on an object" do
      obj = mock("fixnum bit and")
      obj.should_not_receive(:to_int)

      -> { 3 & obj }.should raise_error(TypeError)
    end
  end

  context "bignum" do
    before :each do
      @bignum = bignum_value(5)
    end

    it "returns self bitwise AND other" do
      @bignum = bignum_value(5)
      (@bignum & 3).should == 1
      (@bignum & 52).should == 4
      (@bignum & bignum_value(9921)).should == 18446744073709551617

      ((2*bignum_value) & 1).should == 0
      ((2*bignum_value) & (2*bignum_value)).should == 36893488147419103232
    end

    it "returns self bitwise AND other when one operand is negative" do
      ((2*bignum_value) & -1).should == (2*bignum_value)
      ((4*bignum_value) & -1).should == (4*bignum_value)
      (@bignum & -0xffffffffffffff5).should == 18446744073709551617
      (@bignum & -@bignum).should == 1
      (@bignum & -0x8000000000000000).should == 18446744073709551616
    end

    it "returns self bitwise AND other when both operands are negative" do
      (-@bignum & -0x4000000000000005).should == -23058430092136939525
      (-@bignum & -@bignum).should == -18446744073709551621
      (-@bignum & -0x4000000000000000).should == -23058430092136939520
    end

    it "returns self bitwise AND other when both are negative and a multiple in bitsize of Fixnum::MIN" do
      val = - ((1 << 93) - 1)
      (val & val).should == val

      val = - ((1 << 126) - 1)
      (val & val).should == val
    end

    it "raises a TypeError when passed a Float" do
      -> { (@bignum & 3.4) }.should raise_error(TypeError)
    end

    it "raises a TypeError and does not call #to_int when defined on an object" do
      obj = mock("bignum bit and")
      obj.should_not_receive(:to_int)

      -> { @bignum & obj }.should raise_error(TypeError)
    end
  end
end