24     if (test__mulvsi3(0, 0, 0))  in main()
26     if (test__mulvsi3(0, 1, 0))  in main()
28     if (test__mulvsi3(1, 0, 0))  in main()
30     if (test__mulvsi3(0, 10, 0))  in main()
32     if (test__mulvsi3(10, 0, 0))  in main()
34     if (test__mulvsi3(0, 0x1234567, 0))  in main()
36     if (test__mulvsi3(0x1234567, 0, 0))  in main()
39     if (test__mulvsi3(0, -1, 0))  in main()
41     if (test__mulvsi3(-1, 0, 0))  in main()
43     if (test__mulvsi3(0, -10, 0))  in main()
45     if (test__mulvsi3(-10, 0, 0))  in main()
47     if (test__mulvsi3(0, -0x1234567, 0))  in main()
49     if (test__mulvsi3(-0x1234567, 0, 0))  in main()
58     if (test__mulvsi3(1, 0x1234567, 0x1234567))  in main()
60     if (test__mulvsi3(0x1234567, 1, 0x1234567))  in main()
69     if (test__mulvsi3(1, -0x1234567, -0x1234567))  in main()
71     if (test__mulvsi3(-0x1234567, 1, -0x1234567))  in main()
74 //     if (test__mulvsi3(0x7FFFFFFF, -2, 0x80000001))  // abort  in main()
76 //     if (test__mulvsi3(-2, 0x7FFFFFFF, 0x80000001))  // abort  in main()
78     if (test__mulvsi3(0x7FFFFFFF, -1, 0x80000001))  in main()
80     if (test__mulvsi3(-1, 0x7FFFFFFF, 0x80000001))  in main()
82     if (test__mulvsi3(0x7FFFFFFF, 0, 0))  in main()
84     if (test__mulvsi3(0, 0x7FFFFFFF, 0))  in main()
86     if (test__mulvsi3(0x7FFFFFFF, 1, 0x7FFFFFFF))  in main()
88     if (test__mulvsi3(1, 0x7FFFFFFF, 0x7FFFFFFF))  in main()
90 //     if (test__mulvsi3(0x7FFFFFFF, 2, 0x80000001))  // abort  in main()
92 //     if (test__mulvsi3(2, 0x7FFFFFFF, 0x80000001))  // abort  in main()
95 //     if (test__mulvsi3(0x80000000, -2, 0x80000000))  // abort  in main()
97 //     if (test__mulvsi3(-2, 0x80000000, 0x80000000))  // abort  in main()
99 //     if (test__mulvsi3(0x80000000, -1, 0x80000000))  // abort  in main()
101 //     if (test__mulvsi3(-1, 0x80000000, 0x80000000))  // abort  in main()
103     if (test__mulvsi3(0x80000000, 0, 0))  in main()
105     if (test__mulvsi3(0, 0x80000000, 0))  in main()
107     if (test__mulvsi3(0x80000000, 1, 0x80000000))  in main()
109     if (test__mulvsi3(1, 0x80000000, 0x80000000))  in main()
111 //     if (test__mulvsi3(0x80000000, 2, 0x80000000))  // abort  in main()
113 //     if (test__mulvsi3(2, 0x80000000, 0x80000000))  // abort  in main()
116 //     if (test__mulvsi3(0x80000001, -2, 0x80000001))  // abort  in main()
118 //     if (test__mulvsi3(-2, 0x80000001, 0x80000001))  // abort  in main()
120     if (test__mulvsi3(0x80000001, -1, 0x7FFFFFFF))  in main()
122     if (test__mulvsi3(-1, 0x80000001, 0x7FFFFFFF))  in main()
124     if (test__mulvsi3(0x80000001, 0, 0))  in main()
126     if (test__mulvsi3(0, 0x80000001, 0))  in main()
128     if (test__mulvsi3(0x80000001, 1, 0x80000001))  in main()
130     if (test__mulvsi3(1, 0x80000001, 0x80000001))  in main()
132 //     if (test__mulvsi3(0x80000001, 2, 0x80000000))  // abort  in main()
134 //     if (test__mulvsi3(2, 0x80000001, 0x80000000))  // abort  in main()
137     return 0;  in main()