; %n0 を 0 まで数え下げ、回数を返す。単調停止フラグと omega 読みの見本
define i4 @count(i4 %n0) {
e:
  br label %l
l:
  %n = phi i4 [ %n0, %e ], [ %n1, %s ]
  %k = phi i4 [ 0, %e ], [ %k1, %s ]
  %z = icmp eq i4 %n, 0
  br i1 %z, label %x, label %s
s:
  %n1 = sub nsw i4 %n, 1
  %k1 = add nsw i4 %k, 1
  br label %l
x:
  ret i4 %k
}