anchor.diff:            INTEGER(C_INT), INTENT(IN) :: lda, ldb, ldc
             REAL(C_FLOAT), INTENT(IN) :: alpha, beta
             INTEGER(C_INT), INTENT(IN) :: prefetch
  +          !DIR$ ATTRIBUTES OFFLOAD:MIC :: fn0, fn1
             PROCEDURE(LIBXSMM_XFUNCTION), POINTER :: fn1
             PROCEDURE(LIBXSMM_FUNCTION), POINTER :: fn0
             IF (LIBXSMM_PREFETCH_NONE.NE.prefetch) THEN
  
positive.code:           INTEGER(C_INT), INTENT(IN) :: lda, ldb, ldc
            REAL(C_DOUBLE), INTENT(IN) :: alpha, beta
            INTEGER(C_INT), INTENT(IN) :: prefetch
            PROCEDURE(LIBXSMM_XFUNCTION), POINTER :: fn1
            PROCEDURE(LIBXSMM_FUNCTION), POINTER :: fn0
            IF (LIBXSMM_PREFETCH_NONE.NE.prefetch) THEN
  
negative.code:           INTEGER(C_INT), INTENT(IN), OPTIONAL :: ldb
            INTEGER(C_INT), INTENT(IN), OPTIONAL :: ldc
            REAL(C_FLOAT), INTENT(IN), OPTIONAL :: alpha, beta
            !DIR$ ATTRIBUTES OFFLOAD:MIC :: function
            PROCEDURE(LIBXSMM_FUNCTION), POINTER :: function
            CALL C_F_PROCPOINTER(                                         &
       &      libxsmm_sdispatch0(flags, m, n, k,                          &
  