%1, %reg.2, $X0 = ~scf.for(%a, %b) ({
^b0:
	~arith.constant() : () -> ()
^b1:
	~arith.constant() : () -> ()
}) {test_attrib = 2 : i32 } : (i8, i1) -> (i32, i32, i32)