30 lines · plain
1; RUN: llc -mtriple=x86_64-pc-linux < %s | FileCheck %s2; RUN: llc -mtriple=x86_64-pc-linux-gnux32 < %s | FileCheck -check-prefix=X32ABI %s3 4; %in is kept in %esi for both ABIs. But the pointer will be passed in %edi5; for x32, not %rdi6 7; CHECK: movl %esi, (%rdi)8; X32ABI: movl %esi, (%edi)9 10define void @foo(ptr nocapture %out, i32 %in) nounwind {11entry:12 store i32 %in, ptr %out, align 413 ret void14}15 16; CHECK: bar17; CHECK: movl (%rsi), %eax18 19; Similarly here, but for loading20; X32ABI: bar21; X32ABI: movl (%esi), %eax22 23define void @bar(ptr nocapture %pOut, ptr nocapture %pIn) nounwind {24entry:25 %0 = load i32, ptr %pIn, align 426 store i32 %0, ptr %pOut, align 427 ret void28}29 30