; The reassociate pass is not preserving dominance properties correctly
;
; RUN: as < %s | opt -reassociate -verify

int %compute_dist(int %i, int %j) {
        %reg119 = sub int %j, %i
        ret int %reg119
}



; The reassociate pass is not preserving dominance properties correctly
;
; RUN: as < %s | opt -reassociate

int %compute_dist(int %i, int %j) {
        %reg119 = sub int %j, %i
        ret int %reg119
}



Verify is implicit for opt
Verify is implicit for opt


git-svn-id: 0ff597fd157e6f4fc38580e8d64ab130330d2411@3204 91177308-0d34-0410-b5e6-96231b3b80d8
