132 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -disable-lsr -ppc-asm-full-reg-names -verify-machineinstrs \3; RUN: -ppc-formprep-update-nonconst-inc -mtriple=powerpc64le-unknown-linux-gnu \4; RUN: -mcpu=pwr9 < %s | FileCheck %s5 6; long long foo(char *p, int n, int count) {7; int j = 0;8; long long sum = 0;9; for (int i = 0; i < n; i++) {10; sum += *(unsigned long long *)(p + j + 5);11; sum += *(unsigned long long *)(p + j + 9);12; j += count;13; }14; return sum;15; }16 17define i64 @foo(ptr %p, i32 signext %n, i32 signext %count) {18; CHECK-LABEL: foo:19; CHECK: # %bb.0: # %entry20; CHECK-NEXT: cmpwi r4, 021; CHECK-NEXT: ble cr0, .LBB0_422; CHECK-NEXT: # %bb.1: # %for.body.preheader23; CHECK-NEXT: addi r6, r3, 524; CHECK-NEXT: addi r3, r4, -125; CHECK-NEXT: clrldi r3, r3, 3226; CHECK-NEXT: addi r3, r3, 127; CHECK-NEXT: mtctr r328; CHECK-NEXT: li r3, 029; CHECK-NEXT: .p2align 530; CHECK-NEXT: .LBB0_2: # %for.body31; CHECK-NEXT: #32; CHECK-NEXT: ld r4, 0(r6)33; CHECK-NEXT: add r3, r4, r334; CHECK-NEXT: ld r4, 4(r6)35; CHECK-NEXT: add r6, r6, r536; CHECK-NEXT: add r3, r3, r437; CHECK-NEXT: bdnz .LBB0_238; CHECK-NEXT: # %bb.3: # %for.cond.cleanup39; CHECK-NEXT: blr40; CHECK-NEXT: .LBB0_4:41; CHECK-NEXT: li r3, 042; CHECK-NEXT: blr43entry:44 %cmp16 = icmp sgt i32 %n, 045 br i1 %cmp16, label %for.body.preheader, label %for.cond.cleanup46 47for.body.preheader: ; preds = %entry48 %0 = sext i32 %count to i6449 br label %for.body50 51for.cond.cleanup: ; preds = %for.body, %entry52 %sum.0.lcssa = phi i64 [ 0, %entry ], [ %add5, %for.body ]53 ret i64 %sum.0.lcssa54 55for.body: ; preds = %for.body.preheader, %for.body56 %indvars.iv = phi i64 [ 0, %for.body.preheader ], [ %indvars.iv.next, %for.body ]57 %i.019 = phi i32 [ 0, %for.body.preheader ], [ %inc, %for.body ]58 %sum.018 = phi i64 [ 0, %for.body.preheader ], [ %add5, %for.body ]59 %add.ptr = getelementptr inbounds i8, ptr %p, i64 %indvars.iv60 %add.ptr1 = getelementptr inbounds i8, ptr %add.ptr, i64 561 %1 = load i64, ptr %add.ptr1, align 862 %add = add i64 %1, %sum.01863 %add.ptr4 = getelementptr inbounds i8, ptr %add.ptr, i64 964 %2 = load i64, ptr %add.ptr4, align 865 %add5 = add i64 %add, %266 %indvars.iv.next = add nsw i64 %indvars.iv, %067 %inc = add nuw nsw i32 %i.019, 168 %exitcond.not = icmp eq i32 %inc, %n69 br i1 %exitcond.not, label %for.cond.cleanup, label %for.body70}71 72; char foo1(char *p, int n, int count) {73; int j = 0;74; char sum = 0;75; for (int i = 0; i < n; i++) {76; sum += *(p + j + 1000);77; j += count;78; }79; return sum;80; }81 82define zeroext i8 @foo1(ptr %p, i32 signext %n, i32 signext %count) {83; CHECK-LABEL: foo1:84; CHECK: # %bb.0: # %entry85; CHECK-NEXT: cmpwi r4, 086; CHECK-NEXT: ble cr0, .LBB1_487; CHECK-NEXT: # %bb.1: # %for.body.preheader88; CHECK-NEXT: sub r3, r3, r589; CHECK-NEXT: addi r6, r3, 100090; CHECK-NEXT: addi r3, r4, -191; CHECK-NEXT: clrldi r3, r3, 3292; CHECK-NEXT: addi r3, r3, 193; CHECK-NEXT: mtctr r394; CHECK-NEXT: li r3, 095; CHECK-NEXT: .p2align 496; CHECK-NEXT: .LBB1_2: # %for.body97; CHECK-NEXT: #98; CHECK-NEXT: lbzux r4, r6, r599; CHECK-NEXT: add r3, r4, r3100; CHECK-NEXT: bdnz .LBB1_2101; CHECK-NEXT: # %bb.3: # %for.cond.cleanup102; CHECK-NEXT: clrldi r3, r3, 56103; CHECK-NEXT: blr104; CHECK-NEXT: .LBB1_4:105; CHECK-NEXT: li r3, 0106; CHECK-NEXT: blr107entry:108 %cmp10 = icmp sgt i32 %n, 0109 br i1 %cmp10, label %for.body.preheader, label %for.cond.cleanup110 111for.body.preheader: ; preds = %entry112 %0 = sext i32 %count to i64113 %add.ptr = getelementptr inbounds i8, ptr %p, i64 1000114 br label %for.body115 116for.cond.cleanup: ; preds = %for.body, %entry117 %sum.0.lcssa = phi i8 [ 0, %entry ], [ %add, %for.body ]118 ret i8 %sum.0.lcssa119 120for.body: ; preds = %for.body.preheader, %for.body121 %indvars.iv = phi i64 [ 0, %for.body.preheader ], [ %indvars.iv.next, %for.body ]122 %i.013 = phi i32 [ 0, %for.body.preheader ], [ %inc, %for.body ]123 %sum.012 = phi i8 [ 0, %for.body.preheader ], [ %add, %for.body ]124 %add.ptr1 = getelementptr inbounds i8, ptr %add.ptr, i64 %indvars.iv125 %1 = load i8, ptr %add.ptr1, align 1126 %add = add i8 %1, %sum.012127 %indvars.iv.next = add nsw i64 %indvars.iv, %0128 %inc = add nuw nsw i32 %i.013, 1129 %exitcond.not = icmp eq i32 %inc, %n130 br i1 %exitcond.not, label %for.cond.cleanup, label %for.body131}132