23 int test__mulosi4(si_int a, si_int b, si_int expected, int expected_overflow)  in test__mulosi4()  function
42     if (test__mulosi4(0, 0, 0, 0))  in main()
44     if (test__mulosi4(0, 1, 0, 0))  in main()
46     if (test__mulosi4(1, 0, 0, 0))  in main()
48     if (test__mulosi4(0, 10, 0, 0))  in main()
50     if (test__mulosi4(10, 0, 0, 0))  in main()
52     if (test__mulosi4(0, 0x1234567, 0, 0))  in main()
54     if (test__mulosi4(0x1234567, 0, 0, 0))  in main()
57     if (test__mulosi4(0, -1, 0, 0))  in main()
59     if (test__mulosi4(-1, 0, 0, 0))  in main()
61     if (test__mulosi4(0, -10, 0, 0))  in main()
63     if (test__mulosi4(-10, 0, 0, 0))  in main()
65     if (test__mulosi4(0, -0x1234567, 0, 0))  in main()
67     if (test__mulosi4(-0x1234567, 0, 0, 0))  in main()
70     if (test__mulosi4(1, 1, 1, 0))  in main()
72     if (test__mulosi4(1, 10, 10, 0))  in main()
74     if (test__mulosi4(10, 1, 10, 0))  in main()
76     if (test__mulosi4(1, 0x1234567, 0x1234567, 0))  in main()
78     if (test__mulosi4(0x1234567, 1, 0x1234567, 0))  in main()
81     if (test__mulosi4(1, -1, -1, 0))  in main()
83     if (test__mulosi4(1, -10, -10, 0))  in main()
85     if (test__mulosi4(-10, 1, -10, 0))  in main()
87     if (test__mulosi4(1, -0x1234567, -0x1234567, 0))  in main()
89     if (test__mulosi4(-0x1234567, 1, -0x1234567, 0))  in main()
92      if (test__mulosi4(0x7FFFFFFF, -2, 0x80000001, 1))  in main()
94      if (test__mulosi4(-2, 0x7FFFFFFF, 0x80000001, 1))  in main()
96     if (test__mulosi4(0x7FFFFFFF, -1, 0x80000001, 0))  in main()
98     if (test__mulosi4(-1, 0x7FFFFFFF, 0x80000001, 0))  in main()
100     if (test__mulosi4(0x7FFFFFFF, 0, 0, 0))  in main()
102     if (test__mulosi4(0, 0x7FFFFFFF, 0, 0))  in main()
104     if (test__mulosi4(0x7FFFFFFF, 1, 0x7FFFFFFF, 0))  in main()
106     if (test__mulosi4(1, 0x7FFFFFFF, 0x7FFFFFFF, 0))  in main()
108      if (test__mulosi4(0x7FFFFFFF, 2, 0x80000001, 1))  in main()
110      if (test__mulosi4(2, 0x7FFFFFFF, 0x80000001, 1))  in main()
113      if (test__mulosi4(0x80000000, -2, 0x80000000, 1))  in main()
115      if (test__mulosi4(-2, 0x80000000, 0x80000000, 1))  in main()
117      if (test__mulosi4(0x80000000, -1, 0x80000000, 1))  in main()
119      if (test__mulosi4(-1, 0x80000000, 0x80000000, 1))  in main()
121     if (test__mulosi4(0x80000000, 0, 0, 0))  in main()
123     if (test__mulosi4(0, 0x80000000, 0, 0))  in main()
125     if (test__mulosi4(0x80000000, 1, 0x80000000, 0))  in main()
127     if (test__mulosi4(1, 0x80000000, 0x80000000, 0))  in main()
129      if (test__mulosi4(0x80000000, 2, 0x80000000, 1))  in main()
131      if (test__mulosi4(2, 0x80000000, 0x80000000, 1))  in main()
134      if (test__mulosi4(0x80000001, -2, 0x80000001, 1))  in main()
136      if (test__mulosi4(-2, 0x80000001, 0x80000001, 1))  in main()
138     if (test__mulosi4(0x80000001, -1, 0x7FFFFFFF, 0))  in main()
140     if (test__mulosi4(-1, 0x80000001, 0x7FFFFFFF, 0))  in main()
142     if (test__mulosi4(0x80000001, 0, 0, 0))  in main()
144     if (test__mulosi4(0, 0x80000001, 0, 0))  in main()
146     if (test__mulosi4(0x80000001, 1, 0x80000001, 0))  in main()
148     if (test__mulosi4(1, 0x80000001, 0x80000001, 0))  in main()
150      if (test__mulosi4(0x80000001, 2, 0x80000000, 1))  in main()
152      if (test__mulosi4(2, 0x80000001, 0x80000000, 1))  in main()