1; RUN: llc -stop-after=machine-scheduler -debug-only dagcombine,selectiondag -o - %s 2>&1 | FileCheck %s 2; REQUIRES: asserts 3; pr42638 4target triple = "armv8r-arm-none-eabi" 5%struct.__va_list = type { ptr } 6define double @foo(i32 %P0, ...) #0 { 7entry: 8 %V1 = alloca [8 x i8], align 8 9 %vl = alloca %struct.__va_list, align 4 10 call void asm sideeffect "", "r"(ptr nonnull %V1) 11 call void @llvm.va_start(ptr nonnull %vl) 12 %argp.cur3 = load ptr, ptr %vl, align 4 13 %v.sroa.0.0.copyload = load double, ptr %argp.cur3, align 4 14 ret double %v.sroa.0.0.copyload 15} 16 17declare void @llvm.va_start(ptr) 18 19attributes #0 = { "target-cpu"="cortex-r52" "target-features"="-fp64" } 20 21; Ensures that the machine scheduler does not move accessing the upper 22; 32 bits of the double to before actually storing it to memory 23 24; CHECK: Creating new node: {{.*}} = add FrameIndex:i32<2>, Constant:i32<4> 25; CHECK-NEXT: Creating new node: {{.*}} i32,ch = load<(load (s32) from [[MEM:%.*]] + 4)> 26; CHECK: INLINEASM 27; CHECK: (load (s32) from [[MEM]] + 4) 28; CHECK-NOT: (store (s32) into [[MEM]] + 4) 29 30 31