61 lines · plain
1; RUN: llc < %s -mtriple=arm64-eabi -enable-misched=false -verify-machineinstrs | FileCheck %s2 3; The next set of tests makes sure we can combine the second instruction into4; the first.5 6; CHECK-LABEL: ldp_int_aa7; CHECK: ldp w8, w9, [x1]8; CHECK: str w0, [x1, #8]9; CHECK: ret10define i32 @ldp_int_aa(i32 %a, ptr %p) nounwind {11 %tmp = load i32, ptr %p, align 412 %str.ptr = getelementptr inbounds i32, ptr %p, i64 213 store i32 %a, ptr %str.ptr, align 414 %add.ptr = getelementptr inbounds i32, ptr %p, i64 115 %tmp1 = load i32, ptr %add.ptr, align 416 %add = add nsw i32 %tmp1, %tmp17 ret i32 %add18}19 20; CHECK-LABEL: ldp_long_aa21; CHECK: ldp x8, x9, [x1]22; CHECK: str x0, [x1, #16]23; CHECK: ret24define i64 @ldp_long_aa(i64 %a, ptr %p) nounwind {25 %tmp = load i64, ptr %p, align 826 %str.ptr = getelementptr inbounds i64, ptr %p, i64 227 store i64 %a, ptr %str.ptr, align 428 %add.ptr = getelementptr inbounds i64, ptr %p, i64 129 %tmp1 = load i64, ptr %add.ptr, align 830 %add = add nsw i64 %tmp1, %tmp31 ret i64 %add32}33 34; CHECK-LABEL: ldp_float_aa35; CHECK: str s0, [x0, #8]36; CHECK: ldp s1, s0, [x0]37; CHECK: ret38define float @ldp_float_aa(float %a, ptr %p) nounwind {39 %tmp = load float, ptr %p, align 440 %str.ptr = getelementptr inbounds float, ptr %p, i64 241 store float %a, ptr %str.ptr, align 442 %add.ptr = getelementptr inbounds float, ptr %p, i64 143 %tmp1 = load float, ptr %add.ptr, align 444 %add = fadd float %tmp, %tmp145 ret float %add46}47 48; CHECK-LABEL: ldp_double_aa49; CHECK: str d0, [x0, #16]50; CHECK: ldp d1, d0, [x0]51; CHECK: ret52define double @ldp_double_aa(double %a, ptr %p) nounwind {53 %tmp = load double, ptr %p, align 854 %str.ptr = getelementptr inbounds double, ptr %p, i64 255 store double %a, ptr %str.ptr, align 456 %add.ptr = getelementptr inbounds double, ptr %p, i64 157 %tmp1 = load double, ptr %add.ptr, align 858 %add = fadd double %tmp, %tmp159 ret double %add60}61