1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4 2; RUN: opt < %s -passes=indvars -S | FileCheck %s 3 4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:1" 5target triple = "x86_64-unknown-linux-gnu" 6 7declare void @foo(i64) 8 9define void @test(i64 %a) { 10; CHECK-LABEL: define void @test( 11; CHECK-SAME: i64 [[A:%.*]]) { 12; CHECK-NEXT: entry: 13; CHECK-NEXT: br label [[OUTER_HEADER:%.*]] 14; CHECK: outer_header: 15; CHECK-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ [[INDVARS_IV_NEXT:%.*]], [[OUTER_LATCH:%.*]] ], [ 21, [[ENTRY:%.*]] ] 16; CHECK-NEXT: [[I:%.*]] = phi i64 [ 20, [[ENTRY]] ], [ [[I_NEXT:%.*]], [[OUTER_LATCH]] ] 17; CHECK-NEXT: br label [[INNER_HEADER:%.*]] 18; CHECK: inner_header: 19; CHECK-NEXT: [[J:%.*]] = phi i64 [ 1, [[OUTER_HEADER]] ], [ [[J_NEXT:%.*]], [[INNER_HEADER]] ] 20; CHECK-NEXT: call void @foo(i64 [[J]]) 21; CHECK-NEXT: [[J_NEXT]] = add nuw nsw i64 [[J]], 1 22; CHECK-NEXT: [[EXITCOND:%.*]] = icmp ne i64 [[J_NEXT]], [[INDVARS_IV]] 23; CHECK-NEXT: br i1 [[EXITCOND]], label [[INNER_HEADER]], label [[OUTER_LATCH]] 24; CHECK: outer_latch: 25; CHECK-NEXT: [[I_NEXT]] = add nuw nsw i64 [[I]], 1 26; CHECK-NEXT: [[COND2:%.*]] = icmp ne i64 [[I_NEXT]], 40 27; CHECK-NEXT: [[INDVARS_IV_NEXT]] = add nuw nsw i64 [[INDVARS_IV]], 1 28; CHECK-NEXT: br i1 [[COND2]], label [[OUTER_HEADER]], label [[RETURN:%.*]] 29; CHECK: return: 30; CHECK-NEXT: ret void 31; 32entry: 33 br label %outer_header 34 35outer_header: 36 %i = phi i64 [20, %entry], [%i.next, %outer_latch] 37 %i.next = add nuw nsw i64 %i, 1 38 br label %inner_header 39 40inner_header: 41 %j = phi i64 [1, %outer_header], [%j.next, %inner_header] 42 %cmp = icmp ult i64 %j, %i.next 43 %s = select i1 %cmp, i64 %j, i64 %i 44 call void @foo(i64 %s) 45 %j.next = add nuw nsw i64 %j, 1 46 %cond = icmp ult i64 %j, %i 47 br i1 %cond, label %inner_header, label %outer_latch 48 49outer_latch: 50 %cond2 = icmp ne i64 %i.next, 40 51 br i1 %cond2, label %outer_header, label %return 52 53return: 54 ret void 55} 56