1 ; This test ensures loop versioning does not produce an invalid dominator tree 2 ; if the exit block of the loop (bb0) dominates the runtime check block 3 ; (bb1 will become the runtime check block). 4 5 ; RUN: opt -loop-distribute -enable-loop-distribute -verify-dom-info -S -o - %s > %t 6 ; RUN: opt -loop-simplify -loop-distribute -enable-loop-distribute -verify-dom-info -S -o - %s > %t 7 ; RUN: FileCheck --check-prefix CHECK-VERSIONING -input-file %t %s 8 9 ; RUN: opt -loop-versioning -verify-dom-info -S -o - %s > %t 10 ; RUN: opt -loop-simplify -loop-versioning -verify-dom-info -S -o - %s > %t 11 ; RUN: FileCheck --check-prefix CHECK-VERSIONING -input-file %t %s 12 13 @c1 = external global i16 14 15 define void @f(i16 %a) { 16 br label %bb0 17 18 bb0: 19 br label %bb1 20 21 bb1: 22 %tmp1 = load i16, i16* @c1 23 br label %bb2 24 25 bb2: 26 %tmp2 = phi i16 [ %tmp1, %bb1 ], [ %tmp3, %bb2 ] 27 %tmp4 = getelementptr inbounds [1 x i32], [1 x i32]* undef, i32 0, i32 4 28 store i32 1, i32* %tmp4 29 %tmp5 = getelementptr inbounds [1 x i32], [1 x i32]* undef, i32 0, i32 9 30 store i32 0, i32* %tmp5 31 %tmp3 = add i16 %tmp2, 1 32 store i16 %tmp2, i16* @c1 33 %tmp6 = icmp sle i16 %tmp3, 0 34 br i1 %tmp6, label %bb2, label %bb0 35 } 36 37 ; Simple check to make sure loop versioning happened. 38 ; CHECK-VERSIONING: bb2.lver.check: 39
