1*7c3d14c8STreehugger Robot /* ===-- mulvti3.c - Implement __mulvti3 -----------------------------------=== 2*7c3d14c8STreehugger Robot * 3*7c3d14c8STreehugger Robot * The LLVM Compiler Infrastructure 4*7c3d14c8STreehugger Robot * 5*7c3d14c8STreehugger Robot * This file is dual licensed under the MIT and the University of Illinois Open 6*7c3d14c8STreehugger Robot * Source Licenses. See LICENSE.TXT for details. 7*7c3d14c8STreehugger Robot * 8*7c3d14c8STreehugger Robot * ===----------------------------------------------------------------------=== 9*7c3d14c8STreehugger Robot * 10*7c3d14c8STreehugger Robot * This file implements __mulvti3 for the compiler_rt library. 11*7c3d14c8STreehugger Robot * 12*7c3d14c8STreehugger Robot * ===----------------------------------------------------------------------=== 13*7c3d14c8STreehugger Robot */ 14*7c3d14c8STreehugger Robot 15*7c3d14c8STreehugger Robot #include "int_lib.h" 16*7c3d14c8STreehugger Robot 17*7c3d14c8STreehugger Robot #ifdef CRT_HAS_128BIT 18*7c3d14c8STreehugger Robot 19*7c3d14c8STreehugger Robot /* Returns: a * b */ 20*7c3d14c8STreehugger Robot 21*7c3d14c8STreehugger Robot /* Effects: aborts if a * b overflows */ 22*7c3d14c8STreehugger Robot 23*7c3d14c8STreehugger Robot COMPILER_RT_ABI ti_int __mulvti3(ti_int a,ti_int b)24*7c3d14c8STreehugger Robot__mulvti3(ti_int a, ti_int b) 25*7c3d14c8STreehugger Robot { 26*7c3d14c8STreehugger Robot const int N = (int)(sizeof(ti_int) * CHAR_BIT); 27*7c3d14c8STreehugger Robot const ti_int MIN = (ti_int)1 << (N-1); 28*7c3d14c8STreehugger Robot const ti_int MAX = ~MIN; 29*7c3d14c8STreehugger Robot if (a == MIN) 30*7c3d14c8STreehugger Robot { 31*7c3d14c8STreehugger Robot if (b == 0 || b == 1) 32*7c3d14c8STreehugger Robot return a * b; 33*7c3d14c8STreehugger Robot compilerrt_abort(); 34*7c3d14c8STreehugger Robot } 35*7c3d14c8STreehugger Robot if (b == MIN) 36*7c3d14c8STreehugger Robot { 37*7c3d14c8STreehugger Robot if (a == 0 || a == 1) 38*7c3d14c8STreehugger Robot return a * b; 39*7c3d14c8STreehugger Robot compilerrt_abort(); 40*7c3d14c8STreehugger Robot } 41*7c3d14c8STreehugger Robot ti_int sa = a >> (N - 1); 42*7c3d14c8STreehugger Robot ti_int abs_a = (a ^ sa) - sa; 43*7c3d14c8STreehugger Robot ti_int sb = b >> (N - 1); 44*7c3d14c8STreehugger Robot ti_int abs_b = (b ^ sb) - sb; 45*7c3d14c8STreehugger Robot if (abs_a < 2 || abs_b < 2) 46*7c3d14c8STreehugger Robot return a * b; 47*7c3d14c8STreehugger Robot if (sa == sb) 48*7c3d14c8STreehugger Robot { 49*7c3d14c8STreehugger Robot if (abs_a > MAX / abs_b) 50*7c3d14c8STreehugger Robot compilerrt_abort(); 51*7c3d14c8STreehugger Robot } 52*7c3d14c8STreehugger Robot else 53*7c3d14c8STreehugger Robot { 54*7c3d14c8STreehugger Robot if (abs_a > MIN / -abs_b) 55*7c3d14c8STreehugger Robot compilerrt_abort(); 56*7c3d14c8STreehugger Robot } 57*7c3d14c8STreehugger Robot return a * b; 58*7c3d14c8STreehugger Robot } 59*7c3d14c8STreehugger Robot 60*7c3d14c8STreehugger Robot #endif /* CRT_HAS_128BIT */ 61