- 01
 - 02
 - 03
 - 04
 - 05
 - 06
 - 07
 - 08
 - 09
 - 10
 - 11
 - 12
 - 13
 - 14
 - 15
 - 16
 - 17
 - 18
 - 19
 - 20
 - 21
 - 22
 - 23
 - 24
 - 25
 - 26
 - 27
 - 28
 - 29
 - 30
 - 31
 - 32
 - 33
 - 34
 - 35
 - 36
 - 37
 - 38
 - 39
 - 40
 - 41
 - 42
 - 43
 - 44
 - 45
 
                        typedef unsigned int uint;
uint inc(uint i) {
    return i+1;
}
uint dec(uint i) {
    return i-1;
}
uint add(uint a, uint b) {
    return 0==b ? a : add(inc(a),dec(b));
}
inline uint _mul(uint a, uint b, uint r) {
    return 0==b ? r : _mul(a,b-1,r+a);
}
uint mul(uint a, uint b) {
    return _mul(a,b,0);
}
uint dec_mul(uint a, uint b, uint r) {
    return 0==b ? r : dec_mul(a,dec(b),r+a);
}
//gcc 7 здесь сходит с ума на O3, шланг невозмутимо ставит  imul    edi, esi
uint crazy_mul(uint a, uint b, uint r) {
    return 0==b ? r : crazy_mul(a,dec(b),add(r,a));
}
//арифметическая прогрессия. 
inline uint _sum(uint a,uint s) {
    return a==0 ? s :_sum(a-1,s+a);
}
//gcc: сложна нипанятна
uint sum(uint a) {
    return _sum(a,0);
}
//шланг:
//        imul    rcx, rax
//        shr     rcx
uint sum1(uint a) {
    uint s=0;
    for (int i=0;i<a;++i){
        s+=i;
    }
    return s;
}
                                     
        
            Смотрим как компиляторы решают разные упоротые рекурентные задачки.
https://godbolt.org/g/4JZuPr