114da287eSFlorian Hahn; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 28ebb3eacSBjorn Pettersson; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s 314da287eSFlorian Hahn 414da287eSFlorian Hahndeclare void @use(i1) 514da287eSFlorian Hahn 614da287eSFlorian Hahn; Make sure we do not crash when trying to inject info about vector values from SCEV. 714da287eSFlorian Hahndefine void @test_vector_iv(i32 %x, i1 %c) { 814da287eSFlorian Hahn; CHECK-LABEL: @test_vector_iv( 914da287eSFlorian Hahn; CHECK-NEXT: entry: 1014da287eSFlorian Hahn; CHECK-NEXT: br i1 [[C:%.*]], label [[PRE:%.*]], label [[BB2:%.*]] 1114da287eSFlorian Hahn; CHECK: pre: 1214da287eSFlorian Hahn; CHECK-NEXT: [[C_1:%.*]] = icmp ule i32 [[X:%.*]], 10 1314da287eSFlorian Hahn; CHECK-NEXT: br i1 [[C_1]], label [[LOOP:%.*]], label [[BB2]] 1414da287eSFlorian Hahn; CHECK: loop: 1514da287eSFlorian Hahn; CHECK-NEXT: [[IV:%.*]] = phi <4 x i8> [ zeroinitializer, [[PRE]] ], [ [[IV_NEXT:%.*]], [[LOOP]] ] 1614da287eSFlorian Hahn; CHECK-NEXT: call void @use(i1 true) 1714da287eSFlorian Hahn; CHECK-NEXT: call void @use(i1 false) 1814da287eSFlorian Hahn; CHECK-NEXT: [[C_2:%.*]] = icmp ule i32 [[X]], 9 1914da287eSFlorian Hahn; CHECK-NEXT: call void @use(i1 [[C_2]]) 2014da287eSFlorian Hahn; CHECK-NEXT: [[C_3:%.*]] = icmp ugt i32 [[X]], 9 2114da287eSFlorian Hahn; CHECK-NEXT: call void @use(i1 [[C_3]]) 22*38fffa63SPaul Walker; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw <4 x i8> [[IV]], splat (i8 1) 2314da287eSFlorian Hahn; CHECK-NEXT: [[E:%.*]] = extractelement <4 x i8> [[IV_NEXT]], i8 2 2414da287eSFlorian Hahn; CHECK-NEXT: [[EC:%.*]] = icmp eq i8 [[E]], 100 2514da287eSFlorian Hahn; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]] 2614da287eSFlorian Hahn; CHECK: exit: 2714da287eSFlorian Hahn; CHECK-NEXT: call void @use(i1 true) 2814da287eSFlorian Hahn; CHECK-NEXT: ret void 2914da287eSFlorian Hahn; CHECK: bb2: 3014da287eSFlorian Hahn; CHECK-NEXT: [[C_5:%.*]] = icmp ugt i32 [[X]], 10 3114da287eSFlorian Hahn; CHECK-NEXT: call void @use(i1 [[C_5]]) 3214da287eSFlorian Hahn; CHECK-NEXT: ret void 3314da287eSFlorian Hahn; 3414da287eSFlorian Hahnentry: 3514da287eSFlorian Hahn br i1 %c, label %pre, label %bb2 3614da287eSFlorian Hahn 3714da287eSFlorian Hahnpre: 3814da287eSFlorian Hahn %c.1 = icmp ule i32 %x, 10 3914da287eSFlorian Hahn br i1 %c.1, label %loop, label %bb2 4014da287eSFlorian Hahn 4114da287eSFlorian Hahnloop: 4214da287eSFlorian Hahn %iv = phi <4 x i8> [ zeroinitializer, %pre ], [ %iv.next, %loop ] 4314da287eSFlorian Hahn %t.1 = icmp ule i32 %x, 10 4414da287eSFlorian Hahn call void @use(i1 %t.1) 4514da287eSFlorian Hahn %f.1 = icmp ugt i32 %x, 10 4614da287eSFlorian Hahn call void @use(i1 %f.1) 4714da287eSFlorian Hahn 4814da287eSFlorian Hahn %c.2 = icmp ule i32 %x, 9 4914da287eSFlorian Hahn call void @use(i1 %c.2) 5014da287eSFlorian Hahn %c.3 = icmp ugt i32 %x, 9 5114da287eSFlorian Hahn call void @use(i1 %c.3) 5214da287eSFlorian Hahn 5314da287eSFlorian Hahn %iv.next = add nuw nsw <4 x i8> %iv, <i8 1, i8 1, i8 1, i8 1> 5414da287eSFlorian Hahn %e = extractelement <4 x i8> %iv.next, i8 2 5514da287eSFlorian Hahn %ec = icmp eq i8 %e, 100 5614da287eSFlorian Hahn br i1 %ec, label %exit, label %loop 5714da287eSFlorian Hahn 5814da287eSFlorian Hahnexit: 5914da287eSFlorian Hahn %c.4 = icmp ule i32 %x, 10 6014da287eSFlorian Hahn call void @use(i1 %c.4) 6114da287eSFlorian Hahn ret void 6214da287eSFlorian Hahn 6314da287eSFlorian Hahnbb2: 6414da287eSFlorian Hahn %c.5 = icmp ugt i32 %x, 10 6514da287eSFlorian Hahn call void @use(i1 %c.5) 6614da287eSFlorian Hahn ret void 6714da287eSFlorian Hahn} 68