package diffast-langs-fortran-parsing

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Fortran_parsing.F_ocl_directiveSource

module Xlist = Diffast_misc.Xlist
Sourcetype num_or_name =
  1. | NNnum of int
  2. | NNname of Label_common.name
Sourceval num_or_name_to_string : num_or_name -> Label_common.name
Sourcetype align =
  1. | Aaligned
  2. | Aunaligned
Sourceval align_to_string : align -> string
Sourcetype prefetch_spec =
  1. | Pauto
  2. | Psoft
Sourceval prefetch_spec_to_string : prefetch_spec -> string
Sourcetype listv_scope =
  1. | Sall
  2. | Sthen
  3. | Selse
Sourceval listv_scope_to_string : listv_scope -> string
Sourcetype t =
  1. | ERROR
  2. | ArrayFusion
  3. | EndArrayFusion
  4. | ArrayMerge of Label_common.name option * Label_common.name list
  5. | ArraySubscript of Label_common.name list
  6. | Eval
  7. | Noeval
  8. | Fltld
  9. | Nofltld
  10. | FpRelaxed
  11. | NofpRelaxed
  12. | LoopInterchange of Label_common.name list
  13. | LoopNointerchange
  14. | Mfunc of int option
  15. | Nomfunc
  16. | Noarraypad of Label_common.name
  17. | LoopNofusion
  18. | Preex
  19. | Nopreex
  20. | Prefetch
  21. | Noprefetch
  22. | PrefetchCacheLevel of num_or_name
  23. | PrefetchInfer
  24. | PrefetchNoinfer
  25. | PrefetchIteration of int
  26. | PrefetchIterationL2 of int
  27. | PrefetchRead of num_or_name option * int option
  28. | PrefetchWrite of num_or_name option * int option
  29. | Striping of int option
  30. | Nostriping
  31. | Swp
  32. | Noswp
  33. | LoopBlocking of int
  34. | Unroll of int
  35. | UnrollFull
  36. | Nounroll
  37. | Novrec of Label_common.name list
  38. | Simd of align option
  39. | Nosimd
  40. | CacheSectorSize of int list
  41. | EndCacheSectorSize
  42. | CacheSubsectorAssign of Label_common.name list
  43. | EndCacheSubsector
  44. | FissionPoint of int option
  45. | LoopNofission
  46. | Xfill of int option
  47. | Noxfill
  48. | PrefetchSequential of prefetch_spec option
  49. | PrefetchStrong
  50. | PrefetchNostrong
  51. | PrefetchStrongL2
  52. | PrefetchNostrongL2
  53. | FpContract
  54. | NofpContract
  55. | LoopNoblocking
  56. | Norecurrence of Label_common.name list
  57. | Uxsimd of align option
  58. | Nouxsimd
  59. | ArrayPrivate
  60. | NoarrayPrivate
  61. | Independent of Label_common.name list
  62. | Noalias
  63. | Serial
  64. | Parallel
  65. | ParallelStrong
  66. | Reduction
  67. | Noreduction
  68. | Temp of Label_common.name list
  69. | RelOp of F_intrinsic_operator.t
  70. | LoopPartParallel
  71. | LoopNopartParallel
  72. | LoopPartSimd
  73. | LoopNopartSimd
  74. | Shortloop of int
  75. | Noshortloop
  76. | SimdListv of listv_scope option
  77. | Unswitching
  78. | FirstPrivate of Label_common.name list
  79. | LastPrivate of Label_common.name list
  80. | TempPrivate of Label_common.name list
  81. | ParallelCyclic of int option
Sourceval lv_opt_st_opt_to_string : num_or_name option -> int option -> string
Sourceval lv_opt_st_opt_to_string_simple : num_or_name option -> int option -> string
Sourceval to_string : t -> string
Sourceval to_simple_string : t -> string
Sourceval to_tag : t -> string * (string * Label_common.name) list
Sourceval get_names : t -> Label_common.name list
Sourceval get_names_opt : t -> Label_common.name list option
Sourceexception Bad_ocl
Sourceval ocl_tuple_to_n_opt_names : (num_or_name option * num_or_name list) -> Label_common.name option * Label_common.name list
Sourceval ocl_tuple_to_names : (num_or_name option * num_or_name list) -> Label_common.name list
Sourceval ocl_tuple_to_name : (num_or_name option * num_or_name list) -> Label_common.name
Sourceval ocl_tuple_opt_to_names : (num_or_name option * num_or_name list) option -> Label_common.name list
Sourceval ocl_tuple_to_nums : ('a * num_or_name list) -> int list
Sourceval ocl_tuple_to_nn : ('a * 'b list) -> 'b
Sourceval ocl_tuple_to_num : ('a * num_or_name list) -> int
Sourceval ocl_tuple_opt_to_num_opt : ('a * num_or_name list) option -> int option
Sourceval is_specification_part : t -> bool
Sourceval is_execution_part : t -> bool
Sourceval anonymize : t -> t