| /************************************************************************** |
| * |
| * Copyright 2010 VMware, Inc. |
| * 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. |
| * |
| **************************************************************************/ |
| |
| #include "util/u_debug.h" |
| #include "util/u_memory.h" |
| #include "lp_bld_assert.h" |
| #include "lp_bld_init.h" |
| #include "lp_bld_const.h" |
| #include "lp_bld_printf.h" |
| |
| |
| /** |
| * A call to lp_build_assert() will build a function call to this function. |
| */ |
| static void |
| lp_assert(int condition, const char *msg) |
| { |
| if (!condition) { |
| debug_printf("LLVM assertion '%s' failed!\n", msg); |
| assert(condition); |
| } |
| } |
| |
| |
| |
| /** |
| * lp_build_assert. |
| * |
| * Build an assertion in LLVM IR by building a function call to the |
| * lp_assert() function above. |
| * |
| * \param condition should be an 'i1' or 'i32' value |
| * \param msg a string to print if the assertion fails. |
| */ |
| void |
| lp_build_assert(struct gallivm_state *gallivm, |
| LLVMValueRef condition, |
| const char *msg) |
| { |
| LLVMBuilderRef builder = gallivm->builder; |
| LLVMContextRef context = gallivm->context; |
| LLVMTypeRef arg_types[2]; |
| LLVMTypeRef ret_type; |
| LLVMValueRef function; |
| LLVMValueRef args[2]; |
| LLVMValueRef msg_string; |
| |
| msg_string = lp_build_const_string(gallivm, msg); |
| |
| ret_type = LLVMVoidTypeInContext(context); |
| arg_types[0] = LLVMInt32TypeInContext(context); |
| arg_types[1] = LLVMPointerType(LLVMInt8TypeInContext(context), 0); |
| |
| function = lp_build_const_func_pointer(gallivm, |
| func_to_pointer((func_pointer)lp_assert), |
| ret_type, arg_types, ARRAY_SIZE(arg_types), |
| "assert"); |
| |
| /* build function call param list */ |
| args[0] = LLVMBuildZExt(builder, condition, arg_types[0], ""); |
| args[1] = msg_string; |
| |
| /* check arg types */ |
| assert(LLVMTypeOf(args[0]) == arg_types[0]); |
| assert(LLVMTypeOf(args[1]) == arg_types[1]); |
| |
| LLVMBuildCall(builder, function, args, ARRAY_SIZE(args), ""); |
| } |