test/CodeGen/X86/overlap-add.ll

   1 ;; X's live range extends beyond the shift, so the register allocator
   2 ;; cannot coallesce it with Y.  Because of this, a copy needs to be
   3 ;; emitted before the shift to save the register value before it is
   4 ;; clobbered.  However, this copy is not needed if the register
   5 ;; allocator turns the shift into an LEA.  This also occurs for ADD.
   6
   7 ; Check that the shift gets turned into an LEA.
   8
   9 ; RUN: llvm-as < %s | llc -march=x86 -x86-asm-syntax=intel | not grep 'mov %E.X, %E.X'
  10
  11 ; FIXME: We need live variable information about flags to do this xform safely. :(
  12 ; XFAIL: *
  13
  14 %G = external global int
  15
  16 int %test1(int %X, int %Y) {
  17         %Z = add int %X, %Y
  18         volatile store int %Y, int* %G
  19         volatile store int %Z, int* %G
  20         ret int %X
  21 }
  22
  23 int %test2(int %X) {
  24         %Z = add int %X, 1  ;; inc
  25         volatile store int %Z, int* %G
  26         ret int %X
  27 }