Function diff

compiler/test/kernel/common/src/checker.cpp:80–82

    return res;
}
static inline float diff(float x, float y) {
    return x - y;
}
static inline int diff(int x, int y) {
    return x - y;
}