about traversal

[JsBlueCat]

hot to extract instruction from forloop

produce B_l1 {
         for (B_l1.s0.y, l2_out.s0.y.v4.base, 256) {
          for (B_l1.s0.x, 0, 1024) {
           (float32)image_store("B_l1", B_l1.buffer, 0, 0, (float32)image_load("B_l2", B_l2.buffer, B_l1.s0.x, 1024, B_l1.s0.y - (out.s0.y.v6.__block_id_y*512), 512), 2)
          }
         }
        }

such as this command, i want it to be below, i want to replace the var with it min value

(float32)image_store("B_l1", B_l1.buffer, 0, 0, (float32)image_load("B_l2", B_l2.buffer, B_l1.s0.x.min, 1024, B_l1.s0.y.min - (out.s0.y.v6.__block_id_y*512), 512), 2)
for (B_l1.s0.y, l2_out.s0.y.v4.base, 256) {
          for (B_l1.s0.x, 0, 1024) {
       .... 
   }
}

is there any reference to do this?