test/CodeGen/X86/pr30290.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mcpu=btver2 %s -o - | FileCheck %s
   3 ; Test desc: two functions (foo, bar) with byval arguments, should not have
   4 ; reads/writes from/to byval storage re-ordered.
   5 ; When broken, five "1" constants are written into the byval %struct.face,
   6 ; but the subsequent byval read of that struct (call to bar) gets re-ordered
   7 ; before those writes, illegally.
   8 source_filename = "test.c"
   9 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  10 target triple = "x86_64-pc-linux-gnu"
  11
  12 %struct.face = type { [7 x i32] }
  13
  14 ; Function Attrs: noinline nounwind uwtable
  15 declare void @bar(%struct.face* byval nocapture readonly align 8);
  16
  17 ; Function Attrs: noinline nounwind uwtable
  18 define void @foo(%struct.face* byval nocapture align 8) local_unnamed_addr {
  19 ; CHECK-LABEL: foo:
  20 ; CHECK:       # %bb.0:
  21 ; CHECK-NEXT:    subq $40, %rsp
  22 ; CHECK-NEXT:    .cfi_def_cfa_offset 48
  23 ; CHECK-NEXT:    vmovaps {{.*#+}} xmm0 = [1,1,1,1]
  24 ; CHECK-NEXT:    vmovaps %xmm0, {{[0-9]+}}(%rsp)
  25 ; CHECK-NEXT:    movl $1, {{[0-9]+}}(%rsp)
  26 ; CHECK-NEXT:    vmovups {{[0-9]+}}(%rsp), %xmm0
  27 ; CHECK-NEXT:    vmovups %xmm0, {{[0-9]+}}(%rsp)
  28 ; CHECK-NEXT:    vmovaps {{[0-9]+}}(%rsp), %xmm0
  29 ; CHECK-NEXT:    vmovups %xmm0, (%rsp)
  30 ; CHECK-NEXT:    callq bar
  31 ; CHECK-NEXT:    addq $40, %rsp
  32 ; CHECK-NEXT:    .cfi_def_cfa_offset 8
  33 ; CHECK-NEXT:    retq
  34   %2 = bitcast %struct.face* %0 to <4 x i32>*
  35   store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %2, align 8
  36   %3 = getelementptr inbounds %struct.face, %struct.face* %0, i64 0, i32 0, i64 4
  37   store i32 1, i32* %3, align 8
  38   call void @bar(%struct.face* byval nonnull align 8 %0)
  39   ret void
  40 }