diff options
Diffstat (limited to 'asmcomp/schedgen.mli')
| -rw-r--r-- | asmcomp/schedgen.mli | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/asmcomp/schedgen.mli b/asmcomp/schedgen.mli index bc3f798dad..3f2ea61f36 100644 --- a/asmcomp/schedgen.mli +++ b/asmcomp/schedgen.mli @@ -37,9 +37,10 @@ class virtual scheduler_generic : object method oper_in_basic_block : Mach.operation -> bool (* Says whether the given operation terminates a basic block *) method is_store : Mach.operation -> bool - (* Says whether the given operation is a memory store *) + (* Says whether the given operation is a memory store + or an atomic load. *) method is_load : Mach.operation -> bool - (* Says whether the given operation is a memory load *) + (* Says whether the given operation is a non-atomic memory load *) method is_checkbound : Mach.operation -> bool (* Says whether the given operation is a checkbound *) (* Entry point *) |