[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / SPARC / leafproc.ll
blobfd74e5ca723efcd6a0be4ce5fe48aec69b1b3884
1 ; RUN: llc -march=sparc -disable-sparc-leaf-proc=0 < %s | FileCheck %s
3 ; CHECK-LABEL:      func_nobody:
4 ; CHECK:      retl
5 ; CHECK-NEXT: nop
6 define void @func_nobody() {
7 entry:
8   ret void
12 ; CHECK-LABEL:      return_int_const:
13 ; CHECK:      retl
14 ; CHECK-NEXT: mov 1729, %o0
15 define i32 @return_int_const() {
16 entry:
17   ret i32 1729
20 ; CHECK-LABEL:      return_double_const:
21 ; CHECK:      sethi
22 ; CHECK:      retl
23 ; CHECK-NEXT: ldd {{.*}}, %f0
25 define double @return_double_const() {
26 entry:
27   ret double 0.000000e+00
30 ; CHECK-LABEL:      leaf_proc_with_args:
31 ; CHECK:      add {{%o[0-1]}}, {{%o[0-1]}}, [[R:%[go][0-7]]]
32 ; CHECK:      retl
33 ; CHECK-NEXT: add [[R]], %o2, %o0
35 define i32 @leaf_proc_with_args(i32 %a, i32 %b, i32 %c) {
36 entry:
37   %0 = add nsw i32 %b, %a
38   %1 = add nsw i32 %0, %c
39   ret i32 %1
42 ; CHECK-LABEL:     leaf_proc_with_args_in_stack:
43 ; CHECK-DAG: ld [%sp+92], {{%[go][0-7]}}
44 ; CHECK-DAG: ld [%sp+96], {{%[go][0-7]}}
45 ; CHECK:     retl
46 ; CHECK-NEXT: add {{.*}}, %o0
47 define i32 @leaf_proc_with_args_in_stack(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f, i32 %g, i32 %h) {
48 entry:
49   %0 = add nsw i32 %b, %a
50   %1 = add nsw i32 %0, %c
51   %2 = add nsw i32 %1, %d
52   %3 = add nsw i32 %2, %e
53   %4 = add nsw i32 %3, %f
54   %5 = add nsw i32 %4, %g
55   %6 = add nsw i32 %5, %h
56   ret i32 %6
59 ; CHECK-LABEL:      leaf_proc_with_local_array:
60 ; CHECK:      add %sp, -104, %sp
61 ; CHECK:      mov 1, [[R1:%[go][0-7]]]
62 ; CHECK:      st [[R1]], [%sp+96]
63 ; CHECK:      mov 2, [[R2:%[go][0-7]]]
64 ; CHECK:      st [[R2]], [%sp+100]
65 ; CHECK:      ld {{.+}}, %o0
66 ; CHECK:      retl
67 ; CHECK-NEXT: add %sp, 104, %sp
69 define i32 @leaf_proc_with_local_array(i32 %a, i32 %b, i32 %c) {
70 entry:
71   %array = alloca [2 x i32], align 4
72   %0 = sub nsw i32 %b, %c
73   %1 = getelementptr inbounds [2 x i32], [2 x i32]* %array, i32 0, i32 0
74   store i32 1, i32* %1, align 4
75   %2 = getelementptr inbounds [2 x i32], [2 x i32]* %array, i32 0, i32 1
76   store i32 2, i32* %2, align 4
77   %3 = getelementptr inbounds [2 x i32], [2 x i32]* %array, i32 0, i32 %a
78   %4 = load i32, i32* %3, align 4
79   ret i32 %4