Skip to content

Instantly share code, notes, and snippets.

View kaushikcfd's full-sized avatar

Kaushik Kulkarni kaushikcfd

View GitHub Profile
#define lid(N) ((int) get_local_id(N))
#define gid(N) ((int) get_group_id(N))
#if __OPENCL_C_VERSION__ < 120
#pragma OPENCL EXTENSION cl_khr_fp64: enable
#endif
#define LOOPY_CALL_WITH_INTEGER_TYPES(MACRO_NAME) \
MACRO_NAME(int8, char) \
MACRO_NAME(int16, short) \
MACRO_NAME(int32, int) \
MACRO_NAME(int64, long)
#define lid(N) ((int) get_local_id(N))
#define gid(N) ((int) get_group_id(N))
#if __OPENCL_C_VERSION__ < 120
#pragma OPENCL EXTENSION cl_khr_fp64: enable
#endif
#define LOOPY_CALL_WITH_INTEGER_TYPES(MACRO_NAME) \
MACRO_NAME(int8, char) \
MACRO_NAME(int16, short) \
MACRO_NAME(int32, int) \
MACRO_NAME(int64, long)
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
from kanren import (var, itero, membero, run, facts, Relation)
# equivalent python program
# --------------------------
fruit_to_its_likers = {}
for fruit, liker in [("banana", "sam"),
("apple", "tom"),
("mango", "nancy"),
__kernel void __attribute__ ((reqd_work_group_size(1, 1, 1))) _pt_kernel(__global double const *__restrict__ _pt_in, int const _pt_in_offset, __global double const *__restrict__ _pt_in_0, int const _pt_in_0_offset, __global double const *__restrict__ _pt_in_1, int const _pt_in_1_offset, __global double const *__restrict__ _pt_in_2, int const _pt_in_2_offset, __global double const *__restrict__ _actx_in_1_0_0, int const _actx_in_1_0_0_offset, __global double const *__restrict__ _pt_in_3, int const _pt_in_3_offset, __global double const *__restrict__ _pt_in_4, int const _pt_in_4_offset, __global double const *__restrict__ _pt_in_5, int const _pt_in_5_offset, __global double const *__restrict__ _pt_in_12, int const _pt_in_12_offset, __global double const *__restrict__ _pt_in_13, int const _pt_in_13_offset, __global long const *__restrict__ _pt_in_14, int const _pt_in_14_offset, __global long const *__restrict__ _pt_in_15, int const _pt_in_15_offset, __global int const *__restrict__ _pt_in_16, int const _pt_in_16
__kernel void __attribute__ ((reqd_work_group_size(1, 1, 1))) _pt_kernel(__global double const *__restrict__ _pt_in, int const _pt_in_offset, __global double const *__restrict__ _pt_in_0, int const _pt_in_0_offset, __global double const *__restrict__ _pt_in_1, int const _pt_in_1_offset, __global double const *__restrict__ _pt_in_2, int const _pt_in_2_offset, __global double const *__restrict__ _actx_in_1_0_0, int const _actx_in_1_0_0_offset, __global double const *__restrict__ _pt_in_3, int const _pt_in_3_offset, __global double const *__restrict__ _pt_in_4, int const _pt_in_4_offset, __global double const *__restrict__ _pt_in_5, int const _pt_in_5_offset, __global double const *__restrict__ _pt_in_12, int const _pt_in_12_offset, __global double const *__restrict__ _pt_in_13, int const _pt_in_13_offset, __global long const *__restrict__ _pt_in_14, int const _pt_in_14_offset, __global long const *__restrict__ _pt_in_15, int const _pt_in_15_offset, __global int const *__restrict__ _pt_in_16, int const _pt_in_16
---------------------------------------------------------------------------
KERNEL: _pt_kernel
---------------------------------------------------------------------------
ARGUMENTS:
_actx_in_0: type: np:dtype('float64'), shape: (), offset: <class 'loopy.kernel.data.auto'> aspace: global
_actx_in_1_0_0: type: np:dtype('float64'), shape: (48000, 35), dim_tags: (N1:stride:35, N0:stride:1), offset: <class 'loopy.kernel.data.auto'> aspace: global
_actx_in_1_1_0: type: np:dtype('float64'), shape: (48000, 35), dim_tags: (N1:stride:35, N0:stride:1), offset: <class 'loopy.kernel.data.auto'> aspace: global
_actx_in_1_2_0: type: np:dtype('float64'), shape: (48000, 35), dim_tags: (N1:stride:35, N0:stride:1), offset: <class 'loopy.kernel.data.auto'> aspace: global
_actx_in_1_3_0: type: np:dtype('float64'), shape: (48000, 35), dim_tags: (N1:stride:35, N0:stride:1), offset: <class 'loopy.kernel.data.auto'> aspace: global
_pt_in: type: np:dtype('float64'), shape: (48000, 1), dim_tags: (N1:stride:1, N0:stride:1), offset: <cla
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.