| /dports/lang/racket/racket-8.3/src/expander/common/ |
| H A D | phase+space.rkt | 24 ;; phase and space or a phase shift and a space shift:
42 phase+space-shift?
43 intern-phase+space-shift
45 phase+space-shift-phase-level
46 phase+space-shift-space-level ; '#:none => no delta
50 phase+space-shift?-string
59 ;; used for both phase+space and phase+space-shift
82 (define intern-phase+space-shift
88 [(phase+space-shift)
89 (intern phase+space-shift)]))
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/common/ |
| H A D | phase+space.rkt | 24 ;; phase and space or a phase shift and a space shift:
42 phase+space-shift?
43 intern-phase+space-shift
45 phase+space-shift-phase-level
46 phase+space-shift-space-level ; '#:none => no delta
50 phase+space-shift?-string
59 ;; used for both phase+space and phase+space-shift
82 (define intern-phase+space-shift
88 [(phase+space-shift)
89 (intern phase+space-shift)]))
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/racket-doc/scribblings/reference/ |
| H A D | phase+space.scrbl | 19 a phase--space combination (or phase--space shift combination), then
57 @defproc[(phase+space [phase phase?] [space space?]) phase+space?]{
64 @defproc[(phase+space-phase [p+s phase+space?]) phase?]
65 @defproc[(phase+space-space [p+s phase+space?]) phase?]
72 @defproc[(phase+space-shift? [v any/c]) boolean?]{
75 @tech{phase level} shift and @tech{binding space} shift combination,
78 space using @racket[phase+shift+]. The possible representations of a
91 @racket[space?]) --- represents a phase level shift in the
97 @defproc[(phase+space+ [p+s phase+space?] [shift phase+space-shift?])
103 @defproc[(phase+space-shift+ [shift phase+space?] [additional-shift phase+space-shift?])
[all …]
|
| H A D | stx-comp.scrbl | 107 phase+space-shift?
108 phase+space?)
124 _nominal-from-mod _nominal-from-sym _from-phase _import-phase+space-shift
171 @item{@racket[_import-phase+space-shift] is @racket[0] if the binding
220 phase+space-shift?
221 phase+space?))]{
235 phase+space?
236 phase+space-shift?
237 phase+space?))]{
252 phase+space-shift?
[all …]
|
| /dports/lang/racket/racket-8.3/collects/racket/ |
| H A D | phase+space.rkt | 8 phase+space-shift?
10 phase+space-space
12 phase+space-shift+)
51 (define-values (phase+space-shift?)
85 (if (phase+space-shift? s)
87 (raise-argument-error 'phase+space+ "phase+space-shift?" s))))
97 (define-values (phase+space-shift+)
102 (if (phase+space-shift? s1)
104 (raise-argument-error 'phase+space+ "phase+space-shift?" s1))
105 (if (phase+space-shift? s2)
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/ |
| H A D | phase+space.rkt | 8 phase+space-shift?
10 phase+space-space
12 phase+space-shift+)
51 (define-values (phase+space-shift?)
85 (if (phase+space-shift? s)
87 (raise-argument-error 'phase+space+ "phase+space-shift?" s))))
97 (define-values (phase+space-shift+)
102 (if (phase+space-shift? s1)
104 (raise-argument-error 'phase+space+ "phase+space-shift?" s1))
105 (if (phase+space-shift? s2)
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/syntax/ |
| H A D | module-binding.rkt | 16 module-binding-nominal-require-phase+space-shift
29 … #:nominal-require-phase+space-shift [nominal-require-phase+space-shift 0]
40 (eqv? nominal-require-phase+space-shift 0)
46 nominal-require-phase+space-shift
59 …#:nominal-require-phase+space-shift [nominal-require-phase+space-shift (module-binding-nominal-req…
68 #:nominal-require-phase+space-shift nominal-require-phase+space-shift
82 nominal-require-phase+space-shift
127 nominal-require-phase+space-shift
135 … #:nominal-require-phase+space-shift (intern-phase+space-shift nominal-require-phase+space-shift)
175 (define (module-binding-nominal-require-phase+space-shift b)
[all …]
|
| H A D | binding-set.rkt | 5 "../common/phase+space.rkt")
13 (struct bind (sym phase binding))
15 (define (syntax-binding-set-extend bs as-sym as-phase mpi
16 sym phase
17 nominal-mpi nominal-phase+space nominal-sym
18 nominal-require-phase+space-shift
23 as-phase
24 (make-module-binding mpi phase sym
27 #:nominal-phase+space nominal-phase+space
29 … #:nominal-require-phase+space-shift nominal-require-phase+space-shift))
[all …]
|
| H A D | api.rkt | 3 "../common/phase+space.rkt"
16 [syntax-shift-phase-level raw:syntax-shift-phase-level])
66 syntax-shift-phase-level
119 [nominal-phase+space phase]
121 [nominal-require-phase+space-shift 0]
130 (check who phase+space? #:contract phase+space?-string nominal-phase+space)
132 …(check who phase+space-shift? #:contract phase+space-shift?-string nominal-require-phase+space-shi…
136 nominal-mpi (intern-phase+space nominal-phase+space) nominal-sym
137 (intern-phase+space-shift nominal-require-phase+space-shift)
220 (define/who (syntax-shift-phase-level s phase)
[all …]
|
| H A D | bulk-binding.rkt | 7 "../common/phase+space.rkt"
50 #:provide-phase+space provide-phase+space
51 #:phase+space-shift phase+space-shift)
57 #:nominal-phase+space provide-phase+space
59 #:nominal-require-phase+space-shift phase+space-shift
82 provide-phase+space ; providing module's import phase and space
83 phase+space-shift ; providing module's instantiation phase and space level
129 #:provide-phase+space (bulk-binding-provide-phase+space b)
130 #:phase+space-shift (bulk-binding-phase+space-shift b)))
149 (ser-push! (bulk-binding-phase+space-shift b))
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/syntax/ |
| H A D | module-binding.rkt | 16 module-binding-nominal-require-phase+space-shift
29 … #:nominal-require-phase+space-shift [nominal-require-phase+space-shift 0]
40 (eqv? nominal-require-phase+space-shift 0)
46 nominal-require-phase+space-shift
59 …#:nominal-require-phase+space-shift [nominal-require-phase+space-shift (module-binding-nominal-req…
68 #:nominal-require-phase+space-shift nominal-require-phase+space-shift
82 nominal-require-phase+space-shift
127 nominal-require-phase+space-shift
135 … #:nominal-require-phase+space-shift (intern-phase+space-shift nominal-require-phase+space-shift)
175 (define (module-binding-nominal-require-phase+space-shift b)
[all …]
|
| H A D | binding-set.rkt | 5 "../common/phase+space.rkt")
13 (struct bind (sym phase binding))
15 (define (syntax-binding-set-extend bs as-sym as-phase mpi
16 sym phase
17 nominal-mpi nominal-phase+space nominal-sym
18 nominal-require-phase+space-shift
23 as-phase
24 (make-module-binding mpi phase sym
27 #:nominal-phase+space nominal-phase+space
29 … #:nominal-require-phase+space-shift nominal-require-phase+space-shift))
[all …]
|
| H A D | api.rkt | 3 "../common/phase+space.rkt"
16 [syntax-shift-phase-level raw:syntax-shift-phase-level])
66 syntax-shift-phase-level
119 [nominal-phase+space phase]
121 [nominal-require-phase+space-shift 0]
130 (check who phase+space? #:contract phase+space?-string nominal-phase+space)
132 …(check who phase+space-shift? #:contract phase+space-shift?-string nominal-require-phase+space-shi…
136 nominal-mpi (intern-phase+space nominal-phase+space) nominal-sym
137 (intern-phase+space-shift nominal-require-phase+space-shift)
220 (define/who (syntax-shift-phase-level s phase)
[all …]
|
| H A D | bulk-binding.rkt | 7 "../common/phase+space.rkt"
50 #:provide-phase+space provide-phase+space
51 #:phase+space-shift phase+space-shift)
57 #:nominal-phase+space provide-phase+space
59 #:nominal-require-phase+space-shift phase+space-shift
82 provide-phase+space ; providing module's import phase and space
83 phase+space-shift ; providing module's instantiation phase and space level
129 #:provide-phase+space (bulk-binding-provide-phase+space b)
130 #:phase+space-shift (bulk-binding-phase+space-shift b)))
149 (ser-push! (bulk-binding-phase+space-shift b))
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/expander/expand/ |
| H A D | require.rkt | 48 [phase-shift phase-shift] ; this really should be called `phase-level` everywhere
72 (phase+ phase-shift p)
222 #:phase-shift phase-shift
263 #:phase-shift phase-shift
291 … (add-required-module! requires+provides mpi (intern-phase+space-shift phase-shift space-level)
316 bind-in-stx phase-shift space-level m-ns interned-mpi module-name
440 (define (bind-all-provides! m in-stx phase-shift space-level ns mpi module-name
454 (define phase+space-shift (intern-phase+space-shift phase-shift space-level))
460 (define phase+space (phase+space+ provide-phase+space phase+space-shift))
477 #:phase+space-shift phase+space-shift))
[all …]
|
| H A D | require+provide.rkt | 123 (phase+space-shift-phase-level phase+space-shift)
128 phase+space-shift
145 … #:nominal-require-phase+space-shift (module-binding-nominal-require-phase+space-shift binding)
154 … #:nominal-require-phase+space-shift nominal-require-phase+space-shift
236 (define phase+space (phase+space+ (bulk-required-provide-phase+space br) phase+space-shift))
255 (for* ([(phase+space-shift at-phase) (in-hash at-mod)]
286 (define nominal-phase+space-shift (module-binding-nominal-require-phase+space-shift b))
423 (define nominal-phase+space-shift (module-binding-nominal-require-phase+space-shift b))
468 (define nominal-phase+space-shift (module-binding-nominal-require-phase+space-shift b))
523 [phase+space-shift (in-list (if (eq? phase+space-shift 'all)
[all …]
|
| H A D | provide.rkt | 219 (define b (resolve+shift/extra-inspector (add-space-scope spec at-space) at-phase ns))
223 …(when (same-binding? b (resolve+shift/extra-inspector (remove-space-scope spec at-space) at-phase …
226 (define immed-b (resolve+shift spec at-phase #:immediate? #t))
260 (define at-phase+space-shift (intern-phase+space-shift at-phase at-space-level))
261 (define requireds (extract-module-requires rp mpi at-phase+space-shift))
282 (define at-phase+space (phase+space+ 0 at-phase+space-shift))
289 (define phase (phase+space-phase phase+space))
290 (define space (phase+space-space phase+space))
301 (define b (resolve+shift/extra-inspector id phase ns))
302 (define immed-b (resolve+shift id phase #:immediate? #t))
[all …]
|
| H A D | syntax-local.rkt | 6 "../common/phase+space.rkt"
300 #:shift-wrap [shift-wrap (lambda (s phase lift-ctx) s)]
312 …(define shift-s (for/fold ([s pre-s]) ([phase (in-range phase wrt-phase -1)]) ; shift from lift-co…
387 (syntax-shift-phase-level core-stx phase)
401 (define/who (syntax-local-module-required-identifiers mod-path phase+space-shift)
404 (unless (or (eq? phase+space-shift #t) (phase+space-shift? phase+space-shift))
405 (raise-argument-error who (format "(or/c ~a #t)" phase+space-shift?-string) phase+space-shift))
415 … (if (eq? phase+space-shift #t) 'all (intern-phase+space-shift phase+space-shift))))
417 (for/list ([(phase+space-shift ids) (in-hash (requireds->phase-ht requireds))])
418 (cons phase+space-shift ids))))
[all …]
|
| /dports/lang/racket/racket-8.3/src/expander/expand/ |
| H A D | require.rkt | 48 [phase-shift phase-shift] ; this really should be called `phase-level` everywhere
72 (phase+ phase-shift p)
222 #:phase-shift phase-shift
263 #:phase-shift phase-shift
291 … (add-required-module! requires+provides mpi (intern-phase+space-shift phase-shift space-level)
316 bind-in-stx phase-shift space-level m-ns interned-mpi module-name
440 (define (bind-all-provides! m in-stx phase-shift space-level ns mpi module-name
454 (define phase+space-shift (intern-phase+space-shift phase-shift space-level))
460 (define phase+space (phase+space+ provide-phase+space phase+space-shift))
477 #:phase+space-shift phase+space-shift))
[all …]
|
| H A D | require+provide.rkt | 123 (phase+space-shift-phase-level phase+space-shift)
128 phase+space-shift
145 … #:nominal-require-phase+space-shift (module-binding-nominal-require-phase+space-shift binding)
154 … #:nominal-require-phase+space-shift nominal-require-phase+space-shift
236 (define phase+space (phase+space+ (bulk-required-provide-phase+space br) phase+space-shift))
255 (for* ([(phase+space-shift at-phase) (in-hash at-mod)]
286 (define nominal-phase+space-shift (module-binding-nominal-require-phase+space-shift b))
423 (define nominal-phase+space-shift (module-binding-nominal-require-phase+space-shift b))
468 (define nominal-phase+space-shift (module-binding-nominal-require-phase+space-shift b))
523 [phase+space-shift (in-list (if (eq? phase+space-shift 'all)
[all …]
|
| H A D | provide.rkt | 219 (define b (resolve+shift/extra-inspector (add-space-scope spec at-space) at-phase ns))
223 …(when (same-binding? b (resolve+shift/extra-inspector (remove-space-scope spec at-space) at-phase …
226 (define immed-b (resolve+shift spec at-phase #:immediate? #t))
260 (define at-phase+space-shift (intern-phase+space-shift at-phase at-space-level))
261 (define requireds (extract-module-requires rp mpi at-phase+space-shift))
282 (define at-phase+space (phase+space+ 0 at-phase+space-shift))
289 (define phase (phase+space-phase phase+space))
290 (define space (phase+space-space phase+space))
301 (define b (resolve+shift/extra-inspector id phase ns))
302 (define immed-b (resolve+shift id phase #:immediate? #t))
[all …]
|
| H A D | syntax-local.rkt | 6 "../common/phase+space.rkt"
300 #:shift-wrap [shift-wrap (lambda (s phase lift-ctx) s)]
312 …(define shift-s (for/fold ([s pre-s]) ([phase (in-range phase wrt-phase -1)]) ; shift from lift-co…
387 (syntax-shift-phase-level core-stx phase)
401 (define/who (syntax-local-module-required-identifiers mod-path phase+space-shift)
404 (unless (or (eq? phase+space-shift #t) (phase+space-shift? phase+space-shift))
405 (raise-argument-error who (format "(or/c ~a #t)" phase+space-shift?-string) phase+space-shift))
415 … (if (eq? phase+space-shift #t) 'all (intern-phase+space-shift phase+space-shift))))
417 (for/list ([(phase+space-shift ids) (in-hash (requireds->phase-ht requireds))])
418 (cons phase+space-shift ids))))
[all …]
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/polly/lib/External/ppcg/ |
| H A D | hybrid.c | 794 isl_multi_aff *shift; in compute_shift_phase() local
797 shift = isl_multi_aff_multi_val_on_space(space, in compute_shift_phase()
799 space = isl_multi_aff_get_space(shift); in compute_shift_phase()
800 shift = isl_multi_aff_add(shift, isl_multi_aff_identity(space)); in compute_shift_phase()
802 return shift; in compute_shift_phase()
1417 phase->domain = isl_set_align_params(phase->domain, space); in phase_align_params()
1510 space = ppcg_ht_phase_get_input_space(phase); in compute_space_shift()
1554 space = ppcg_ht_phase_get_input_space(phase); in compute_space_tile()
1583 __isl_keep ppcg_ht_tiling *tiling, int shift) in ppcg_ht_tiling_compute_phase() argument
1588 if (shift) in ppcg_ht_tiling_compute_phase()
[all …]
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/polly/lib/External/ppcg/ |
| H A D | hybrid.c | 794 isl_multi_aff *shift; in compute_shift_phase() local
797 shift = isl_multi_aff_multi_val_on_space(space, in compute_shift_phase()
799 space = isl_multi_aff_get_space(shift); in compute_shift_phase()
800 shift = isl_multi_aff_add(shift, isl_multi_aff_identity(space)); in compute_shift_phase()
802 return shift; in compute_shift_phase()
1417 phase->domain = isl_set_align_params(phase->domain, space); in phase_align_params()
1510 space = ppcg_ht_phase_get_input_space(phase); in compute_space_shift()
1554 space = ppcg_ht_phase_get_input_space(phase); in compute_space_tile()
1583 __isl_keep ppcg_ht_tiling *tiling, int shift) in ppcg_ht_tiling_compute_phase() argument
1588 if (shift) in ppcg_ht_tiling_compute_phase()
[all …]
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/polly/lib/External/ppcg/ |
| H A D | hybrid.c | 794 isl_multi_aff *shift; in compute_shift_phase() local
797 shift = isl_multi_aff_multi_val_on_space(space, in compute_shift_phase()
799 space = isl_multi_aff_get_space(shift); in compute_shift_phase()
800 shift = isl_multi_aff_add(shift, isl_multi_aff_identity(space)); in compute_shift_phase()
802 return shift; in compute_shift_phase()
1417 phase->domain = isl_set_align_params(phase->domain, space); in phase_align_params()
1510 space = ppcg_ht_phase_get_input_space(phase); in compute_space_shift()
1554 space = ppcg_ht_phase_get_input_space(phase); in compute_space_tile()
1583 __isl_keep ppcg_ht_tiling *tiling, int shift) in ppcg_ht_tiling_compute_phase() argument
1588 if (shift) in ppcg_ht_tiling_compute_phase()
[all …]
|