1 /**************************************************************************
3 * Copyright 2010 VMware, Inc.
6 * Permission is hereby granted, free of charge, to any person obtaining a
7 * copy of this software and associated documentation files (the
8 * "Software"), to deal in the Software without restriction, including
9 * without limitation the rights to use, copy, modify, merge, publish,
10 * distribute, sub license, and/or sell copies of the Software, and to
11 * permit persons to whom the Software is furnished to do so, subject to
12 * the following conditions:
14 * The above copyright notice and this permission notice (including the
15 * next paragraph) shall be included in all copies or substantial portions
18 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
19 * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
20 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT.
21 * IN NO EVENT SHALL VMWARE AND/OR ITS SUPPLIERS BE LIABLE FOR
22 * ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
23 * TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
24 * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
26 **************************************************************************/
28 #include "util/u_debug.h"
29 #include "util/u_memory.h"
30 #include "lp_bld_assert.h"
31 #include "lp_bld_init.h"
32 #include "lp_bld_const.h"
33 #include "lp_bld_printf.h"
37 * A call to lp_build_assert() will build a function call to this function.
40 lp_assert(int condition
, const char *msg
)
43 debug_printf("LLVM assertion '%s' failed!\n", msg
);
53 * Build an assertion in LLVM IR by building a function call to the
54 * lp_assert() function above.
56 * \param condition should be an 'i1' or 'i32' value
57 * \param msg a string to print if the assertion fails.
60 lp_build_assert(struct gallivm_state
*gallivm
,
61 LLVMValueRef condition
,
64 LLVMBuilderRef builder
= gallivm
->builder
;
65 LLVMContextRef context
= gallivm
->context
;
66 LLVMTypeRef arg_types
[2];
68 LLVMValueRef function
;
70 LLVMValueRef msg_string
;
72 msg_string
= lp_build_const_string(gallivm
, msg
);
74 ret_type
= LLVMVoidTypeInContext(context
);
75 arg_types
[0] = LLVMInt32TypeInContext(context
);
76 arg_types
[1] = LLVMPointerType(LLVMInt8TypeInContext(context
), 0);
78 function
= lp_build_const_func_pointer(gallivm
,
79 func_to_pointer((func_pointer
)lp_assert
),
80 ret_type
, arg_types
, Elements(arg_types
),
83 /* build function call param list */
84 args
[0] = LLVMBuildZExt(builder
, condition
, arg_types
[0], "");
88 assert(LLVMTypeOf(args
[0]) == arg_types
[0]);
89 assert(LLVMTypeOf(args
[1]) == arg_types
[1]);
91 LLVMBuildCall(builder
, function
, args
, Elements(args
), "");