> > When I compile test1 -native-optimize 2 and run it it appears to stick > > in an infinite loop. > > conv2 of the regressions appears to exhibit similar behavior. and harmonic and smith-normal-form. Clearly some interaction with IntInf.