193 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 52; RUN: llc -O2 -mtriple powerpc64-ibm-aix-xcoff -mcpu=ppc -stop-after=machine-cp -verify-machineinstrs < %s | FileCheck %s3 4define i32 @int_va_arg(i32 %a, ...) local_unnamed_addr {5 ; CHECK-LABEL: name: int_va_arg6 ; CHECK: bb.0.entry:7 ; CHECK-NEXT: liveins: $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x108 ; CHECK-NEXT: {{ $}}9 ; CHECK-NEXT: renamable $x11 = ADDI8 %fixed-stack.0, 010 ; CHECK-NEXT: STD killed renamable $x6, 16, %fixed-stack.0 :: (store (s64))11 ; CHECK-NEXT: STD killed renamable $x7, 24, %fixed-stack.0 :: (store (s64))12 ; CHECK-NEXT: STD killed renamable $x8, 32, %fixed-stack.0 :: (store (s64))13 ; CHECK-NEXT: STD killed renamable $x9, 40, %fixed-stack.0 :: (store (s64))14 ; CHECK-NEXT: STD killed renamable $x10, 48, %fixed-stack.0 :: (store (s64))15 ; CHECK-NEXT: STD renamable $x11, 0, %stack.1.arg2 :: (store (s64) into %ir.arg2)16 ; CHECK-NEXT: renamable $x6 = LD 0, %stack.1.arg2 :: (load (s64) from %ir.arg2)17 ; CHECK-NEXT: renamable $x7 = disjoint ADDI8 %fixed-stack.0, 418 ; CHECK-NEXT: renamable $r8 = LWZ 0, %fixed-stack.0 :: (load (s32) from %fixed-stack.0, align 8)19 ; CHECK-NEXT: renamable $x9 = ADDI8 renamable $x6, 420 ; CHECK-NEXT: STD killed renamable $x4, 0, %fixed-stack.0 :: (store (s64) into %fixed-stack.0)21 ; CHECK-NEXT: STD killed renamable $x5, 8, %fixed-stack.0 :: (store (s64) into %fixed-stack.0 + 8)22 ; CHECK-NEXT: STD killed renamable $x11, 0, %stack.0.arg1 :: (store (s64) into %ir.arg1)23 ; CHECK-NEXT: STD killed renamable $x7, 0, %stack.0.arg1 :: (store (s64) into %ir.arg1)24 ; CHECK-NEXT: STD killed renamable $x9, 0, %stack.1.arg2 :: (store (s64) into %ir.arg2)25 ; CHECK-NEXT: renamable $r4 = LWZ 0, killed renamable $x6 :: (load (s32))26 ; CHECK-NEXT: renamable $r3 = nsw ADD4 killed renamable $r8, renamable $r3, implicit killed $x327 ; CHECK-NEXT: renamable $r4 = RLWINM killed renamable $r4, 1, 0, 3028 ; CHECK-NEXT: renamable $r3 = nsw ADD4 killed renamable $r3, killed renamable $r4, implicit-def $x329 ; CHECK-NEXT: BLR8 implicit $lr8, implicit $rm, implicit $x330entry:31 %arg1 = alloca ptr, align 832 %arg2 = alloca ptr, align 833 call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %arg1)34 call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %arg2)35 call void @llvm.va_start(ptr nonnull %arg1)36 call void @llvm.va_copy(ptr nonnull %arg2, ptr nonnull %arg1)37 %0 = va_arg ptr %arg1, i3238 %add = add nsw i32 %0, %a39 %1 = va_arg ptr %arg2, i3240 %mul = shl i32 %1, 141 %add3 = add nsw i32 %add, %mul42 call void @llvm.va_end(ptr nonnull %arg1)43 call void @llvm.va_end(ptr nonnull %arg2)44 call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %arg2)45 call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %arg1)46 ret i32 %add347}48 49declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture)50declare void @llvm.va_start(ptr)51declare void @llvm.va_copy(ptr, ptr)52declare void @llvm.va_end(ptr)53declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture)54 55define i32 @int_stack_va_arg(i32 %one, i32 %two, i32 %three, i32 %four, i32 %five, i32 %six, i32 %seven, i32 %eight, ...) local_unnamed_addr {56 ; CHECK-LABEL: name: int_stack_va_arg57 ; CHECK: bb.0.entry:58 ; CHECK-NEXT: liveins: $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x1059 ; CHECK-NEXT: {{ $}}60 ; CHECK-NEXT: renamable $r11 = LWZ 0, %fixed-stack.0 :: (load (s32) from %fixed-stack.0, align 16)61 ; CHECK-NEXT: renamable $r3 = nsw ADD4 renamable $r4, renamable $r3, implicit killed $x3, implicit killed $x462 ; CHECK-NEXT: renamable $r3 = nsw ADD4 killed renamable $r3, renamable $r5, implicit killed $x563 ; CHECK-NEXT: renamable $r3 = nsw ADD4 killed renamable $r3, renamable $r6, implicit killed $x664 ; CHECK-NEXT: renamable $r3 = nsw ADD4 killed renamable $r3, renamable $r7, implicit killed $x765 ; CHECK-NEXT: renamable $r3 = nsw ADD4 killed renamable $r3, renamable $r8, implicit killed $x866 ; CHECK-NEXT: renamable $r3 = nsw ADD4 killed renamable $r3, renamable $r9, implicit killed $x967 ; CHECK-NEXT: renamable $r3 = nsw ADD4 killed renamable $r3, renamable $r10, implicit killed $x1068 ; CHECK-NEXT: renamable $r3 = nsw ADD4 killed renamable $r3, renamable $r1169 ; CHECK-NEXT: renamable $r4 = RLWINM killed renamable $r11, 1, 0, 3070 ; CHECK-NEXT: renamable $r3 = nsw ADD4 killed renamable $r3, killed renamable $r4, implicit-def $x371 ; CHECK-NEXT: BLR8 implicit $lr8, implicit $rm, implicit $x372entry:73 %arg1 = alloca ptr, align 874 %arg2 = alloca ptr, align 875 call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %arg1)76 call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %arg2)77 call void @llvm.va_start(ptr nonnull %arg1)78 call void @llvm.va_copy(ptr nonnull %arg2, ptr nonnull %arg1)79 %add = add nsw i32 %two, %one80 %add2 = add nsw i32 %add, %three81 %add3 = add nsw i32 %add2, %four82 %add4 = add nsw i32 %add3, %five83 %add5 = add nsw i32 %add4, %six84 %add6 = add nsw i32 %add5, %seven85 %add7 = add nsw i32 %add6, %eight86 %0 = va_arg ptr %arg1, i3287 %add8 = add nsw i32 %add7, %088 %1 = va_arg ptr %arg2, i3289 %mul = shl i32 %1, 190 %add10 = add nsw i32 %add8, %mul91 call void @llvm.va_end(ptr nonnull %arg1)92 call void @llvm.va_end(ptr nonnull %arg2)93 call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %arg2)94 call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %arg1)95 ret i32 %add1096}97 98define double @double_va_arg(double %a, ...) local_unnamed_addr {99 ; CHECK-LABEL: name: double_va_arg100 ; CHECK: bb.0.entry:101 ; CHECK-NEXT: liveins: $f1, $x4, $x5, $x6, $x7, $x8, $x9, $x10102 ; CHECK-NEXT: {{ $}}103 ; CHECK-NEXT: renamable $x3 = ADDI8 %fixed-stack.0, 0104 ; CHECK-NEXT: STD killed renamable $x6, 16, %fixed-stack.0 :: (store (s64))105 ; CHECK-NEXT: STD killed renamable $x7, 24, %fixed-stack.0 :: (store (s64))106 ; CHECK-NEXT: STD killed renamable $x8, 32, %fixed-stack.0 :: (store (s64))107 ; CHECK-NEXT: STD killed renamable $x9, 40, %fixed-stack.0 :: (store (s64))108 ; CHECK-NEXT: STD killed renamable $x10, 48, %fixed-stack.0 :: (store (s64))109 ; CHECK-NEXT: STD renamable $x3, 0, %stack.1.arg2 :: (store (s64) into %ir.arg2)110 ; CHECK-NEXT: renamable $x6 = LD 0, %stack.1.arg2 :: (load (s64) from %ir.arg2)111 ; CHECK-NEXT: renamable $x7 = ADDI8 %fixed-stack.0, 8112 ; CHECK-NEXT: STD killed renamable $x4, 0, %fixed-stack.0 :: (store (s64) into %fixed-stack.0)113 ; CHECK-NEXT: STD killed renamable $x3, 0, %stack.0.arg1 :: (store (s64) into %ir.arg1)114 ; CHECK-NEXT: STD killed renamable $x7, 0, %stack.0.arg1 :: (store (s64) into %ir.arg1)115 ; CHECK-NEXT: renamable $f0 = LFD 0, %fixed-stack.0 :: (load (s64))116 ; CHECK-NEXT: renamable $x3 = ADDI8 renamable $x6, 8117 ; CHECK-NEXT: STD killed renamable $x5, 8, %fixed-stack.0 :: (store (s64) into %fixed-stack.0 + 8)118 ; CHECK-NEXT: STD killed renamable $x3, 0, %stack.1.arg2 :: (store (s64) into %ir.arg2)119 ; CHECK-NEXT: renamable $f2 = LFD 0, killed renamable $x6 :: (load (s64))120 ; CHECK-NEXT: renamable $f0 = nofpexcept FADD killed renamable $f0, killed renamable $f1, implicit $rm121 ; CHECK-NEXT: renamable $f1 = nofpexcept FADD killed renamable $f2, renamable $f2, implicit $rm122 ; CHECK-NEXT: renamable $f1 = nofpexcept FADD killed renamable $f0, killed renamable $f1, implicit $rm123 ; CHECK-NEXT: BLR8 implicit $lr8, implicit $rm, implicit $f1124entry:125 %arg1 = alloca ptr, align 8126 %arg2 = alloca ptr, align 8127 call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %arg1)128 call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %arg2)129 call void @llvm.va_start(ptr nonnull %arg1)130 call void @llvm.va_copy(ptr nonnull %arg2, ptr nonnull %arg1)131 %0 = va_arg ptr %arg1, double132 %add = fadd double %0, %a133 %1 = va_arg ptr %arg2, double134 %mul = fmul double %1, 2.000000e+00135 %add3 = fadd double %add, %mul136 call void @llvm.va_end(ptr nonnull %arg1)137 call void @llvm.va_end(ptr nonnull %arg2)138 call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %arg2)139 call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %arg1)140 ret double %add3141}142 143define 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 {144 ; CHECK-LABEL: name: double_stack_va_arg145 ; CHECK: bb.0.entry:146 ; CHECK-NEXT: liveins: $f1, $f2, $f3, $f4, $f5, $f6, $f7, $f8, $f9, $f10, $f11, $f12, $f13147 ; CHECK-NEXT: {{ $}}148 ; CHECK-NEXT: renamable $f0 = LFD 0, %fixed-stack.0 :: (load (s64))149 ; CHECK-NEXT: renamable $f1 = nofpexcept FADD killed renamable $f1, killed renamable $f2, implicit $rm150 ; CHECK-NEXT: renamable $f1 = nofpexcept FADD killed renamable $f1, killed renamable $f3, implicit $rm151 ; CHECK-NEXT: renamable $f1 = nofpexcept FADD killed renamable $f1, killed renamable $f4, implicit $rm152 ; CHECK-NEXT: renamable $f1 = nofpexcept FADD killed renamable $f1, killed renamable $f5, implicit $rm153 ; CHECK-NEXT: renamable $f1 = nofpexcept FADD killed renamable $f1, killed renamable $f6, implicit $rm154 ; CHECK-NEXT: renamable $f1 = nofpexcept FADD killed renamable $f1, killed renamable $f7, implicit $rm155 ; CHECK-NEXT: renamable $f1 = nofpexcept FADD killed renamable $f1, killed renamable $f8, implicit $rm156 ; CHECK-NEXT: renamable $f1 = nofpexcept FADD killed renamable $f1, killed renamable $f9, implicit $rm157 ; CHECK-NEXT: renamable $f1 = nofpexcept FADD killed renamable $f1, killed renamable $f10, implicit $rm158 ; CHECK-NEXT: renamable $f1 = nofpexcept FADD killed renamable $f1, killed renamable $f11, implicit $rm159 ; CHECK-NEXT: renamable $f1 = nofpexcept FADD killed renamable $f1, killed renamable $f12, implicit $rm160 ; CHECK-NEXT: renamable $f1 = nofpexcept FADD killed renamable $f1, killed renamable $f13, implicit $rm161 ; CHECK-NEXT: renamable $f1 = nofpexcept FADD killed renamable $f1, renamable $f0, implicit $rm162 ; CHECK-NEXT: renamable $f0 = nofpexcept FADD killed renamable $f0, renamable $f0, implicit $rm163 ; CHECK-NEXT: renamable $f1 = nofpexcept FADD killed renamable $f1, killed renamable $f0, implicit $rm164 ; CHECK-NEXT: BLR8 implicit $lr8, implicit $rm, implicit $f1165entry:166 %arg1 = alloca ptr, align 8167 %arg2 = alloca ptr, align 8168 call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %arg1)169 call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %arg2)170 call void @llvm.va_start(ptr nonnull %arg1)171 call void @llvm.va_copy(ptr nonnull %arg2, ptr nonnull %arg1)172 %add = fadd double %one, %two173 %add2 = fadd double %add, %three174 %add3 = fadd double %add2, %four175 %add4 = fadd double %add3, %five176 %add5 = fadd double %add4, %six177 %add6 = fadd double %add5, %seven178 %add7 = fadd double %add6, %eight179 %add8 = fadd double %add7, %nine180 %add9 = fadd double %add8, %ten181 %add10 = fadd double %add9, %eleven182 %add11 = fadd double %add10, %twelve183 %add12 = fadd double %add11, %thirteen184 %0 = va_arg ptr %arg1, double185 %add13 = fadd double %add12, %0186 %1 = va_arg ptr %arg2, double187 %mul = fmul double %1, 2.000000e+00188 %add15 = fadd double %add13, %mul189 call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %arg2)190 call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %arg1)191 ret double %add15192}193