test/CodeGen/X86/mcu-abi.ll

   1 ; RUN: llc < %s -mtriple=i686-pc-elfiamcu | FileCheck %s
   2
   3 %struct.st12_t = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 }
   4
   5 ; CHECK-LABEL: test_ints:
   6 ; CHECK: addl    %edx, %eax
   7 ; CHECK-NEXT: imull   %ecx, %eax
   8 ; CHECK-NEXT: addl    4(%esp), %eax
   9 ; CHECK-NEXT: retl
  10 define i32 @test_ints(i32 %a, i32 %b, i32 %c, i32 %d) #0 {
  11 entry:
  12   %r1 = add i32 %b, %a
  13   %r2 = mul i32 %c, %r1
  14   %r3 = add i32 %d, %r2
  15   ret i32 %r3
  16 }
  17
  18 ; CHECK-LABEL: test_floats:
  19 ; CHECK: addl    %edx, %eax
  20 ; CHECK-NEXT: imull   %ecx, %eax
  21 ; CHECK-NEXT: addl    4(%esp), %eax
  22 ; CHECK-NEXT: retl
  23 define i32 @test_floats(i32 %a, i32 %b, float %c, float %d) #0 {
  24 entry:
  25   %ci = bitcast float %c to i32
  26   %di = bitcast float %d to i32
  27   %r1 = add i32 %b, %a
  28   %r2 = mul i32 %ci, %r1
  29   %r3 = add i32 %di, %r2
  30   ret i32 %r3
  31 }
  32
  33 ; CHECK-LABEL: test_doubles:
  34 ; CHECK: addl    4(%esp), %eax
  35 ; CHECK-NEXT: adcl    8(%esp), %edx
  36 ; CHECK-NEXT: retl
  37 define double @test_doubles(double %d1, double %d2) #0 {
  38 entry:
  39     %d1i = bitcast double %d1 to i64
  40     %d2i = bitcast double %d2 to i64
  41     %r = add i64 %d1i, %d2i
  42     %rd = bitcast i64 %r to double
  43     ret double %rd
  44 }
  45
  46 ; CHECK-LABEL: test_mixed_doubles:
  47 ; CHECK: addl    %ecx, %eax
  48 ; CHECK-NEXT: adcl    $0, %edx
  49 ; CHECK-NEXT: retl
  50 define double @test_mixed_doubles(double %d2, i32 %i) #0 {
  51 entry:
  52     %iext = zext i32 %i to i64
  53     %d2i = bitcast double %d2 to i64
  54     %r = add i64 %iext, %d2i
  55     %rd = bitcast i64 %r to double
  56     ret double %rd
  57 }
  58
  59 ; CHECK-LABEL: ret_large_struct:
  60 ; CHECK: pushl   %esi
  61 ; CHECK-NEXT: movl    %eax, %esi
  62 ; CHECK-NEXT: leal    8(%esp), %edx
  63 ; CHECK-NEXT: movl    $48, %ecx
  64 ; CHECK-NEXT: calll   memcpy
  65 ; CHECK-NEXT: movl    %esi, %eax
  66 ; CHECK-NEXT: popl    %esi
  67 ; CHECK-NOT:  retl $4
  68 ; CHECK-NEXT: retl
  69 define void @ret_large_struct(%struct.st12_t* noalias nocapture sret %agg.result, %struct.st12_t* byval nocapture readonly align 4 %r) #0 {
  70 entry:
  71   %0 = bitcast %struct.st12_t* %agg.result to i8*
  72   %1 = bitcast %struct.st12_t* %r to i8*
  73   call void @llvm.memcpy.p0i8.p0i8.i32(i8* %0, i8* %1, i32 48, i1 false)
  74   ret void
  75 }
  76
  77 ; CHECK-LABEL: var_args:
  78 ; CHECK: movl    4(%esp), %eax
  79 ; CHECK-NEXT: retl
  80 define i32 @var_args(i32 %i1, ...) #0 {
  81 entry:
  82   ret i32 %i1
  83 }
  84
  85 %struct.S = type { i8 }
  86
  87 ; CHECK-LABEL: test_lib_args:
  88 ; CHECK: movl %edx, %eax
  89 ; CHECK: calll __fixsfsi
  90 define i32 @test_lib_args(float %a, float %b) #0 {
  91   %ret = fptosi float %b to i32
  92   ret i32 %ret
  93 }
  94
  95 ; CHECK-LABEL: test_fp128:
  96 ; CHECK:      pushl   12(%eax)
  97 ; CHECK-NEXT: pushl   8(%eax)
  98 ; CHECK-NEXT: pushl   4(%eax)
  99 ; CHECK-NEXT: pushl   (%eax)
 100 ; CHECK-NEXT: calll   __fixtfsi
 101 define i32 @test_fp128(fp128* %ptr) #0 {
 102   %v = load fp128, fp128* %ptr
 103   %ret = fptosi fp128 %v to i32
 104   ret i32 %ret
 105 }
 106
 107 declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture readonly, i32, i1) #1
 108
 109 ; CHECK-LABEL: test_alignment_d:
 110 ; CHECK-NOT: andl  {{.+}}, %esp
 111 define void @test_alignment_d() #0 {
 112 entry:
 113   %d = alloca double
 114   store double 2.000000e+00, double* %d
 115   call void @food(double* inreg %d)
 116   ret void
 117 }
 118
 119 ; CHECK-LABEL: test_alignment_i:
 120 ; CHECK-NOT: andl  {{.+}}, %esp
 121 define void @test_alignment_i() #0 {
 122 entry:
 123   %i = alloca i64
 124   store i64 2, i64* %i
 125   call void @fooi(i64* inreg %i)
 126   ret void
 127 }
 128
 129
 130 ; CHECK-LABEL: test_alignment_s:
 131 ; CHECK-NOT: andl  {{.+}}, %esp
 132 define void @test_alignment_s() #0 {
 133   %s = alloca %struct.S, align 4
 134   call void @foos(%struct.S* inreg %s)
 135   ret void
 136 }
 137
 138
 139 ; CHECK-LABEL: test_alignment_fp:
 140 ; CHECK-NOT: andl  {{.+}}, %esp
 141 define void @test_alignment_fp() #0 {
 142 entry:
 143   %f = alloca fp128
 144   store fp128 0xL00000000000000004000000000000000, fp128* %f
 145   call void @foofp(fp128* inreg %f)
 146   ret void
 147 }
 148
 149 declare void @food(double* inreg)
 150 declare void @fooi(i64* inreg)
 151 declare void @foos(%struct.S* inreg)
 152 declare void @foofp(fp128* inreg)
 153
 154 attributes #0 = { nounwind "use-soft-float"="true"}
 155 attributes #1 = { nounwind argmemonly }