0,0 → 1,151 |
/************************************************************************** |
* |
* Copyright 2013 |
* All Rights Reserved. |
* |
* Permission is hereby granted, free of charge, to any person obtaining a |
* copy of this software and associated documentation files (the |
* "Software"), to deal in the Software without restriction, including |
* without limitation the rights to use, copy, modify, merge, publish, |
* distribute, sub license, and/or sell copies of the Software, and to |
* permit persons to whom the Software is furnished to do so, subject to |
* the following conditions: |
* |
* The above copyright notice and this permission notice (including the |
* next paragraph) shall be included in all copies or substantial portions |
* of the Software. |
* |
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS |
* OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF |
* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. |
* IN NO EVENT SHALL VMWARE AND/OR ITS SUPPLIERS BE LIABLE FOR |
* ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, |
* TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE |
* SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. |
* |
**************************************************************************/ |
|
|
/** |
* @file |
* Helper |
* |
* The functions in this file implement arthmetic operations with support |
* for overflow detection and reporting. |
* |
*/ |
|
#include "lp_bld_arit_overflow.h" |
|
#include "lp_bld_type.h" |
#include "lp_bld_const.h" |
#include "lp_bld_init.h" |
#include "lp_bld_intr.h" |
#include "lp_bld_logic.h" |
#include "lp_bld_pack.h" |
#include "lp_bld_debug.h" |
#include "lp_bld_bitarit.h" |
|
#include "util/u_memory.h" |
#include "util/u_debug.h" |
#include "util/u_math.h" |
#include "util/u_string.h" |
#include "util/u_cpu_detect.h" |
|
#include <float.h> |
|
|
static LLVMValueRef |
build_binary_int_overflow(struct gallivm_state *gallivm, |
const char *intr_prefix, |
LLVMValueRef a, |
LLVMValueRef b, |
LLVMValueRef *ofbit) |
{ |
LLVMBuilderRef builder = gallivm->builder; |
char intr_str[256]; |
LLVMTypeRef type_ref; |
LLVMTypeKind type_kind; |
unsigned type_width; |
LLVMTypeRef oelems[2]; |
LLVMValueRef oresult; |
LLVMTypeRef otype; |
|
debug_assert(LLVMTypeOf(a) == LLVMTypeOf(b)); |
type_ref = LLVMTypeOf(a); |
type_kind = LLVMGetTypeKind(type_ref); |
|
debug_assert(type_kind == LLVMIntegerTypeKind); |
type_width = LLVMGetIntTypeWidth(type_ref); |
|
debug_assert(type_width == 16 || type_width == 32 || type_width == 64); |
|
util_snprintf(intr_str, sizeof intr_str, "%s.i%u", |
intr_prefix, type_width); |
|
oelems[0] = type_ref; |
oelems[1] = LLVMInt1TypeInContext(gallivm->context); |
|
otype = LLVMStructTypeInContext(gallivm->context, oelems, 2, FALSE); |
oresult = lp_build_intrinsic_binary(builder, intr_str, |
otype, a, b); |
if (ofbit) { |
if (*ofbit) { |
*ofbit = LLVMBuildOr( |
builder, *ofbit, |
LLVMBuildExtractValue(builder, oresult, 1, ""), ""); |
} else { |
*ofbit = LLVMBuildExtractValue(builder, oresult, 1, ""); |
} |
} |
|
return LLVMBuildExtractValue(builder, oresult, 0, ""); |
} |
|
/** |
* Performs unsigned addition of two integers and reports |
* overflow if detected. |
* |
* The values @a and @b must be of the same integer type. If |
* an overflow is detected the IN/OUT @ofbit parameter is used: |
* - if it's pointing to a null value, the overflow bit is simply |
* stored inside the variable it's pointing to, |
* - if it's pointing to a valid value, then that variable, |
* which must be of i1 type, is ORed with the newly detected |
* overflow bit. This is done to allow chaining of a number of |
* overflow functions together without having to test the |
* overflow bit after every single one. |
*/ |
LLVMValueRef |
lp_build_uadd_overflow(struct gallivm_state *gallivm, |
LLVMValueRef a, |
LLVMValueRef b, |
LLVMValueRef *ofbit) |
{ |
return build_binary_int_overflow(gallivm, "llvm.uadd.with.overflow", |
a, b, ofbit); |
} |
|
/** |
* Performs unsigned multiplication of two integers and |
* reports overflow if detected. |
* |
* The values @a and @b must be of the same integer type. If |
* an overflow is detected the IN/OUT @ofbit parameter is used: |
* - if it's pointing to a null value, the overflow bit is simply |
* stored inside the variable it's pointing to, |
* - if it's pointing to a valid value, then that variable, |
* which must be of i1 type, is ORed with the newly detected |
* overflow bit. This is done to allow chaining of a number of |
* overflow functions together without having to test the |
* overflow bit after every single one. |
*/ |
LLVMValueRef |
lp_build_umul_overflow(struct gallivm_state *gallivm, |
LLVMValueRef a, |
LLVMValueRef b, |
LLVMValueRef *ofbit) |
{ |
return build_binary_int_overflow(gallivm, "llvm.umul.with.overflow", |
a, b, ofbit); |
} |