o 8ήcv@sdZddlZddlZddlZddlZddlmZmZmZm Z m Z m Z m Z ddl Z ddlmZddlmZmZddlmZmZmZddlmZmZeeZdZdZd Zd Z d Z!eZ"eZ#d $Z%e&e%D] \Z'Z(e)ej*ee(e'qcd dZ+e ,Z-Gddde.Z/Gddde.Z0dZ1da2ddZ3ddZ4ddZ5dZ6Gddde.Z7dZ8dZ9dZ:d Z;d!Zd$d%Z?d&d'Z@d(d)ZAd*d+ZBd,d-ZCd.d/ZDd0d1ZEd2d3ZFeGd4ZHeGd5ZIeGd6ZJd7ZKeGeKLd8d9ZMeGd:ZNhd;ZOeGd<ZPeGd=ZQeGd>ZReGd?ZSeGd@ZTeGdAZUeGdBZVeGdCZWeGdDZXdEdFdGZYdHdIZZdJdKZ[dLdMZ\dNdOZ]dPdQZ^dRdSZ_dTdUZ`dS)Vz( This is a direct translation of nvvm.h N)c_void_pc_intPOINTERc_char_pc_size_tbyrefc_char)ir) NvvmErrorNvvmSupportError) get_libdeviceopen_libdevice open_cudalib)cgutilsconfiga NVVM_SUCCESS NVVM_ERROR_OUT_OF_MEMORY NVVM_ERROR_PROGRAM_CREATION_FAILURE NVVM_ERROR_IR_VERSION_MISMATCH NVVM_ERROR_INVALID_INPUT NVVM_ERROR_INVALID_PROGRAM NVVM_ERROR_INVALID_IR NVVM_ERROR_INVALID_OPTION NVVM_ERROR_NO_MODULE_IN_PROGRAM NVVM_ERROR_COMPILATION cCs"ztWdStyYdSw)z( Return if libNVVM is available FT)NVVMr rr>/tmp/pip-target-vg8gfxp4/lib/python/numba/cuda/cudadrv/nvvm.py is_available3s  rc@seZdZdZeeeeefeeefeeefeeee efeeee efeeeeefeeee feeefeeee feeefeeeeeeeeefd Z dZ ddZ ddZ edd Zd d Zd d ZdddZdS)rzProcess-wide singleton. ) nvvmVersionnvvmCreateProgramnvvmDestroyProgramnvvmAddModuleToProgramnvvmLazyAddModuleToProgramnvvmCompileProgramnvvmGetCompiledResultSizenvvmGetCompiledResultnvvmGetProgramLogSizenvvmGetProgramLog nvvmIRVersionNc Csta|jdurQt||_}ztd|_Wnty.}z d|_d}t||d}~ww|j D]%\}}t |j|}|d|_ |dd|_ t |||q4Wd|jSWd|jS1sfwY|jS)Nnvvmz;libNVVM cannot be found. Do `conda install cudatoolkit`: %srr ) _nvvm_lock_NVVM__INSTANCEobject__new__rdriverOSErrorr _PROTOTYPESitemsgetattrrestypeargtypessetattr)clsinsteerrmsgnameprotofuncrrrr(ys0      z NVVM.__new__cCs4|}|d|_|d|_|d|_|d|_dS)Nrr r)get_ir_version_majorIR_minorIR _majorDbg _minorDbg)self ir_versionsrrr__init__s    z NVVM.__init__cCs|j|jfdkS)N)r )r:r;r>rrr is_nvvm70szNVVM.is_nvvm70cCs8t}t}|t|t|}||d|j|jfS)NzFailed to get version.)rrr check_errorvalue)r>majorminorerrrrr get_versions   zNVVM.get_versioncCsXt}t}t}t}|t|t|t|t|}||d|j|j|j|jfS)NzFailed to get IR version.)rr#rrDrE)r>majorIRminorIRmajorDbgminorDbgrHrrrr9s  zNVVM.get_ir_versionFcCs4|rt|t|}|rt|tddS|dS)Nr )r RESULT_CODE_NAMESprintsysexit)r>errormsgrQexcrrrrDszNVVM.check_error)F)__name__ __module__ __qualname____doc__ nvvm_resultrr nvvm_programrrr+r&r(r@propertyrCrIr9rDrrrrrBs8        2  rc@sDeZdZddZddZddZddZd d Zd d Zd dZ dS)CompilationUnitcCs4t|_t|_|jt|j}|j|ddS)NzFailed to create CU)rr)rZ_handlerrrD)r>rHrrrr@szCompilationUnit.__init__cCs*t}|t|j}|j|ddddS)NzFailed to destroy CUT)rQ)rrrr]rD)r>r)rHrrr__del__szCompilationUnit.__del__cC*|j|j|t|d}|j|ddS)z Add a module level NVVM IR to a compilation unit. - The buffer should contain an NVVM module IR either in the bitcode representation (LLVM3.0) or in the text representation. NFailed to add module)r)rr]lenrDr>bufferrHrrr add_module zCompilationUnit.add_modulecCr_)z Lazily add an NVVM IR module to a compilation unit. The buffer should contain NVVM module IR either in the bitcode representation or in the text representation. Nr`)r)rr]rarDrbrrrlazy_add_modulerezCompilationUnit.lazy_add_modulec Ksxg}d|vr|dr|d|ddr|dd|vr)|d|d|dr8|d |dd }|D]}||vrXtt||}|d |d d |fq<|rldtt| }t d |t t |dd|D}|j|jt ||}||dt} |j|jt| }||dt| j} |j|j| }||d||_| ddS)aFPerform Compilation The valid compiler options are * - -g (enable generation of debugging information) * - -opt= * - 0 (disable optimizations) * - 3 (default, enable optimizations) * - -arch= * - compute_20 (default) * - compute_30 * - compute_35 * - -ftz= * - 0 (default, preserve denormal values, when performing * single-precision floating-point operations) * - 1 (flush denormal values to zero, when performing * single-precision floating-point operations) * - -prec-sqrt= * - 0 (use a faster approximation for single-precision * floating-point square root) * - 1 (default, use IEEE round-to-nearest mode for * single-precision floating-point square root) * - -prec-div= * - 0 (use a faster approximation for single-precision * floating-point division and reciprocals) * - 1 (default, use IEEE round-to-nearest mode for * single-precision floating-point division and reciprocals) * - -fma= * - 0 (disable FMA contraction) * - 1 (default, enable FMA contraction) * debugz-glineinfoFz-generate-line-infooptz-opt=%darchz-arch=%s)ftz prec_sqrtprec_divfmaz-%s=%d_-, zunsupported option {0}cSsg|] }t|dqS)utf8)rencode).0xrrr sz+CompilationUnit.compile..zFailed to compile z&Failed to get size of compiled result.zFailed to get compiled result.N)popappendgetintboolreplacejoinmapreprkeysr formatrrar)rr] _try_errorrrrrrEr get_loglog) r>optionsopts other_optionskvoptstrc_optsrHreslenptxbufrrrcompiles@#           zCompilationUnit.compilecCs|j|d||fdS)Nz%s %s)r)rDr)r>rHrSrrrr.szCompilationUnit._try_errorcCslt}|j|jt|}|j|d|jdkr4t|j}|j|j|}|j|d|j dSdS)Nz#Failed to get compilation log size.r zFailed to get compilation log.rr) rr)r!r]rrDrErr"decode)r>rrHlogbufrrrr1s   zCompilationUnit.get_logN) rUrVrWr@r^rdrfrrrrrrrr\s  W r\ze-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v16:16:16-v32:32:32-v64:64:64-v128:128:128-n16:32:64cCstrtSz ddlm}|}Wnd}Y|dd|d}d|dd}|dkr2d atS|d kr:d atS|d krBd atS|d krJdatS|dkrRdatSd at|tS)Nr)runtime)rr.r z CUDA Toolkit z is unsupported by Numba - z%10.2 is the minimum required version.r) r8) rrrrrrr8rrrArrAr rAr8rrrr8rr) r) rrrrrrrrrrrr) rrrrrrrrrrrrrrA)rr)rrrrrrrrrrrrr)rr) _supported_ccnumba.cuda.cudadrv.runtimerrIwarningswarn)rcudart_versionctk_verunsupported_verrrrget_supported_ccsIs:     rcCstt}|s d}t|t|D]&\}}||kr|S||kr5|dkr-d||}t|||dSq|dS)z Given a compute capability, return the closest compute capability supported by the CUDA toolkit. :param mycc: Compute capability as a tuple ``(MAJOR, MINOR)`` :return: Closest supported CC as a tuple ``(MAJOR, MINOR)`` zmNo supported GPU compute capabilities found. Please check your cudatoolkit version matches your CUDA version.rz?GPU compute capability %d.%d is not supported(requires >=%d.%d)r )rr enumerate)mycc supported_ccrSiccrrrfind_closest_arch{s  rcCs(tjr tj}d|St||f}d|S)z1Matches with the closest architecture option z compute_%d%d)r FORCE_CUDA_CCr)rFrGrjrrrget_arch_options  rz~Missing libdevice file. Please ensure you have package cudatoolkit >= 10.2 Install package by: conda install cudatoolkit c@s eZdZdZddZddZdS) LibDeviceNcCs0|jdurtdurttt|_|j|_dSN)_cache_r RuntimeErrorMISSING_LIBDEVICE_FILE_MSGrbcrBrrrr@s   zLibDevice.__init__cCs|jSr)rrBrrrrysz LibDevice.get)rUrVrWrr@ryrrrrrs rz define internal {T} @___numba_atomic_{T}_cas_hack({T}* %ptr, {T} %cmp, {T} %val) alwaysinline {{ %out = cmpxchg volatile {T}* %ptr, {T} %cmp, {T} %val monotonic ret {T} %out }} z %cas_success = cmpxchg volatile {Ti}* %iptr, {Ti} %old, {Ti} %new monotonic monotonic %cas = extractvalue {{ {Ti}, i1 }} %cas_success, 0 zI %cas = cmpxchg volatile {Ti}* %iptr, {Ti} %old, {Ti} %new monotonic a define internal {T} @___numba_atomic_{T}_{FUNC}({T}* %ptr, {T} %val) alwaysinline {{ entry: %iptr = bitcast {T}* %ptr to {Ti}* %old2 = load volatile {Ti}, {Ti}* %iptr br label %attempt attempt: %old = phi {Ti} [ %old2, %entry ], [ %cas, %attempt ] %dold = bitcast {Ti} %old to {T} %dnew = {OP} {T} %dold, %val %new = bitcast {T} %dnew to {Ti} {CAS} %repeat = icmp ne {Ti} %cas, %old br i1 %repeat, label %attempt, label %done done: %result = bitcast {Ti} %old to {T} ret {T} %result }} a define internal {T} @___numba_atomic_{Tu}_inc({T}* %iptr, {T} %val) alwaysinline {{ entry: %old2 = load volatile {T}, {T}* %iptr br label %attempt attempt: %old = phi {T} [ %old2, %entry ], [ %cas, %attempt ] %bndchk = icmp ult {T} %old, %val %inc = add {T} %old, 1 %new = select i1 %bndchk, {T} %inc, {T} 0 {CAS} %repeat = icmp ne {T} %cas, %old br i1 %repeat, label %attempt, label %done done: ret {T} %old }} a define internal {T} @___numba_atomic_{Tu}_dec({T}* %iptr, {T} %val) alwaysinline {{ entry: %old2 = load volatile {T}, {T}* %iptr br label %attempt attempt: %old = phi {T} [ %old2, %entry ], [ %cas, %attempt ] %dec = add {T} %old, -1 %bndchk = icmp ult {T} %dec, %val %new = select i1 %bndchk, {T} %dec, {T} %val {CAS} %repeat = icmp ne {T} %cas, %old br i1 %repeat, label %attempt, label %done done: ret {T} %old }} a define internal {T} @___numba_atomic_{T}_{NAN}{FUNC}({T}* %ptr, {T} %val) alwaysinline {{ entry: %ptrval = load volatile {T}, {T}* %ptr ; Return early when: ; - For nanmin / nanmax when val is a NaN ; - For min / max when val or ptr is a NaN %early_return = fcmp uno {T} %val, %{PTR_OR_VAL}val br i1 %early_return, label %done, label %lt_check lt_check: %dold = phi {T} [ %ptrval, %entry ], [ %dcas, %attempt ] ; Continue attempts if dold less or greater than val (depending on whether min or max) ; or if dold is NaN (for nanmin / nanmax) %cmp = fcmp {OP} {T} %dold, %val br i1 %cmp, label %attempt, label %done attempt: ; Attempt to swap in the value %old = bitcast {T} %dold to {Ti} %iptr = bitcast {T}* %ptr to {Ti}* %new = bitcast {T} %val to {Ti} {CAS} %dcas = bitcast {Ti} %cas to {T} br label %lt_check done: ret {T} %ptrval }} cCs tjr tj|dStj|dS)NTi)rrC cas_nvvm70r cas_nvvm34rrrrir_cas/s  rcCs&t||||t|d}tjdi|S)N)TrOPFUNCCASr)dictrir_numba_atomic_binary_templater)rrrrparamsrrrir_numba_atomic_binary6src Cs*t||||||t|d}tjdi|S)N)rrNANr PTR_OR_VALrrr)rrir_numba_atomic_minmax_templater)rrrrrrrrrrir_numba_atomic_minmax;s rcCtj||t|dSN)rTur)ir_numba_atomic_inc_templaterrrrrrrir_numba_atomic_incBrcCrr)ir_numba_atomic_dec_templaterrrrrrir_numba_atomic_decFrrcCsD|}t|D]\}}|drd}|t||<nqd|S)z@ Find the line containing the datalayout and replace it ztarget datalayoutztarget datalayout = "{0}" ) splitlinesr startswithr data_layoutr})llvmirlinesrlntmprrr_replace_datalayoutJs  rcCsdtdddddfdtdd d d dfd tddd d dfd tdddfdtdddfdtdd dddddfdtdddddddfdtdd dddddfdtdddddddfdtdd dddddfdtdddddddfd tdd dd!dddfd"tdddd!dddfd#g}tjs|d$tjd d%fd&tjdd%fg7}t|}|D] \}}| ||}q| d'd(}tjrt |}|St |}|S))NzIdeclare double @"___numba_atomic_double_add"(double* %".1", double %".2")doublei64faddadd)rrrrzEdeclare float @"___numba_atomic_float_sub"(float* %".1", float %".2")floati32fsubsubzIdeclare double @"___numba_atomic_double_sub"(double* %".1", double %".2")z=declare i64 @"___numba_atomic_u64_inc"(i64* %".1", i64 %".2")u64rz=declare i64 @"___numba_atomic_u64_dec"(i64* %".1", i64 %".2")zEdeclare float @"___numba_atomic_float_max"(float* %".1", float %".2")rznnan oltptrmax)rrrrrrzIdeclare double @"___numba_atomic_double_max"(double* %".1", double %".2")zEdeclare float @"___numba_atomic_float_min"(float* %".1", float %".2")znnan ogtminzIdeclare double @"___numba_atomic_double_min"(double* %".1", double %".2")zHdeclare float @"___numba_atomic_float_nanmax"(float* %".1", float %".2")nanultzLdeclare double @"___numba_atomic_double_nanmax"(double* %".1", double %".2")zHdeclare float @"___numba_atomic_float_nanmin"(float* %".1", float %".2")ugtzLdeclare double @"___numba_atomic_double_nanmin"(double* %".1", double %".2"))immargrzMdeclare i32 @"___numba_atomic_i32_cas_hack"(i32* %".1", i32 %".2", i32 %".3"))rzMdeclare i64 @"___numba_atomic_i64_cas_hack"(i64* %".1", i64 %".2", i64 %".3")zllvm.numba_nvvm.atomiczllvm.nvvm.atomic) rrrrrrCir_numba_cas_hackrrr|llvm100_to_70_irllvm100_to_34_ir)r replacementsdeclfnrrr llvm_replaceWs          &    rcKs|t|tr|g}|ddr|dddddt}t}|D]}t|}||dq | | |j di|S)NfastmathFT)rkrnrmrlrrr) isinstancestrrwupdater\rrrdrsrfryr)rrcu libdevicemodrrr llvm_to_ptxs  rz \!\d+\s*=zmetadata\s*\![{'\"0-9]z\!\d+z,\!{i32 \d, \!\"Debug Info Version\", i32 \d} z\s+z"^attributes #\d+ = \{ ([\w\s]+)\ }> coldminsizeoptiszeoptnonenoinlinenoreturnnounwindreadnonereadonly inlinehint noduplicate alwaysinlinez"\bgetelementptr\s(?:inbounds )?\(?z=\s*\bload\s(?:\bvolatile\s)?z(call\s[^@]+\))(\s@)z\s*!range\s+!\d+z [,{}()[\]]z \bnonnull\bz"\b(local_unnamed_addr|writeonly)\bz\((.*)\)zspFlags: (.*), isDefinition isOptimized)DISPFlagDefinitionDISPFlagOptimizedcCsng}|D]+}|dr,t|}|d}ddd|D}||d|}||qd|S)z, Convert LLVM 10.0 IR for LLVM 7.0. attributes #r rcss|] }|dkr|VqdS) willreturnNrrtarrr z#llvm100_to_70_ir..r) rrre_attributes_defmatchgroupsplitr}r|rx)r buflinemattrsrrrrs     rc Cs@dd}g}|D]}|dr|dd}|dr)d|vr)|dd}t|rfdt|urf|d d }|d d }|d }|d|d||dd}}dd}d |t ||f}|drlq t |dur{t dd|}|drt |}|d} d dd| D} ||d| }d|vrt|}|durtd|f|} |d| ||| d}d|vrt|}|r|} |d| ||| d}d|vrt d|}t d|d}d|vrt t|}d |vrd|vrt t|}t d|}||q d! |S)"z, Convert LLVM 10.0 IR for LLVM 3.4. cSsd}d} t||}|durtd|f|}|d}|dkr)|dkr(nn|dvr2|d7}n|dvr:|d8}q||dS)NrTzfailed parsing leading type: %s,z{[(r z)]}) re_type_toksearchrendrlstrip)s par_levelposrtokrrrparse_out_leading_types$   z0llvm100_to_34_ir..parse_out_leading_typez!numba.llvm.dbg.cuz !llvm.dbg.cuz%tail call void asm sideeffect "// dbgz !numba.dbgz!dbgNz!{z metadata !{z!"z metadata !"=r cSsd|dS)Nz metadata r)rrrrrfix_metadata_refsz*llvm100_to_34_ir..fix_metadata_refrzsource_filename =cSsdS)Nrrr(rrr sz"llvm100_to_34_ir..rcss|] }|tvr|VqdSr)supported_attributesrrrrr&rz#llvm100_to_34_ir..zgetelementptr z failed parsing getelementptr: %szload zcall z\1*\2rrz @llvm.memsetdeclarer)rrr|r!re_metadata_defrre_metadata_correct_usagerfindr}re_metadata_refrre_unsupported_keywordsrrrre_getelementptrrr re_loadre_callre_rangerstripre_parenthesized_list_replace_llvm_memset_usage _replace_llvm_memset_declarationre_annotationsrx) r r&rrassigposlhsrhsr)rrr$rrrrsp       "            rcCs`t|dd}td|d}|std|d}|dd|d|}d |S) zNReplace `llvm.memset` usage for llvm7+. Used as functor for `re.sub. r rz align (\d+)rz+No alignment attribute found on memset destrzi32 {}rq({})) listrrrer ValueErrorinsertrr})rr align_attralignoutrrrr8Ss   r8cCs4t|dd}|ddd|}d|S)zTReplace `llvm.memset` declaration for llvm7+. Used as functor for `re.sub. r rrrrqr>)r?rrrBr}r)rrrErrrr9cs   r9cCsN|j}t|d}ttdd}||||f}t|d}||dS)Nkernel r znvvm.annotations) moduler MetaDataStringConstantIntType add_metadatarget_or_insert_named_metadatar)lfuncrmdstrmdvaluemdnmdrrrset_cuda_kernelns   rScCsftd}tjr|d|d|d|dg}n|d|d|d|dg}||}|d|dS) zAdd NVVM IR version to modulerGr rArrr8znvvmir.versionN)r rKrrCrLadd_named_metadata)rrr?md_verrrradd_ir_versionys  rVcCs t|_dSr)r)rHrrrfix_data_layouts rW)arXloggingr@rPrctypesrrrrrrr threadingllvmliter rRr r libsr rr numba.corerr getLoggerrUloggerADDRSPACE_GENERICADDRSPACE_GLOBALADDRSPACE_SHAREDADDRSPACE_CONSTANTADDRSPACE_LOCALrZrYrrNrrrr0modulesrLockr%r'rr\rrrrrrrrrrrrrrrrrrrrrrrr-r.r0debuginfo_patternr|re_metadata_debuginforr+r2r3r4r5rr:r1r7 re_spflags spflagmaprrr8r9rSrVrWrrrrs$     u 2"   E             k