if (rt1[i]==31) {
             alloc_reg(¤t,i,31);
             dirty_reg(¤t,31);
-            assert(rs1[i+1]!=31&&rs2[i+1]!=31);
+            //assert(rs1[i+1]!=31&&rs2[i+1]!=31);
+            assert(rt1[i+1]!=rt1[i]);
             #ifdef REG_PREFETCH
             alloc_reg(¤t,i,PTEMP);
             #endif
             if (rt1[i]!=0) {
               alloc_reg(¤t,i,rt1[i]);
               dirty_reg(¤t,rt1[i]);
-              assert(rs1[i+1]!=31&&rs2[i+1]!=31);
+              //assert(rs1[i+1]!=31&&rs2[i+1]!=31);
+              assert(rt1[i+1]!=rt1[i]);
               #ifdef REG_PREFETCH
               alloc_reg(¤t,i,PTEMP);
               #endif