C2 generates Safepoint polling in the counted loop in the next example.

% cat Test.java
class Test {
    static int val = 0;

    public static int foo(int val) {
       return val + 1000;
    }

    public static void test() {
       for (int i = 0; i < 100; i++) {
          val = i;
          if (val == 50) {
             val = foo(val);
          }
       }
    }

    public static void main(String argv[]) {
       for (int i=0; i < 15000; i++)
         test();
       System.out.println("value = " + val);
    }
 
 }
% java_g -server -version
java version "1.5.0-beta3"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.5.0-beta3-b58)
Java HotSpot(TM) Server VM (build 1.5.0-beta3-b58-debug, mixed mode)
% javac Test.java
% java_g -server -XX:+PrintCompilation -XX:CompileOnly=Test.test -XX:+PrintOptoAssembly -Xbatch -XX:-Inline -XX:CICompilerCount=1 Test
VM option '+PrintCompilation'
VM option 'CompileOnly=Test.test'
VM option '+PrintOptoAssembly'
VM option '-Inline'
VM option 'CICompilerCount=1'
  1 b Test::test (36 bytes)
{method}
 - klass: {other class}
 - method holder: 'Test'
 - constants: 0xfec62020{constant pool}
 - access: 0xc1000009 public static
 - name: 'test'
 - signature: '()V'
...
020 B2: # B4 B3 <- B1 B7 Loop: B2-B7 inner Freq: 4.44445
# Lrgs use/def'd in loop: {1,3-9}
020 + CMP R_O0,#50
024 BPeq ccr,B4 P=0.009950 C=4.422000
024 STW R_O0,[R_L0 + #296]
024
02c B3: # B6 <- B2 Loop: B2-B7 inner Freq: 4.378
02c + BA B6
02c ADD R_O0,#1,R_O0
02c
034 B4: # B9 B5 <- B2 Loop: B2-B7 inner Freq: 0.0439999
034 CALL,static ; NOP ==> Test::foo
        # Test::test @ bci:23 L0=#50
        # R_L0=Oop
03c
03c B5: # B6 <- B4 Loop: B2-B7 inner Freq: 0.043999
03c + STW R_O0,[R_L0 + #296]
040 MOV #51,R_O0
040
044 B6: # B8 B7 <- B5 B3 Loop: B2-B7 inner Freq: 4.422
044 + LDUW [R_L2],R_G0 ! Safepoint: poll for GC # Test::test @ bci:32 L0=R_O0
        # R_L0=Oop
048 + CMP R_O0,#100
04c BPge ccr,B8 P=0.010000 C=4.422000
04c
054 B7: # B2 <- B6 Loop: B2-B7 inner Freq: 4.37778
054 + BA B2
054
05c B8: # N1 <- B6 Freq: 0.04422
05c SETHI #PollAddr,L0 ! Load Polling address
        LDUW [L0],G0 !Poll for Safepointing
        RET
        RESTORE
06c + RET
        NOP