package diffast-langs-fortran-parsing

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Xlist = Diffast_misc.Xlist
type num_or_name =
  1. | NNnum of int
  2. | NNname of Label_common.name
val num_or_name_to_string : num_or_name -> Label_common.name
type align =
  1. | Aaligned
  2. | Aunaligned
val align_to_string : align -> string
type prefetch_spec =
  1. | Pauto
  2. | Psoft
val prefetch_spec_to_string : prefetch_spec -> string
type listv_scope =
  1. | Sall
  2. | Sthen
  3. | Selse
val listv_scope_to_string : listv_scope -> string
type 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
val lv_opt_st_opt_to_string : num_or_name option -> int option -> string
val lv_opt_st_opt_to_string_simple : num_or_name option -> int option -> string
val to_string : t -> string
val to_simple_string : t -> string
val to_tag : t -> string * (string * Label_common.name) list
val get_names : t -> Label_common.name list
val get_names_opt : t -> Label_common.name list option
exception Bad_ocl
val ocl_tuple_to_n_opt_names : (num_or_name option * num_or_name list) -> Label_common.name option * Label_common.name list
val ocl_tuple_to_names : (num_or_name option * num_or_name list) -> Label_common.name list
val ocl_tuple_to_name : (num_or_name option * num_or_name list) -> Label_common.name
val ocl_tuple_opt_to_names : (num_or_name option * num_or_name list) option -> Label_common.name list
val ocl_tuple_to_nums : ('a * num_or_name list) -> int list
val ocl_tuple_to_nn : ('a * 'b list) -> 'b
val ocl_tuple_to_num : ('a * num_or_name list) -> int
val ocl_tuple_opt_to_num_opt : ('a * num_or_name list) option -> int option
val is_specification_part : t -> bool
val is_execution_part : t -> bool
val anonymize : t -> t
OCaml

Innovation. Community. Security.