test/CodeGen/X86/ghc-cc.ll

   1 ; RUN: llc < %s -tailcallopt -mtriple=i686-linux-gnu | FileCheck %s
   2
   3 ; Test the GHC call convention works (x86-32)
   4
   5 @base = external global i32 ; assigned to register: ebx
   6 @sp   = external global i32 ; assigned to register: ebp
   7 @hp   = external global i32 ; assigned to register: edi
   8 @r1   = external global i32 ; assigned to register: esi
   9
  10 define void @zap(i32 %a, i32 %b) nounwind {
  11 entry:
  12   ; CHECK: movl {{[0-9]*}}(%esp), %ebx
  13   ; CHECK-NEXT: movl {{[0-9]*}}(%esp), %ebp
  14   ; CHECK-NEXT: calll addtwo
  15   %0 = call ghccc i32 @addtwo(i32 %a, i32 %b)
  16   ; CHECK: calll foo
  17   call void @foo() nounwind
  18   ret void
  19 }
  20
  21 define ghccc i32 @addtwo(i32 %x, i32 %y) nounwind {
  22 entry:
  23   ; CHECK: leal (%ebx,%ebp), %eax
  24   %0 = add i32 %x, %y
  25   ; CHECK-NEXT: ret
  26   ret i32 %0
  27 }
  28
  29 define ghccc void @foo() nounwind {
  30 entry:
  31   ; CHECK:      movl r1, %esi
  32   ; CHECK-NEXT: movl hp, %edi
  33   ; CHECK-NEXT: movl sp, %ebp
  34   ; CHECK-NEXT: movl base, %ebx
  35   %0 = load i32, i32* @r1
  36   %1 = load i32, i32* @hp
  37   %2 = load i32, i32* @sp
  38   %3 = load i32, i32* @base
  39   ; CHECK: jmp bar
  40   tail call ghccc void @bar( i32 %3, i32 %2, i32 %1, i32 %0 ) nounwind
  41   ret void
  42 }
  43
  44 declare ghccc void @bar(i32, i32, i32, i32)