1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
; RUN: llc < %s -mtriple=i686-pc-elfiamcu | FileCheck %s
%struct.st12_t = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 }
; CHECK-LABEL: test_ints:
; CHECK: addl %edx, %eax
; CHECK-NEXT: imull %ecx, %eax
; CHECK-NEXT: addl 4(%esp), %eax
; CHECK-NEXT: retl
define i32 @test_ints(i32 %a, i32 %b, i32 %c, i32 %d) #0 {
entry:
%r1 = add i32 %b, %a
%r2 = mul i32 %c, %r1
%r3 = add i32 %d, %r2
ret i32 %r3
}
; CHECK-LABEL: test_floats:
; CHECK: addl %edx, %eax
; CHECK-NEXT: imull %ecx, %eax
; CHECK-NEXT: addl 4(%esp), %eax
; CHECK-NEXT: retl
define i32 @test_floats(i32 %a, i32 %b, float %c, float %d) #0 {
entry:
%ci = bitcast float %c to i32
%di = bitcast float %d to i32
%r1 = add i32 %b, %a
%r2 = mul i32 %ci, %r1
%r3 = add i32 %di, %r2
ret i32 %r3
}
; CHECK-LABEL: test_doubles:
; CHECK: addl 4(%esp), %eax
; CHECK-NEXT: adcl 8(%esp), %edx
; CHECK-NEXT: retl
define double @test_doubles(double %d1, double %d2) #0 {
entry:
%d1i = bitcast double %d1 to i64
%d2i = bitcast double %d2 to i64
%r = add i64 %d1i, %d2i
%rd = bitcast i64 %r to double
ret double %rd
}
; CHECK-LABEL: test_mixed_doubles:
; CHECK: addl %ecx, %eax
; CHECK-NEXT: adcl $0, %edx
; CHECK-NEXT: retl
define double @test_mixed_doubles(double %d2, i32 %i) #0 {
entry:
%iext = zext i32 %i to i64
%d2i = bitcast double %d2 to i64
%r = add i64 %iext, %d2i
%rd = bitcast i64 %r to double
ret double %rd
}
; CHECK-LABEL: ret_large_struct:
; CHECK: pushl %esi
; CHECK-NEXT: movl %eax, %esi
; CHECK-NEXT: leal 8(%esp), %edx
; CHECK-NEXT: movl $48, %ecx
; CHECK-NEXT: calll memcpy
; CHECK-NEXT: movl %esi, %eax
; CHECK-NEXT: popl %esi
; CHECK-NOT: retl $4
; CHECK-NEXT: retl
define void @ret_large_struct(%struct.st12_t* noalias nocapture sret %agg.result, %struct.st12_t* byval nocapture readonly align 4 %r) #0 {
entry:
%0 = bitcast %struct.st12_t* %agg.result to i8*
%1 = bitcast %struct.st12_t* %r to i8*
call void @llvm.memcpy.p0i8.p0i8.i32(i8* %0, i8* %1, i32 48, i32 1, i1 false)
ret void
}
; CHECK-LABEL: var_args:
; CHECK: movl 4(%esp), %eax
; CHECK-NEXT: retl
define i32 @var_args(i32 %i1, ...) #0 {
entry:
ret i32 %i1
}
; CHECK-LABEL: test_lib_args:
; CHECK: movl %edx, %eax
; CHECK: calll __fixsfsi
define i32 @test_lib_args(float %a, float %b) #0 {
%ret = fptosi float %b to i32
ret i32 %ret
}
; CHECK-LABEL: test_fp128:
; CHECK: movl (%eax), %e[[CX:..]]
; CHECK-NEXT: movl 4(%eax), %e[[DX:..]]
; CHECK-NEXT: movl 8(%eax), %e[[SI:..]]
; CHECK-NEXT: movl 12(%eax), %e[[AX:..]]
; CHECK-NEXT: movl %e[[AX]], 12(%esp)
; CHECK-NEXT: movl %e[[SI]], 8(%esp)
; CHECK-NEXT: movl %e[[DX]], 4(%esp)
; CHECK-NEXT: movl %e[[CX]], (%esp)
; CHECK-NEXT: calll __fixtfsi
define i32 @test_fp128(fp128* %ptr) #0 {
%v = load fp128, fp128* %ptr
%ret = fptosi fp128 %v to i32
ret i32 %ret
}
declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture readonly, i32, i32, i1) #1
attributes #0 = { nounwind "use-soft-float"="true"}
attributes #1 = { nounwind argmemonly }
|
