23 int test__ashrdi3(di_int a, si_int b, di_int expected)  in test__ashrdi3()  function
36     if (test__ashrdi3(0x0123456789ABCDEFLL, 0, 0x123456789ABCDEFLL))  in main()
38     if (test__ashrdi3(0x0123456789ABCDEFLL, 1, 0x91A2B3C4D5E6F7LL))  in main()
40     if (test__ashrdi3(0x0123456789ABCDEFLL, 2, 0x48D159E26AF37BLL))  in main()
42     if (test__ashrdi3(0x0123456789ABCDEFLL, 3, 0x2468ACF13579BDLL))  in main()
44     if (test__ashrdi3(0x0123456789ABCDEFLL, 4, 0x123456789ABCDELL))  in main()
47     if (test__ashrdi3(0x0123456789ABCDEFLL, 28, 0x12345678LL))  in main()
49     if (test__ashrdi3(0x0123456789ABCDEFLL, 29, 0x91A2B3CLL))  in main()
51     if (test__ashrdi3(0x0123456789ABCDEFLL, 30, 0x48D159ELL))  in main()
53     if (test__ashrdi3(0x0123456789ABCDEFLL, 31, 0x2468ACFLL))  in main()
56     if (test__ashrdi3(0x0123456789ABCDEFLL, 32, 0x1234567LL))  in main()
59     if (test__ashrdi3(0x0123456789ABCDEFLL, 33, 0x91A2B3LL))  in main()
61     if (test__ashrdi3(0x0123456789ABCDEFLL, 34, 0x48D159LL))  in main()
63     if (test__ashrdi3(0x0123456789ABCDEFLL, 35, 0x2468ACLL))  in main()
65     if (test__ashrdi3(0x0123456789ABCDEFLL, 36, 0x123456LL))  in main()
68     if (test__ashrdi3(0x0123456789ABCDEFLL, 60, 0))  in main()
70     if (test__ashrdi3(0x0123456789ABCDEFLL, 61, 0))  in main()
72     if (test__ashrdi3(0x0123456789ABCDEFLL, 62, 0))  in main()
74     if (test__ashrdi3(0x0123456789ABCDEFLL, 63, 0))  in main()
77     if (test__ashrdi3(0xFEDCBA9876543210LL, 0, 0xFEDCBA9876543210LL))  in main()
79     if (test__ashrdi3(0xFEDCBA9876543210LL, 1, 0xFF6E5D4C3B2A1908LL))  in main()
81     if (test__ashrdi3(0xFEDCBA9876543210LL, 2, 0xFFB72EA61D950C84LL))  in main()
83     if (test__ashrdi3(0xFEDCBA9876543210LL, 3, 0xFFDB97530ECA8642LL))  in main()
85     if (test__ashrdi3(0xFEDCBA9876543210LL, 4, 0xFFEDCBA987654321LL))  in main()
88     if (test__ashrdi3(0xFEDCBA9876543210LL, 28, 0xFFFFFFFFEDCBA987LL))  in main()
90     if (test__ashrdi3(0xFEDCBA9876543210LL, 29, 0xFFFFFFFFF6E5D4C3LL))  in main()
92     if (test__ashrdi3(0xFEDCBA9876543210LL, 30, 0xFFFFFFFFFB72EA61LL))  in main()
94     if (test__ashrdi3(0xFEDCBA9876543210LL, 31, 0xFFFFFFFFFDB97530LL))  in main()
97     if (test__ashrdi3(0xFEDCBA9876543210LL, 32, 0xFFFFFFFFFEDCBA98LL))  in main()
100     if (test__ashrdi3(0xFEDCBA9876543210LL, 33, 0xFFFFFFFFFF6E5D4CLL))  in main()
102     if (test__ashrdi3(0xFEDCBA9876543210LL, 34, 0xFFFFFFFFFFB72EA6LL))  in main()
104     if (test__ashrdi3(0xFEDCBA9876543210LL, 35, 0xFFFFFFFFFFDB9753LL))  in main()
106     if (test__ashrdi3(0xFEDCBA9876543210LL, 36, 0xFFFFFFFFFFEDCBA9LL))  in main()
109     if (test__ashrdi3(0xAEDCBA9876543210LL, 60, 0xFFFFFFFFFFFFFFFALL))  in main()
111     if (test__ashrdi3(0xAEDCBA9876543210LL, 61, 0xFFFFFFFFFFFFFFFDLL))  in main()
113     if (test__ashrdi3(0xAEDCBA9876543210LL, 62, 0xFFFFFFFFFFFFFFFELL))  in main()
115     if (test__ashrdi3(0xAEDCBA9876543210LL, 63, 0xFFFFFFFFFFFFFFFFLL))  in main()