opt-reduced-2D.ll

@0 = private constant [1 x [28 x [28 x [1 x float]]]] [[28 x [28 x [1 x float]]] [[28 x [1 x float]] zeroinitializer, [28 x [1 x float]] zeroinitializer, [28 x [1 x float]] zeroinitializer, [28 x [1 x float]] zeroinitializer, [28 x [1 x float]] zeroinitializer, [28 x [1 x float]] zeroinitializer, [28 x [1 x float]] zeroinitializer, [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FD8585880000000], [1 x float] [float 0x3FD8181840000000], [1 x float] [float 0x3FD3535360000000], [1 x float] [float 0x3FDD9D9DC0000000], [1 x float] [float 0x3FCE9E9EC0000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FD69696A0000000], [1 x float] [float 0x3FE1515160000000], [1 x float] [float 0x3FED7D7DA0000000], [1 x float] [float 0x3FED7D7DA0000000], [1 x float] [float 0x3FED7D7DA0000000], [1 x float] [float 0x3FED7D7DA0000000], [1 x float] [float 0x3FED7D7DA0000000], [1 x float] [float 0x3FED7D7DA0000000], [1 x float] [float 0x3FEF7F7FA0000000], [1 x float] [float 0x3FEF7F7FA0000000], [1 x float] [float 0x3FEF1F1F40000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEEBEBEE0000000], [1 x float] [float 0x3FED7D7DA0000000], [1 x float] [float 0x3FE7D7D7E0000000], [1 x float] [float 0x3FB5151520000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FE19191A0000000], [1 x float] [float 0x3FEF7F7FA0000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FE7B7B7C0000000], [1 x float] [float 0x3FB7171720000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FEC5C5C80000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEA1A1A40000000], [1 x float] [float 0x3FE8F8F920000000], [1 x float] [float 0x3FE8F8F920000000], [1 x float] [float 0x3FE8F8F920000000], [1 x float] [float 0x3FE8F8F920000000], [1 x float] [float 0x3FE1717180000000], [1 x float] [float 0x3FCE9E9EC0000000], [1 x float] [float 0x3FCE9E9EC0000000], [1 x float] [float 0x3FCE9E9EC0000000], [1 x float] [float 0x3FCE9E9EC0000000], [1 x float] [float 0x3FCE9E9EC0000000], [1 x float] [float 0x3FE0101020000000], [1 x float] [float 0x3FEBDBDC00000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FE7B7B7C0000000], [1 x float] [float 0x3FB5151520000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FC3131320000000], [1 x float] [float 0x3FD49494A0000000], [1 x float] [float 0x3FAA1A1A40000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FC1111120000000], [1 x float] [float 0x3FEABABAE0000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FDCDCDD00000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FD5151520000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FED5D5D80000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FD5151520000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FED5D5D80000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FDA9A9AC0000000], [1 x float] [float 0x3FE3B3B3C0000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEE7E7EA0000000], [1 x float] [float 0x3FC99999C0000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FB9191940000000], [1 x float] [float 0x3FDD5D5D80000000], [1 x float] [float 0x3FEC9C9CC0000000], [1 x float] [float 0x3FEC9C9CC0000000], [1 x float] [float 0x3FEC9C9CC0000000], [1 x float] [float 0x3FEFBFBFE0000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEE1E1E40000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FD1111120000000], [1 x float] [float 0x3FDDDDDE00000000], [1 x float] [float 0x3FEB9B9BC0000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FE1D1D1E0000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FC29292A0000000], [1 x float] [float 0x3FE7777780000000], [1 x float] [float 0x3FEFBFBFE0000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEBFBFC20000000], [1 x float] [float 0x3FE9D9DA00000000], [1 x float] [float 0x3FE9D9DA00000000], [1 x float] [float 0x3FD2D2D2E0000000], [1 x float] [float 0x3FD1111120000000], [1 x float] [float 0x3FEAFAFB20000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FDD5D5D80000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FDC5C5C80000000], [1 x float] [float 0x3FEB7B7BA0000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEE5E5E80000000], [1 x float] [float 0x3FEC7C7CA0000000], [1 x float] [float 0x3FDCDCDD00000000], [1 x float] [float 0x3FD6565660000000], [1 x float] [float 0x3FBF1F1F40000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FE9191940000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEE3E3E60000000], [1 x float] [float 0x3FC49494A0000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FE5353540000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FE6161620000000], [1 x float] [float 0x3FCF1F1F40000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FC8181840000000], [1 x float] [float 0x3FECFCFD20000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FED5D5D80000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FB2121220000000], [1 x float] [float 0x3FDF1F1F40000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FD5151520000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FE4D4D4E0000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FE1717180000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEDDDDE00000000], [1 x float] [float 0x3FCC9C9CC0000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FEA5A5A80000000], [1 x float] [float 0x3FEF5F5F80000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FE5151520000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FEE5E5E80000000], [1 x float] [float 0x3FEFDFE000000000], [1 x float] [float 0x3FEDFDFE20000000], [1 x float] [float 0x3FCC9C9CC0000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3FD6565660000000], [1 x float] [float 0x3FEF7F7FA0000000], [1 x float] [float 0x3FEE3E3E60000000], [1 x float] [float 0x3FD59595A0000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3F94141420000000], [1 x float] [float 0x3FE9D9DA00000000], [1 x float] [float 0x3FEEDEDF00000000], [1 x float] [float 0x3FE3B3B3C0000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] [[1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] [float 0x3F90101020000000], [1 x float] [float 0x3FDD5D5D80000000], [1 x float] [float 0x3FD1515160000000], [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer, [1 x float] zeroinitializer], [28 x [1 x float]] zeroinitializer]]

define void @"cluster_2[_XlaCompiledKernel=true,_XlaNumConstantArgs=0].v7"(i8* align 16 dereferenceable(100352) %retval, i8* noalias %run_options, i8** noalias %params, i8** noalias %temps, i64* noalias %prof_counters) {
entry:
  br label %entry.split

entry.split:                                      ; preds = %entry
  br label %loop_header.iz.preheader

loop_header.iz.preheader:                         ; preds = %entry.split, %loop_exit.k1
  %invar_address.k0.01 = phi i64 [ 0, %entry.split ], [ %invar.inc4, %loop_exit.k1 ]
  br label %loop_header.iz

loop_header.iz:                                   ; preds = %loop_header.iz, %loop_header.iz.preheader
  %invar_address.iz.0 = phi i64 [ %invar.inc6, %loop_header.iz ], [ 0, %loop_header.iz.preheader ]
  %0 = icmp eq i64 %invar_address.iz.0, 0
  %invar.inc6 = add nuw nsw i64 %invar_address.iz.0, 1
  br i1 %0, label %loop_header.iz, label %loop_exit.k1

loop_exit.k1:                                     ; preds = %loop_header.iz
  %invar.inc4 = add nuw nsw i64 %invar_address.k0.01, 1
  %1 = icmp ugt i64 %invar_address.k0.01, 3
  br i1 %1, label %loop_exit.dim.031, label %loop_header.iz.preheader

loop_exit.dim.031:                                ; preds = %loop_exit.k1
  ret void
}