1*9880d681SAndroid Build Coastguard Worker; RUN: opt -irce -S < %s | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Workerdefine void @multiple_access_no_preloop( 4*9880d681SAndroid Build Coastguard Worker i32* %arr_a, i32* %a_len_ptr, i32* %arr_b, i32* %b_len_ptr, i32 %n) { 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Worker entry: 7*9880d681SAndroid Build Coastguard Worker %len.a = load i32, i32* %a_len_ptr, !range !0 8*9880d681SAndroid Build Coastguard Worker %len.b = load i32, i32* %b_len_ptr, !range !0 9*9880d681SAndroid Build Coastguard Worker %first.itr.check = icmp sgt i32 %n, 0 10*9880d681SAndroid Build Coastguard Worker br i1 %first.itr.check, label %loop, label %exit 11*9880d681SAndroid Build Coastguard Worker 12*9880d681SAndroid Build Coastguard Worker loop: 13*9880d681SAndroid Build Coastguard Worker %idx = phi i32 [ 0, %entry ] , [ %idx.next, %in.bounds.b ] 14*9880d681SAndroid Build Coastguard Worker %idx.next = add i32 %idx, 1 15*9880d681SAndroid Build Coastguard Worker %abc.a = icmp slt i32 %idx, %len.a 16*9880d681SAndroid Build Coastguard Worker br i1 %abc.a, label %in.bounds.a, label %out.of.bounds, !prof !1 17*9880d681SAndroid Build Coastguard Worker 18*9880d681SAndroid Build Coastguard Worker in.bounds.a: 19*9880d681SAndroid Build Coastguard Worker %addr.a = getelementptr i32, i32* %arr_a, i32 %idx 20*9880d681SAndroid Build Coastguard Worker store i32 0, i32* %addr.a 21*9880d681SAndroid Build Coastguard Worker %abc.b = icmp slt i32 %idx, %len.b 22*9880d681SAndroid Build Coastguard Worker br i1 %abc.b, label %in.bounds.b, label %out.of.bounds, !prof !1 23*9880d681SAndroid Build Coastguard Worker 24*9880d681SAndroid Build Coastguard Worker in.bounds.b: 25*9880d681SAndroid Build Coastguard Worker %addr.b = getelementptr i32, i32* %arr_b, i32 %idx 26*9880d681SAndroid Build Coastguard Worker store i32 -1, i32* %addr.b 27*9880d681SAndroid Build Coastguard Worker %next = icmp slt i32 %idx.next, %n 28*9880d681SAndroid Build Coastguard Worker br i1 %next, label %loop, label %exit 29*9880d681SAndroid Build Coastguard Worker 30*9880d681SAndroid Build Coastguard Worker out.of.bounds: 31*9880d681SAndroid Build Coastguard Worker ret void 32*9880d681SAndroid Build Coastguard Worker 33*9880d681SAndroid Build Coastguard Worker exit: 34*9880d681SAndroid Build Coastguard Worker ret void 35*9880d681SAndroid Build Coastguard Worker} 36*9880d681SAndroid Build Coastguard Worker 37*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: multiple_access_no_preloop 38*9880d681SAndroid Build Coastguard Worker 39*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: loop.preheader: 40*9880d681SAndroid Build Coastguard Worker; CHECK: [[not_len_b:[^ ]+]] = sub i32 -1, %len.b 41*9880d681SAndroid Build Coastguard Worker; CHECK: [[not_len_a:[^ ]+]] = sub i32 -1, %len.a 42*9880d681SAndroid Build Coastguard Worker; CHECK: [[smax_not_len_cond:[^ ]+]] = icmp sgt i32 [[not_len_b]], [[not_len_a]] 43*9880d681SAndroid Build Coastguard Worker; CHECK: [[smax_not_len:[^ ]+]] = select i1 [[smax_not_len_cond]], i32 [[not_len_b]], i32 [[not_len_a]] 44*9880d681SAndroid Build Coastguard Worker; CHECK: [[not_n:[^ ]+]] = sub i32 -1, %n 45*9880d681SAndroid Build Coastguard Worker; CHECK: [[not_upper_limit_cond_loclamp:[^ ]+]] = icmp sgt i32 [[smax_not_len]], [[not_n]] 46*9880d681SAndroid Build Coastguard Worker; CHECK: [[not_upper_limit_loclamp:[^ ]+]] = select i1 [[not_upper_limit_cond_loclamp]], i32 [[smax_not_len]], i32 [[not_n]] 47*9880d681SAndroid Build Coastguard Worker; CHECK: [[upper_limit_loclamp:[^ ]+]] = sub i32 -1, [[not_upper_limit_loclamp]] 48*9880d681SAndroid Build Coastguard Worker; CHECK: [[upper_limit_cmp:[^ ]+]] = icmp sgt i32 [[upper_limit_loclamp]], 0 49*9880d681SAndroid Build Coastguard Worker; CHECK: [[upper_limit:[^ ]+]] = select i1 [[upper_limit_cmp]], i32 [[upper_limit_loclamp]], i32 0 50*9880d681SAndroid Build Coastguard Worker 51*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: loop: 52*9880d681SAndroid Build Coastguard Worker; CHECK: br i1 true, label %in.bounds.a, label %out.of.bounds 53*9880d681SAndroid Build Coastguard Worker 54*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: in.bounds.a: 55*9880d681SAndroid Build Coastguard Worker; CHECK: br i1 true, label %in.bounds.b, label %out.of.bounds 56*9880d681SAndroid Build Coastguard Worker 57*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: in.bounds.b: 58*9880d681SAndroid Build Coastguard Worker; CHECK: [[main_loop_cond:[^ ]+]] = icmp slt i32 %idx.next, [[upper_limit]] 59*9880d681SAndroid Build Coastguard Worker; CHECK: br i1 [[main_loop_cond]], label %loop, label %main.exit.selector 60*9880d681SAndroid Build Coastguard Worker 61*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: in.bounds.b.postloop: 62*9880d681SAndroid Build Coastguard Worker; CHECK: %next.postloop = icmp slt i32 %idx.next.postloop, %n 63*9880d681SAndroid Build Coastguard Worker; CHECK: br i1 %next.postloop, label %loop.postloop, label %exit.loopexit 64*9880d681SAndroid Build Coastguard Worker 65*9880d681SAndroid Build Coastguard Worker!0 = !{i32 0, i32 2147483647} 66*9880d681SAndroid Build Coastguard Worker!1 = !{!"branch_weights", i32 64, i32 4} 67