Added a bounds_info scope to the BranchCollector to help simplify work during the computation of branch bounds. When I encounter a for loop that has a Variable as an extent, I add an interval to the bounds_info that runs from 0 to the variable's type max. This constraint, that extents must be >= 0, allows us to greatly simplify the branch extent exprs. I believe more simplification is possible, but I will leave that for another PR.
Added a bounds_info scope to the BranchCollector to help simplify work during the computation of branch bounds. When I encounter a for loop that has a Variable as an extent, I add an interval to the bounds_info that runs from 0 to the variable's type max. This constraint, that extents must be >= 0, allows us to greatly simplify the branch extent exprs. I believe more simplification is possible, but I will leave that for another PR.

mcanthony/Halide,jiawen/Halide,dan-tull/Halide,kenkuang1213/Halide,rodrigob/Halide,mcanthony/Halide,gchauras/Halide,fengzhyuan/Halide,tdenniston/Halide,ayanazmat/Halide,smxlong/Halide,psuriana/Halide,dougkwan/Halide,ayanazmat/Halide,fengzhyuan/Halide,ayanazmat/Halide,ronen/Halide,tdenniston/Halide,gchauras/Halide,delcypher/Halide,myrtleTree33/Halide,mcanthony/Halide,damienfir/Halide,ronen/Halide,ayanazmat/Halide,tdenniston/Halide,smxlong/Halide,jiawen/Halide,adasworks/Halide,ronen/Halide,ronen/Halide,rodrigob/Halide,ayanazmat/Halide,tdenniston/Halide,kenkuang1213/Halide,adasworks/Halide,lglucin/Halide,aam/Halide,dan-tull/Halide,delcypher/Halide,fengzhyuan/Halide,kenkuang1213/Halide,jiawen/Halide,ronen/Halide,smxlong/Halide,kgnk/Halide,psuriana/Halide,dougkwan/Halide,adasworks/Halide,psuriana/Halide,jiawen/Halide,aam/Halide,dan-tull/Halide,damienfir/Halide,fengzhyuan/Halide,kgnk/Halide,ronen/Halide,lglucin/Halide,tdenniston/Halide,smxlong/Halide,dan-tull/Halide,lglucin/Halide,fengzhyuan/Halide,kenkuang1213/Halide,mcanthony/Halide,myrtleTree33/Halide,dan-tull/Halide,smxlong/Halide,ronen/Halide,lglucin/Halide,dougkwan/Halide,rodrigob/Halide,delcypher/Halide,dan-tull/Halide,delcypher/Halide,fengzhyuan/Halide,mcanthony/Halide,gchauras/Halide,gchauras/Halide,tdenniston/Halide,delcypher/Halide,psuriana/Halide,dan-tull/Halide,psuriana/Halide,psuriana/Halide,dougkwan/Halide,rodrigob/Halide,ronen/Halide,aam/Halide,lglucin/Halide,fengzhyuan/Halide,mcanthony/Halide,kenkuang1213/Halide,tdenniston/Halide,gchauras/Halide,kenkuang1213/Halide,aam/Halide,kgnk/Halide,kgnk/Halide,kenkuang1213/Halide,damienfir/Halide,kgnk/Halide,myrtleTree33/Halide,rodrigob/Halide,dougkwan/Halide,aam/Halide,dougkwan/Halide,smxlong/Halide,ayanazmat/Halide,damienfir/Halide,dougkwan/Halide,adasworks/Halide,jiawen/Halide,ayanazmat/Halide,rodrigob/Halide,myrtleTree33/Halide,aam/Halide,aam/Halide,myrtleTree33/Halide,delcypher/Halide,mcanthony/Halide,jiawen/Halide,myrtleTree33/Halide,fengzhyuan/Halide,rodrigob/Halide,kgnk/Halide,delcypher/Halide,mcanthony/Halide,adasworks/Halide,gchauras/Halide,adasworks/Halide,rodrigob/Halide,damienfir/Halide,adasworks/Halide,smxlong/Halide,smxlong/Halide,ayanazmat/Halide,adasworks/Halide,kenkuang1213/Halide,tdenniston/Halide,kgnk/Halide,lglucin/Halide,dougkwan/Halide,psuriana/Halide,dan-tull/Halide,damienfir/Halide,jiawen/Halide,kgnk/Halide,damienfir/Halide,damienfir/Halide,delcypher/Halide,myrtleTree33/Halide,lglucin/Halide,myrtleTree33/Halide