214 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -O2 -verify-machineinstrs -mcpu=pwr4 -mattr=-altivec -mtriple powerpc-ibm-aix-xcoff < %s | FileCheck %s3 4define i32 @int_va_arg(i32 %a, ...) local_unnamed_addr {5; CHECK-LABEL: int_va_arg:6; CHECK: # %bb.0: # %entry7; CHECK-NEXT: addi 11, 1, 288; CHECK-NEXT: stw 4, 28(1)9; CHECK-NEXT: addi 4, 1, 3210; CHECK-NEXT: stw 6, 36(1)11; CHECK-NEXT: stw 11, -4(1)12; CHECK-NEXT: stw 11, -8(1)13; CHECK-NEXT: stw 4, -4(1)14; CHECK-NEXT: lwz 6, 28(1)15; CHECK-NEXT: stw 4, -8(1)16; CHECK-NEXT: add 3, 6, 317; CHECK-NEXT: lwz 4, 28(1)18; CHECK-NEXT: slwi 4, 4, 119; CHECK-NEXT: stw 7, 40(1)20; CHECK-NEXT: add 3, 3, 421; CHECK-NEXT: stw 8, 44(1)22; CHECK-NEXT: stw 9, 48(1)23; CHECK-NEXT: stw 10, 52(1)24; CHECK-NEXT: stw 5, 32(1)25; CHECK-NEXT: blr26entry:27 %arg1 = alloca ptr, align 428 %arg2 = alloca ptr, align 429 call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %arg1)30 call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %arg2)31 call void @llvm.va_start(ptr nonnull %arg1)32 call void @llvm.va_copy(ptr nonnull %arg2, ptr nonnull %arg1)33 %argp.cur = load ptr, ptr %arg1, align 434 %argp.next = getelementptr inbounds i8, ptr %argp.cur, i32 435 store ptr %argp.next, ptr %arg1, align 436 %0 = load i32, ptr %argp.cur, align 437 %add = add nsw i32 %0, %a38 %argp.cur2 = load ptr, ptr %arg2, align 439 %argp.next3 = getelementptr inbounds i8, ptr %argp.cur2, i32 440 store ptr %argp.next3, ptr %arg2, align 441 %1 = load i32, ptr %argp.cur2, align 442 %mul = shl i32 %1, 143 %add4 = add nsw i32 %add, %mul44 call void @llvm.va_end(ptr nonnull %arg1)45 call void @llvm.va_end(ptr nonnull %arg2)46 call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %arg2)47 call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %arg1)48 ret i32 %add449}50 51declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture)52declare void @llvm.va_start(ptr)53declare void @llvm.va_copy(ptr, ptr)54declare void @llvm.va_end(ptr)55declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture)56 57define i32 @int_stack_va_arg(i32 %one, i32 %two, i32 %three, i32 %four, i32 %five, i32 %six, i32 %seven, i32 %eight, ...) local_unnamed_addr {58; CHECK-LABEL: int_stack_va_arg:59; CHECK: # %bb.0: # %entry60; CHECK-NEXT: add 3, 4, 361; CHECK-NEXT: lwz 4, 56(1)62; CHECK-NEXT: li 11, 463; CHECK-NEXT: add 3, 3, 564; CHECK-NEXT: addi 12, 1, 5665; CHECK-NEXT: add 3, 3, 666; CHECK-NEXT: rlwimi 12, 11, 0, 29, 2967; CHECK-NEXT: stw 12, -4(1)68; CHECK-NEXT: add 3, 3, 769; CHECK-NEXT: add 3, 3, 870; CHECK-NEXT: add 3, 3, 971; CHECK-NEXT: add 3, 3, 1072; CHECK-NEXT: add 3, 3, 473; CHECK-NEXT: slwi 4, 4, 174; CHECK-NEXT: add 3, 3, 475; CHECK-NEXT: blr76entry:77 %arg1 = alloca ptr, align 478 %arg2 = alloca ptr, align 479 call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %arg1)80 call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %arg2)81 call void @llvm.va_start(ptr nonnull %arg1)82 call void @llvm.va_copy(ptr nonnull %arg2, ptr nonnull %arg1)83 %add = add nsw i32 %two, %one84 %add2 = add nsw i32 %add, %three85 %add3 = add nsw i32 %add2, %four86 %add4 = add nsw i32 %add3, %five87 %add5 = add nsw i32 %add4, %six88 %add6 = add nsw i32 %add5, %seven89 %add7 = add nsw i32 %add6, %eight90 %argp.cur = load ptr, ptr %arg1, align 491 %argp.next = getelementptr inbounds i8, ptr %argp.cur, i32 492 store ptr %argp.next, ptr %arg1, align 493 %0 = load i32, ptr %argp.cur, align 494 %add8 = add nsw i32 %add7, %095 %argp.cur9 = load ptr, ptr %arg2, align 496 %argp.next10 = getelementptr inbounds i8, ptr %argp.cur9, i32 497 store ptr %argp.next10, ptr %arg2, align 498 %1 = load i32, ptr %argp.cur9, align 499 %mul = shl i32 %1, 1100 %add11 = add nsw i32 %add8, %mul101 call void @llvm.va_end(ptr nonnull %arg1)102 call void @llvm.va_end(ptr nonnull %arg2)103 call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %arg2)104 call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %arg1)105 ret i32 %add11106}107 108define double @double_va_arg(double %a, ...) local_unnamed_addr {109; CHECK-LABEL: double_va_arg:110; CHECK: # %bb.0: # %entry111; CHECK-NEXT: stw 5, -16(1)112; CHECK-NEXT: addi 3, 1, 32113; CHECK-NEXT: stw 6, -12(1)114; CHECK-NEXT: lfd 0, -16(1)115; CHECK-NEXT: stw 5, -24(1)116; CHECK-NEXT: fadd 0, 0, 1117; CHECK-NEXT: stw 6, -20(1)118; CHECK-NEXT: lfd 1, -24(1)119; CHECK-NEXT: fadd 1, 1, 1120; CHECK-NEXT: stw 7, 40(1)121; CHECK-NEXT: fadd 1, 0, 1122; CHECK-NEXT: stw 5, 32(1)123; CHECK-NEXT: stw 6, 36(1)124; CHECK-NEXT: stw 8, 44(1)125; CHECK-NEXT: stw 9, 48(1)126; CHECK-NEXT: stw 10, 52(1)127; CHECK-NEXT: stw 3, -4(1)128; CHECK-NEXT: stw 3, -8(1)129; CHECK-NEXT: blr130entry:131 %arg1 = alloca ptr, align 4132 %arg2 = alloca ptr, align 4133 call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %arg1)134 call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %arg2)135 call void @llvm.va_start(ptr nonnull %arg1)136 call void @llvm.va_copy(ptr nonnull %arg2, ptr nonnull %arg1)137 %argp.cur = load ptr, ptr %arg1, align 4138 %argp.next = getelementptr inbounds i8, ptr %argp.cur, i32 8139 store ptr %argp.next, ptr %arg1, align 4140 %0 = load double, ptr %argp.cur, align 4141 %add = fadd double %0, %a142 %argp.cur2 = load ptr, ptr %arg2, align 4143 %argp.next3 = getelementptr inbounds i8, ptr %argp.cur2, i32 8144 store ptr %argp.next3, ptr %arg2, align 4145 %1 = load double, ptr %argp.cur2, align 4146 %mul = fmul double %1, 2.000000e+00147 %add4 = fadd double %add, %mul148 call void @llvm.va_end(ptr nonnull %arg1)149 call void @llvm.va_end(ptr nonnull %arg2)150 call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %arg2)151 call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %arg1)152 ret double %add4153}154 155define double @double_stack_va_arg(double %one, double %two, double %three, double %four, double %five, double %six, double %seven, double %eight, double %nine, double %ten, double %eleven, double %twelve, double %thirteen, ...) local_unnamed_addr {156; CHECK-LABEL: double_stack_va_arg:157; CHECK: # %bb.0: # %entry158; CHECK-NEXT: fadd 0, 1, 2159; CHECK-NEXT: addi 3, 1, 128160; CHECK-NEXT: lwz 4, 132(1)161; CHECK-NEXT: fadd 0, 0, 3162; CHECK-NEXT: stw 3, -4(1)163; CHECK-NEXT: fadd 0, 0, 4164; CHECK-NEXT: lwz 3, 128(1)165; CHECK-NEXT: fadd 0, 0, 5166; CHECK-NEXT: stw 3, -16(1)167; CHECK-NEXT: fadd 0, 0, 6168; CHECK-NEXT: stw 4, -12(1)169; CHECK-NEXT: fadd 0, 0, 7170; CHECK-NEXT: lfd 1, -16(1)171; CHECK-NEXT: fadd 0, 0, 8172; CHECK-NEXT: stw 3, -24(1)173; CHECK-NEXT: fadd 0, 0, 9174; CHECK-NEXT: stw 4, -20(1)175; CHECK-NEXT: fadd 0, 0, 10176; CHECK-NEXT: fadd 0, 0, 11177; CHECK-NEXT: fadd 0, 0, 12178; CHECK-NEXT: fadd 0, 0, 13179; CHECK-NEXT: fadd 0, 0, 1180; CHECK-NEXT: lfd 1, -24(1)181; CHECK-NEXT: fadd 1, 1, 1182; CHECK-NEXT: fadd 1, 0, 1183; CHECK-NEXT: blr184entry:185 %arg1 = alloca ptr, align 4186 %arg2 = alloca ptr, align 4187 call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %arg1)188 call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %arg2)189 call void @llvm.va_start(ptr nonnull %arg1)190 call void @llvm.va_copy(ptr nonnull %arg2, ptr nonnull %arg1)191 %add = fadd double %one, %two192 %add2 = fadd double %add, %three193 %add3 = fadd double %add2, %four194 %add4 = fadd double %add3, %five195 %add5 = fadd double %add4, %six196 %add6 = fadd double %add5, %seven197 %add7 = fadd double %add6, %eight198 %add8 = fadd double %add7, %nine199 %add9 = fadd double %add8, %ten200 %add10 = fadd double %add9, %eleven201 %add11 = fadd double %add10, %twelve202 %add12 = fadd double %add11, %thirteen203 %argp.cur1 = load ptr, ptr %arg1, align 4204 %0 = load double, ptr %argp.cur1, align 4205 %add13 = fadd double %add12, %0206 %argp.cur142 = load ptr, ptr %arg2, align 4207 %1 = load double, ptr %argp.cur142, align 4208 %mul = fmul double %1, 2.000000e+00209 %add16 = fadd double %add13, %mul210 call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %arg2)211 call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %arg1)212 ret double %add16213}214