This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#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) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#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.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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"), |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
__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 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
__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 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
--------------------------------------------------------------------------- | |
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.