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 15define void @f(i16 %a) { 16 br label %bb0 17 18bb0: 19 br label %bb1 20 21bb1: 22 %tmp1 = load i16, i16* @c1 23 br label %bb2 24 25bb2: 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