define void @f1(i32* %a, i32 %b, i32 %c)
{
    %d = alloca i32
    store i32 %b, i32* %d
    br label %l2

    l2:
    %t1 = load i32* %d
    %c1 = icmp sge i32 %t1, %c
    br i1 %c1, label %koniec, label %body

    body:
    %t2 = load i32, i32* %d
    %tad = getelementptr i32, i32* %a, i32 %t2
    %t3 = load i32, i32* %tad

    %t4 = add i32 1, %t2
    %tad1 = getelementptr i32, i32* %a, i32 %t4
    %t6 = load i32, i32* %tad1

    %c2 = icmp sle i32 %t3, %t6

    br i1 %c2, label %less, label %skip

    less:
    %t9 = sub i32 %t6, %t3
    store i32 %t9, i32* %tad1
    br label %less


    skip:
    %t7 = load i32, i32* %d
    %t8 = add i32 1, %t7
    store i32 %t8, i32* %d
    br label %l2

    koniec:
    ret void

}