void unbounded_knapsack(int f[], int c, int w, int v) {
  int i;
  for (i = w; i <= c; ++i) {
    int t = f[i - w] + v;
    if (f[i] < t)
      f[i] = t;
  }
}


x86 assembly (clang, -O0):
<unbounded_knapsack>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     116e <unbounded_knapsack+0x6e>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    -0x10(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jge    115b <unbounded_knapsack+0x5b>
mov    -0x1c(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1160 <unbounded_knapsack+0x60>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1117 <unbounded_knapsack+0x17>
pop    %rbp
ret

x86 assembly (clang, -O2):
<unbounded_knapsack>:
push   %rbx
mov    %esi,%r8d
sub    %edx,%r8d
jl     128b <unbounded_knapsack+0x18b>
movslq %edx,%r11
mov    %r11,%r9
cmp    $0x7,%r8d
jb     1254 <unbounded_knapsack+0x154>
lea    (%rdi,%r11,4),%rdx
lea    (%rdi,%r8,4),%rax
add    $0x4,%rax
cmp    %rax,%rdx
jae    1146 <unbounded_knapsack+0x46>
lea    (%r11,%r8,1),%rax
lea    (%rdi,%rax,4),%rax
add    $0x4,%rax
mov    %r11,%r9
cmp    %rdi,%rax
ja     1254 <unbounded_knapsack+0x154>
add    $0x1,%r8
mov    %r8,%r10
and    $0xfffffffffffffff8,%r10
lea    (%r10,%r11,1),%r9
movd   %ecx,%xmm0
pshufd $0x0,%xmm0,%xmm0
xor    %eax,%eax
jmp    117d <unbounded_knapsack+0x7d>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x8,%rax
cmp    %rax,%r10
je     124f <unbounded_knapsack+0x14f>
movdqu (%rdi,%rax,4),%xmm2
movdqu 0x10(%rdi,%rax,4),%xmm1
paddd  %xmm0,%xmm2
movdqu (%rdx,%rax,4),%xmm4
movdqa %xmm2,%xmm3
pcmpgtd %xmm4,%xmm3
movd   %xmm3,%ebx
test   $0x1,%bl
je     11a7 <unbounded_knapsack+0xa7>
movd   %xmm2,(%rdx,%rax,4)
pextrw $0x2,%xmm3,%ebx
test   $0x1,%bl
je     11bc <unbounded_knapsack+0xbc>
pshufd $0x55,%xmm2,%xmm4
movd   %xmm4,0x4(%rdx,%rax,4)
pextrw $0x4,%xmm3,%ebx
test   $0x1,%bl
je     11d1 <unbounded_knapsack+0xd1>
pshufd $0xee,%xmm2,%xmm4
movd   %xmm4,0x8(%rdx,%rax,4)
pextrw $0x6,%xmm3,%ebx
test   $0x1,%bl
je     11e6 <unbounded_knapsack+0xe6>
pshufd $0xff,%xmm2,%xmm2
movd   %xmm2,0xc(%rdx,%rax,4)
paddd  %xmm0,%xmm1
movdqu 0x10(%rdx,%rax,4),%xmm3
movdqa %xmm1,%xmm2
pcmpgtd %xmm3,%xmm2
movd   %xmm2,%ebx
test   $0x1,%bl
je     1207 <unbounded_knapsack+0x107>
movd   %xmm1,0x10(%rdx,%rax,4)
pextrw $0x2,%xmm2,%ebx
test   $0x1,%bl
je     121c <unbounded_knapsack+0x11c>
pshufd $0x55,%xmm1,%xmm3
movd   %xmm3,0x14(%rdx,%rax,4)
pextrw $0x4,%xmm2,%ebx
test   $0x1,%bl
je     1231 <unbounded_knapsack+0x131>
pshufd $0xee,%xmm1,%xmm3
movd   %xmm3,0x18(%rdx,%rax,4)
pextrw $0x6,%xmm2,%ebx
test   $0x1,%bl
je     1170 <unbounded_knapsack+0x70>
pshufd $0xff,%xmm1,%xmm1
movd   %xmm1,0x1c(%rdx,%rax,4)
jmp    1170 <unbounded_knapsack+0x70>
cmp    %r10,%r8
je     128b <unbounded_knapsack+0x18b>
mov    %esi,%eax
sub    %r9d,%eax
add    $0x1,%eax
test   $0x1,%al
jne    126a <unbounded_knapsack+0x16a>
mov    %r9,%rax
cmp    %esi,%r9d
je     128b <unbounded_knapsack+0x18b>
jmp    128d <unbounded_knapsack+0x18d>
mov    %r9,%rax
sub    %r11,%rax
mov    (%rdi,%rax,4),%eax
add    %ecx,%eax
cmp    %eax,(%rdi,%r9,4)
jge    127f <unbounded_knapsack+0x17f>
mov    %eax,(%rdi,%r9,4)
mov    %r9,%rax
add    $0x1,%rax
cmp    %esi,%r9d
jne    128d <unbounded_knapsack+0x18d>
pop    %rbx
ret
sub    %eax,%esi
add    $0x1,%esi
lea    (%rdi,%rax,4),%rax
add    $0x4,%rax
shl    $0x2,%r11
neg    %r11
jmp    12b9 <unbounded_knapsack+0x1b9>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x8,%rax
add    $0xfffffffe,%esi
je     128b <unbounded_knapsack+0x18b>
mov    -0x4(%rax,%r11,1),%edx
add    %ecx,%edx
cmp    %edx,-0x4(%rax)
jge    12c8 <unbounded_knapsack+0x1c8>
mov    %edx,-0x4(%rax)
mov    (%rax,%r11,1),%edx
add    %ecx,%edx
cmp    %edx,(%rax)
jge    12b0 <unbounded_knapsack+0x1b0>
mov    %edx,(%rax)
jmp    12b0 <unbounded_knapsack+0x1b0>

LLVM IR (-O0):
define void @unbounded_knapsack(i32* %0, i32 %1, i32 %2, i32 %3) {
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i32* %0, i32** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store i32 %3, i32* %8
%11 = load i32, i32* %7
store i32 %11, i32* %9
br label %12
12: ; preds = %40, %4
%13 = load i32, i32* %9
%14 = load i32, i32* %6
%15 = icmp sle i32 %13, %14
br i1 %15, label %16, label %43
16: ; preds = %12
%17 = load i32*, i32** %5
%18 = load i32, i32* %9
%19 = load i32, i32* %7
%20 = sub nsw i32 %18, %19
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i32, i32* %17, i64 %21
%23 = load i32, i32* %22
%24 = load i32, i32* %8
%25 = add nsw i32 %23, %24
store i32 %25, i32* %10
%26 = load i32*, i32** %5
%27 = load i32, i32* %9
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i32, i32* %26, i64 %28
%30 = load i32, i32* %29
%31 = load i32, i32* %10
%32 = icmp slt i32 %30, %31
br i1 %32, label %33, label %39
33: ; preds = %16
%34 = load i32, i32* %10
%35 = load i32*, i32** %5
%36 = load i32, i32* %9
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i32, i32* %35, i64 %37
store i32 %34, i32* %38
br label %39
39: ; preds = %33, %16
br label %40
40: ; preds = %39
%41 = load i32, i32* %9
%42 = add nsw i32 %41, 1
store i32 %42, i32* %9
br label %12
43: ; preds = %12
ret void
}

LLVM IR (-O2):
define void @unbounded_knapsack(i32* nocapture %0, i32 %1, i32 %2, i32 %3) {
%5 = icmp slt i32 %1, %2
br i1 %5, label %147, label %6
6: ; preds = %4
%7 = sext i32 %2 to i64
%8 = add i32 %1, 1
%9 = sub i32 %1, %2
%10 = zext i32 %9 to i64
%11 = add nuw nsw i64 %10, 1
%12 = icmp ult i32 %9, 7
br i1 %12, label %102, label %13
13: ; preds = %6
%14 = getelementptr i32, i32* %0, i64 %7
%15 = sub i32 %1, %2
%16 = zext i32 %15 to i64
%17 = add nsw i64 %7, %16
%18 = add nsw i64 %17, 1
%19 = getelementptr i32, i32* %0, i64 %18
%20 = add nuw nsw i64 %16, 1
%21 = getelementptr i32, i32* %0, i64 %20
%22 = icmp ult i32* %14, %21
%23 = icmp ugt i32* %19, %0
%24 = and i1 %22, %23
br i1 %24, label %102, label %25
25: ; preds = %13
%26 = and i64 %11, 8589934584
%27 = add nsw i64 %26, %7
%28 = insertelement <4 x i32> poison, i32 %3, i64 0
%29 = shufflevector <4 x i32> %28, <4 x i32> poison, <4 x i32> zeroinitializer
%30 = insertelement <4 x i32> poison, i32 %3, i64 0
%31 = shufflevector <4 x i32> %30, <4 x i32> poison, <4 x i32> zeroinitializer
br label %32
32: ; preds = %97, %25
%33 = phi i64 [ 0, %25 ], [ %98, %97 ]
%34 = add i64 %33, %7
%35 = add i64 %34, 4
%36 = getelementptr inbounds i32, i32* %0, i64 %33
%37 = bitcast i32* %36 to <4 x i32>*
%38 = load <4 x i32>, <4 x i32>* %37
%39 = getelementptr inbounds i32, i32* %36, i64 4
%40 = bitcast i32* %39 to <4 x i32>*
%41 = load <4 x i32>, <4 x i32>* %40
%42 = add nsw <4 x i32> %38, %29
%43 = add nsw <4 x i32> %41, %31
%44 = getelementptr inbounds i32, i32* %0, i64 %34
%45 = bitcast i32* %44 to <4 x i32>*
%46 = load <4 x i32>, <4 x i32>* %45
%47 = getelementptr inbounds i32, i32* %44, i64 4
%48 = bitcast i32* %47 to <4 x i32>*
%49 = load <4 x i32>, <4 x i32>* %48
%50 = icmp slt <4 x i32> %46, %42
%51 = icmp slt <4 x i32> %49, %43
%52 = extractelement <4 x i1> %50, i64 0
br i1 %52, label %53, label %56
53: ; preds = %32
%54 = getelementptr inbounds i32, i32* %0, i64 %34
%55 = extractelement <4 x i32> %42, i64 0
store i32 %55, i32* %54
br label %56
56: ; preds = %53, %32
%57 = extractelement <4 x i1> %50, i64 1
br i1 %57, label %58, label %62
58: ; preds = %56
%59 = add i64 %34, 1
%60 = getelementptr inbounds i32, i32* %0, i64 %59
%61 = extractelement <4 x i32> %42, i64 1
store i32 %61, i32* %60
br label %62
62: ; preds = %58, %56
%63 = extractelement <4 x i1> %50, i64 2
br i1 %63, label %64, label %68
64: ; preds = %62
%65 = add i64 %34, 2
%66 = getelementptr inbounds i32, i32* %0, i64 %65
%67 = extractelement <4 x i32> %42, i64 2
store i32 %67, i32* %66
br label %68
68: ; preds = %64, %62
%69 = extractelement <4 x i1> %50, i64 3
br i1 %69, label %70, label %74
70: ; preds = %68
%71 = add i64 %34, 3
%72 = getelementptr inbounds i32, i32* %0, i64 %71
%73 = extractelement <4 x i32> %42, i64 3
store i32 %73, i32* %72
br label %74
74: ; preds = %70, %68
%75 = extractelement <4 x i1> %51, i64 0
br i1 %75, label %76, label %79
76: ; preds = %74
%77 = getelementptr inbounds i32, i32* %0, i64 %35
%78 = extractelement <4 x i32> %43, i64 0
store i32 %78, i32* %77
br label %79
79: ; preds = %76, %74
%80 = extractelement <4 x i1> %51, i64 1
br i1 %80, label %81, label %85
81: ; preds = %79
%82 = add i64 %34, 5
%83 = getelementptr inbounds i32, i32* %0, i64 %82
%84 = extractelement <4 x i32> %43, i64 1
store i32 %84, i32* %83
br label %85
85: ; preds = %81, %79
%86 = extractelement <4 x i1> %51, i64 2
br i1 %86, label %87, label %91
87: ; preds = %85
%88 = add i64 %34, 6
%89 = getelementptr inbounds i32, i32* %0, i64 %88
%90 = extractelement <4 x i32> %43, i64 2
store i32 %90, i32* %89
br label %91
91: ; preds = %87, %85
%92 = extractelement <4 x i1> %51, i64 3
br i1 %92, label %93, label %97
93: ; preds = %91
%94 = add i64 %34, 7
%95 = getelementptr inbounds i32, i32* %0, i64 %94
%96 = extractelement <4 x i32> %43, i64 3
store i32 %96, i32* %95
br label %97
97: ; preds = %93, %91
%98 = add nuw i64 %33, 8
%99 = icmp eq i64 %98, %26
br i1 %99, label %100, label %32
100: ; preds = %97
%101 = icmp eq i64 %11, %26
br i1 %101, label %147, label %102
102: ; preds = %13, %6, %100
%103 = phi i64 [ %7, %13 ], [ %7, %6 ], [ %27, %100 ]
%104 = add i32 %1, 1
%105 = trunc i64 %103 to i32
%106 = sub i32 %104, %105
%107 = and i32 %106, 1
%108 = icmp eq i32 %107, 0
br i1 %108, label %120, label %109
109: ; preds = %102
%110 = sub nsw i64 %103, %7
%111 = getelementptr inbounds i32, i32* %0, i64 %110
%112 = load i32, i32* %111
%113 = add nsw i32 %112, %3
%114 = getelementptr inbounds i32, i32* %0, i64 %103
%115 = load i32, i32* %114
%116 = icmp slt i32 %115, %113
br i1 %116, label %117, label %118
117: ; preds = %109
store i32 %113, i32* %114
br label %118
118: ; preds = %117, %109
%119 = add nsw i64 %103, 1
br label %120
120: ; preds = %118, %102
%121 = phi i64 [ %103, %102 ], [ %119, %118 ]
%122 = icmp eq i32 %105, %1
br i1 %122, label %147, label %123
123: ; preds = %120, %143
%124 = phi i64 [ %144, %143 ], [ %121, %120 ]
%125 = sub nsw i64 %124, %7
%126 = getelementptr inbounds i32, i32* %0, i64 %125
%127 = load i32, i32* %126
%128 = add nsw i32 %127, %3
%129 = getelementptr inbounds i32, i32* %0, i64 %124
%130 = load i32, i32* %129
%131 = icmp slt i32 %130, %128
br i1 %131, label %132, label %133
132: ; preds = %123
store i32 %128, i32* %129
br label %133
133: ; preds = %132, %123
%134 = add nsw i64 %124, 1
%135 = sub nsw i64 %134, %7
%136 = getelementptr inbounds i32, i32* %0, i64 %135
%137 = load i32, i32* %136
%138 = add nsw i32 %137, %3
%139 = getelementptr inbounds i32, i32* %0, i64 %134
%140 = load i32, i32* %139
%141 = icmp slt i32 %140, %138
br i1 %141, label %142, label %143
142: ; preds = %133
store i32 %138, i32* %139
br label %143
143: ; preds = %142, %133
%144 = add nsw i64 %124, 2
%145 = trunc i64 %144 to i32
%146 = icmp eq i32 %8, %145
br i1 %146, label %147, label %123
147: ; preds = %120, %143, %100, %4
ret void
}