1; Verify that i32 argument/return values are extended to i64
2
3; RUN: llc < %s | FileCheck %s
4target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128-v128:128:128-n32:64"
5target triple = "powerpc64-unknown-linux-gnu"
6
7@si = common global i32 0, align 4
8@ui = common global i32 0, align 4
9
10declare void @arg_si(i32 signext)
11declare void @arg_ui(i32 zeroext)
12
13declare signext i32 @ret_si()
14declare zeroext i32 @ret_ui()
15
16define void @pass_arg_si() nounwind {
17entry:
18  %0 = load i32* @si, align 4
19  tail call void @arg_si(i32 signext %0) nounwind
20  ret void
21}
22; CHECK: @pass_arg_si
23; CHECK: lwa 3,
24; CHECK: bl arg_si
25
26define void @pass_arg_ui() nounwind {
27entry:
28  %0 = load i32* @ui, align 4
29  tail call void @arg_ui(i32 zeroext %0) nounwind
30  ret void
31}
32; CHECK: @pass_arg_ui
33; CHECK: lwz 3,
34; CHECK: bl arg_ui
35
36define i64 @use_arg_si(i32 signext %x) nounwind readnone {
37entry:
38  %conv = sext i32 %x to i64
39  ret i64 %conv
40}
41; CHECK: @use_arg_si
42; CHECK: %entry
43; CHECK-NEXT: blr
44
45define i64 @use_arg_ui(i32 zeroext %x) nounwind readnone {
46entry:
47  %conv = zext i32 %x to i64
48  ret i64 %conv
49}
50; CHECK: @use_arg_ui
51; CHECK: %entry
52; CHECK-NEXT: blr
53
54define signext i32 @pass_ret_si() nounwind readonly {
55entry:
56  %0 = load i32* @si, align 4
57  ret i32 %0
58}
59; CHECK: @pass_ret_si
60; CHECK: lwa 3,
61; CHECK: blr
62
63define zeroext i32 @pass_ret_ui() nounwind readonly {
64entry:
65  %0 = load i32* @ui, align 4
66  ret i32 %0
67}
68; CHECK: @pass_ret_ui
69; CHECK: lwz 3,
70; CHECK: blr
71
72define i64 @use_ret_si() nounwind {
73entry:
74  %call = tail call signext i32 @ret_si() nounwind
75  %conv = sext i32 %call to i64
76  ret i64 %conv
77}
78; CHECK: @use_ret_si
79; CHECK: bl ret_si
80; This is to verify the return register (3) set up by the ret_si
81; call is passed on unmodified as return value of use_ret_si.
82; CHECK-NOT: 3
83; CHECK: blr
84
85define i64 @use_ret_ui() nounwind {
86entry:
87  %call = tail call zeroext i32 @ret_ui() nounwind
88  %conv = zext i32 %call to i64
89  ret i64 %conv
90}
91; CHECK: @use_ret_ui
92; CHECK: bl ret_ui
93; This is to verify the return register (3) set up by the ret_ui
94; call is passed on unmodified as return value of use_ret_ui.
95; CHECK-NOT: 3
96; CHECK: blr
97
98