test/CodeGen/MBlaze/cc.ll

   1 ; Test some of the calling convention lowering done by the MBlaze backend.
   2 ; We test that integer values are passed in the correct registers and
   3 ; returned in the correct registers. Additionally, we test that the stack
   4 ; is used as appropriate for passing arguments that cannot be placed into
   5 ; registers.
   6 ;
   7 ; RUN: llc < %s -march=mblaze | FileCheck %s
   8
   9 declare i32 @printf(i8*, ...)
  10 @MSG = internal constant [13 x i8] c"Message: %d\0A\00"
  11
  12 define void @params0_noret() {
  13     ; CHECK-LABEL:        params0_noret:
  14     ret void
  15     ; CHECK-NOT:    {{.* r3, .*, .*}}
  16     ; CHECK-NOT:    {{.* r4, .*, .*}}
  17     ; CHECK:        rtsd
  18 }
  19
  20 define i8 @params0_8bitret() {
  21     ; CHECK-LABEL:        params0_8bitret:
  22     ret i8 1
  23     ; CHECK-NOT:    {{.* r3, .*, .*}}
  24     ; CHECK-NOT:    {{.* r4, .*, .*}}
  25     ; CHECK:        rtsd
  26     ; CHECK:        {{.* r3, r0, 1}}
  27 }
  28
  29 define i16 @params0_16bitret() {
  30     ; CHECK-LABEL:        params0_16bitret:
  31     ret i16 1
  32     ; CHECK:        rtsd
  33     ; CHECK:        {{.* r3, r0, 1}}
  34     ; CHECK-NOT:    {{.* r4, .*, .*}}
  35 }
  36
  37 define i32 @params0_32bitret() {
  38     ; CHECK-LABEL:        params0_32bitret:
  39     ret i32 1
  40     ; CHECK-NOT:    {{.* r4, .*, .*}}
  41     ; CHECK:        rtsd
  42     ; CHECK:        {{.* r3, r0, 1}}
  43 }
  44
  45 define i64 @params0_64bitret() {
  46     ; CHECK-LABEL:        params0_64bitret:
  47     ret i64 1
  48     ; CHECK:        {{.* r3, r0, .*}}
  49     ; CHECK:        rtsd
  50     ; CHECK:        {{.* r4, r0, 1}}
  51 }
  52
  53 define i32 @params1_32bitret(i32 %a) {
  54     ; CHECK-LABEL:        params1_32bitret:
  55     ret i32 %a
  56     ; CHECK-NOT:    {{.* r3, .*, .*}}
  57     ; CHECK-NOT:    {{.* r4, .*, .*}}
  58     ; CHECK:        rtsd
  59     ; CHECK:        {{.* r3, r5, r0}}
  60 }
  61
  62 define i32 @params2_32bitret(i32 %a, i32 %b) {
  63     ; CHECK-LABEL:        params2_32bitret:
  64     ret i32 %b
  65     ; CHECK-NOT:    {{.* r3, .*, .*}}
  66     ; CHECK-NOT:    {{.* r4, .*, .*}}
  67     ; CHECK:        rtsd
  68     ; CHECK:        {{.* r3, r6, r0}}
  69 }
  70
  71 define i32 @params3_32bitret(i32 %a, i32 %b, i32 %c) {
  72     ; CHECK-LABEL:        params3_32bitret:
  73     ret i32 %c
  74     ; CHECK-NOT:    {{.* r3, .*, .*}}
  75     ; CHECK-NOT:    {{.* r4, .*, .*}}
  76     ; CHECK:        rtsd
  77     ; CHECK:        {{.* r3, r7, r0}}
  78 }
  79
  80 define i32 @params4_32bitret(i32 %a, i32 %b, i32 %c, i32 %d) {
  81     ; CHECK-LABEL:        params4_32bitret:
  82     ret i32 %d
  83     ; CHECK-NOT:    {{.* r3, .*, .*}}
  84     ; CHECK-NOT:    {{.* r4, .*, .*}}
  85     ; CHECK:        rtsd
  86     ; CHECK:        {{.* r3, r8, r0}}
  87 }
  88
  89 define i32 @params5_32bitret(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e) {
  90     ; CHECK-LABEL:        params5_32bitret:
  91     ret i32 %e
  92     ; CHECK-NOT:    {{.* r3, .*, .*}}
  93     ; CHECK-NOT:    {{.* r4, .*, .*}}
  94     ; CHECK:        rtsd
  95     ; CHECK:        {{.* r3, r9, r0}}
  96 }
  97
  98 define i32 @params6_32bitret(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f) {
  99     ; CHECK-LABEL:        params6_32bitret:
 100     ret i32 %f
 101     ; CHECK-NOT:    {{.* r3, .*, .*}}
 102     ; CHECK-NOT:    {{.* r4, .*, .*}}
 103     ; CHECK:        rtsd
 104     ; CHECK:        {{.* r3, r10, r0}}
 105 }
 106
 107 define i32 @params7_32bitret(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f,
 108                              i32 %g) {
 109     ; CHECK-LABEL:        params7_32bitret:
 110     ret i32 %g
 111     ; CHECK:        {{lwi? r3, r1, 32}}
 112     ; CHECK-NOT:    {{.* r4, .*, .*}}
 113     ; CHECK:        rtsd
 114 }
 115
 116 define i32 @params8_32bitret(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f,
 117                              i32 %g, i32 %h) {
 118     ; CHECK-LABEL:        params8_32bitret:
 119     ret i32 %h
 120     ; CHECK:        {{lwi? r3, r1, 36}}
 121     ; CHECK-NOT:    {{.* r4, .*, .*}}
 122     ; CHECK:        rtsd
 123 }
 124
 125 define i32 @params9_32bitret(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f,
 126                              i32 %g, i32 %h, i32 %i) {
 127     ; CHECK-LABEL:        params9_32bitret:
 128     ret i32 %i
 129     ; CHECK:        {{lwi? r3, r1, 40}}
 130     ; CHECK-NOT:    {{.* r4, .*, .*}}
 131     ; CHECK:        rtsd
 132 }
 133
 134 define i32 @params10_32bitret(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f,
 135                               i32 %g, i32 %h, i32 %i, i32 %j) {
 136     ; CHECK-LABEL:        params10_32bitret:
 137     ret i32 %j
 138     ; CHECK:        {{lwi? r3, r1, 44}}
 139     ; CHECK-NOT:    {{.* r4, .*, .*}}
 140     ; CHECK:        rtsd
 141 }
 142
 143 define void @testing() {
 144     %MSG.1 = getelementptr [13 x i8]* @MSG, i32 0, i32 0
 145
 146     call void @params0_noret()
 147     ; CHECK:        brlid
 148
 149     %tmp.1 = call i8 @params0_8bitret()
 150     ; CHECK:        brlid
 151     call i32 (i8*,...)* @printf(i8* %MSG.1, i8 %tmp.1)
 152
 153     %tmp.2 = call i16 @params0_16bitret()
 154     ; CHECK:        brlid
 155     call i32 (i8*,...)* @printf(i8* %MSG.1, i16 %tmp.2)
 156
 157     %tmp.3 = call i32 @params0_32bitret()
 158     ; CHECK:        brlid
 159     call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.3)
 160
 161     %tmp.4 = call i64 @params0_64bitret()
 162     ; CHECK:        brlid
 163     call i32 (i8*,...)* @printf(i8* %MSG.1, i64 %tmp.4)
 164
 165     %tmp.5 = call i32 @params1_32bitret(i32 1)
 166     ; CHECK:        {{.* r5, .*, .*}}
 167     ; CHECK:        brlid
 168     call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.5)
 169
 170     %tmp.6 = call i32 @params2_32bitret(i32 1, i32 2)
 171     ; CHECK:        {{.* r5, .*, .*}}
 172     ; CHECK:        {{.* r6, .*, .*}}
 173     ; CHECK:        brlid
 174     call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.6)
 175
 176     %tmp.7 = call i32 @params3_32bitret(i32 1, i32 2, i32 3)
 177     ; CHECK:        {{.* r5, .*, .*}}
 178     ; CHECK:        {{.* r6, .*, .*}}
 179     ; CHECK:        {{.* r7, .*, .*}}
 180     ; CHECK:        brlid
 181     call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.7)
 182
 183     %tmp.8 = call i32 @params4_32bitret(i32 1, i32 2, i32 3, i32 4)
 184     ; CHECK:        {{.* r5, .*, .*}}
 185     ; CHECK:        {{.* r6, .*, .*}}
 186     ; CHECK:        {{.* r7, .*, .*}}
 187     ; CHECK:        {{.* r8, .*, .*}}
 188     ; CHECK:        brlid
 189     call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.8)
 190
 191     %tmp.9 = call i32 @params5_32bitret(i32 1, i32 2, i32 3, i32 4, i32 5)
 192     ; CHECK:        {{.* r5, .*, .*}}
 193     ; CHECK:        {{.* r6, .*, .*}}
 194     ; CHECK:        {{.* r7, .*, .*}}
 195     ; CHECK:        {{.* r8, .*, .*}}
 196     ; CHECK:        {{.* r9, .*, .*}}
 197     ; CHECK:        brlid
 198     call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.9)
 199
 200     %tmp.10 = call i32 @params6_32bitret(i32 1, i32 2, i32 3, i32 4, i32 5,
 201                                          i32 6)
 202     ; CHECK:        {{.* r5, .*, .*}}
 203     ; CHECK:        {{.* r6, .*, .*}}
 204     ; CHECK:        {{.* r7, .*, .*}}
 205     ; CHECK:        {{.* r8, .*, .*}}
 206     ; CHECK:        {{.* r9, .*, .*}}
 207     ; CHECK:        {{.* r10, .*, .*}}
 208     ; CHECK:        brlid
 209     call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.10)
 210
 211     %tmp.11 = call i32 @params7_32bitret(i32 1, i32 2, i32 3, i32 4, i32 5,
 212                                          i32 6, i32 7)
 213     ; CHECK:        {{swi? .*, r1, 28}}
 214     ; CHECK:        {{.* r5, .*, .*}}
 215     ; CHECK:        {{.* r6, .*, .*}}
 216     ; CHECK:        {{.* r7, .*, .*}}
 217     ; CHECK:        {{.* r8, .*, .*}}
 218     ; CHECK:        {{.* r9, .*, .*}}
 219     ; CHECK:        {{.* r10, .*, .*}}
 220     ; CHECK:        brlid
 221     call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.11)
 222
 223     %tmp.12 = call i32 @params8_32bitret(i32 1, i32 2, i32 3, i32 4, i32 5,
 224                                          i32 6, i32 7, i32 8)
 225     ; CHECK:        {{swi? .*, r1, 32}}
 226     ; CHECK:        {{swi? .*, r1, 28}}
 227     ; CHECK:        {{.* r5, .*, .*}}
 228     ; CHECK:        {{.* r6, .*, .*}}
 229     ; CHECK:        {{.* r7, .*, .*}}
 230     ; CHECK:        {{.* r8, .*, .*}}
 231     ; CHECK:        {{.* r9, .*, .*}}
 232     ; CHECK:        {{.* r10, .*, .*}}
 233     ; CHECK:        brlid
 234     call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.12)
 235
 236     %tmp.13 = call i32 @params9_32bitret(i32 1, i32 2, i32 3, i32 4, i32 5,
 237                                          i32 6, i32 7, i32 8, i32 9)
 238     ; CHECK:        {{swi? .*, r1, 36}}
 239     ; CHECK:        {{swi? .*, r1, 32}}
 240     ; CHECK:        {{swi? .*, r1, 28}}
 241     ; CHECK:        {{.* r5, .*, .*}}
 242     ; CHECK:        {{.* r6, .*, .*}}
 243     ; CHECK:        {{.* r7, .*, .*}}
 244     ; CHECK:        {{.* r8, .*, .*}}
 245     ; CHECK:        {{.* r9, .*, .*}}
 246     ; CHECK:        {{.* r10, .*, .*}}
 247     ; CHECK:        brlid
 248     call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.13)
 249
 250     %tmp.14 = call i32 @params10_32bitret(i32 1, i32 2, i32 3, i32 4, i32 5,
 251                                           i32 6, i32 7, i32 8, i32 9, i32 10)
 252     ; CHECK:        {{swi? .*, r1, 40}}
 253     ; CHECK:        {{swi? .*, r1, 36}}
 254     ; CHECK:        {{swi? .*, r1, 32}}
 255     ; CHECK:        {{swi? .*, r1, 28}}
 256     ; CHECK:        {{.* r5, .*, .*}}
 257     ; CHECK:        {{.* r6, .*, .*}}
 258     ; CHECK:        {{.* r7, .*, .*}}
 259     ; CHECK:        {{.* r8, .*, .*}}
 260     ; CHECK:        {{.* r9, .*, .*}}
 261     ; CHECK:        {{.* r10, .*, .*}}
 262     ; CHECK:        brlid
 263     call i32 (i8*,...)* @printf(i8* %MSG.1, i32 %tmp.14)
 264
 265     ret void
 266 }