llvm/test/CodeGen/X86/unaligned-spill-folding.ll

   1 ; RUN: split-file %s %t
   2 ; RUN: cat %t/main.ll %t/align4.ll > %t/a2.ll
   3 ; RUN: cat %t/main.ll %t/align16.ll > %t/b2.ll
   4 ; RUN: llc -mtriple=i386-unknown-freebsd -mcpu=core2 -relocation-model=pic < %t/a2.ll | FileCheck %s -check-prefix=UNALIGNED
   5 ; RUN: llc -mtriple=i386-unknown-freebsd -mcpu=core2 -relocation-model=pic < %t/b2.ll | FileCheck %s -check-prefix=ALIGNED
   6 ; RUN: llc -mtriple=i386-unknown-freebsd -mcpu=core2 -stackrealign -relocation-model=pic < %t/a2.ll | FileCheck %s -check-prefix=FORCEALIGNED
   7
   8 ;--- main.ll
   9 @arr = internal unnamed_addr global [32 x i32] zeroinitializer, align 16
  10
  11 ; PR12250
  12 define i32 @test1() {
  13 vector.ph:
  14   br label %vector.body
  15
  16 vector.body:
  17   %index = phi i32 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  18   %0 = getelementptr inbounds [32 x i32], [32 x i32]* @arr, i32 0, i32 %index
  19   %1 = bitcast i32* %0 to <4 x i32>*
  20   %wide.load = load <4 x i32>, <4 x i32>* %1, align 16
  21   %2 = add nsw <4 x i32> %wide.load, <i32 10, i32 10, i32 10, i32 10>
  22   %3 = xor <4 x i32> %2, <i32 123345, i32 123345, i32 123345, i32 123345>
  23   %4 = add nsw <4 x i32> %3, <i32 112, i32 112, i32 112, i32 112>
  24   %5 = xor <4 x i32> %4, <i32 543345, i32 543345, i32 543345, i32 543345>
  25   %6 = add nsw <4 x i32> %5, <i32 73, i32 73, i32 73, i32 73>
  26   %7 = xor <4 x i32> %6, <i32 345987, i32 345987, i32 345987, i32 345987>
  27   %8 = add nsw <4 x i32> %7, <i32 48, i32 48, i32 48, i32 48>
  28   %9 = xor <4 x i32> %8, <i32 123987, i32 123987, i32 123987, i32 123987>
  29   store <4 x i32> %9, <4 x i32>* %1, align 16
  30   %index.next = add i32 %index, 4
  31   %10 = icmp eq i32 %index.next, 32
  32   br i1 %10, label %middle.block, label %vector.body
  33
  34 middle.block:
  35   ret i32 0
  36
  37 ; We can't fold the spill into a padd unless the stack is aligned. Just spilling
  38 ; doesn't force stack realignment though
  39 ; UNALIGNED-LABEL: @test1
  40 ; UNALIGNED-NOT: andl $-{{..}}, %esp
  41 ; UNALIGNED: movdqu {{.*}} # 16-byte Spill
  42 ; UNALIGNED-NOT: paddd {{.*}} # 16-byte Folded Reload
  43
  44 ; ALIGNED-LABEL: @test1
  45 ; ALIGNED-NOT: andl $-{{..}}, %esp
  46 ; ALIGNED: movdqa {{.*}} # 16-byte Spill
  47 ; ALIGNED: paddd {{.*}} # 16-byte Folded Reload
  48
  49 ; FORCEALIGNED-LABEL: @test1
  50 ; FORCEALIGNED: andl $-{{..}}, %esp
  51 ; FORCEALIGNED: movdqa {{.*}} # 16-byte Spill
  52 ; FORCEALIGNED: paddd {{.*}} # 16-byte Folded Reload
  53 }
  54 !llvm.module.flags = !{!0}
  55 ;--- align4.ll
  56 !0 = !{i32 2, !"override-stack-alignment", i32 4}
  57 ;--- align16.ll
  58 !0 = !{i32 2, !"override-stack-alignment", i32 16}