1 ; RUN: llc < %s -O0 -fast-isel-abort -relocation-model=dynamic-no-pic -mtriple=armv7-apple-ios | FileCheck %s --check-prefix=ARM 2 ; RUN: llc < %s -O0 -fast-isel-abort -relocation-model=dynamic-no-pic -mtriple=thumbv7-apple-ios | FileCheck %s --check-prefix=THUMB 3 ; RUN: llc < %s -O0 -fast-isel-abort -relocation-model=dynamic-no-pic -mtriple=armv7-apple-ios -arm-long-calls | FileCheck %s --check-prefix=ARM-LONG 4 ; RUN: llc < %s -O0 -fast-isel-abort -relocation-model=dynamic-no-pic -mtriple=thumbv7-apple-ios -arm-long-calls | FileCheck %s --check-prefix=THUMB-LONG 5 ; RUN: llc < %s -O0 -relocation-model=dynamic-no-pic -mtriple=armv7-apple-ios -mattr=-vfp2 | FileCheck %s --check-prefix=ARM-NOVFP 6 ; RUN: llc < %s -O0 -relocation-model=dynamic-no-pic -mtriple=thumbv7-apple-ios -mattr=-vfp2 | FileCheck %s --check-prefix=THUMB-NOVFP 7 8 define i32 @t0(i1 zeroext %a) nounwind { 9 %1 = zext i1 %a to i32 10 ret i32 %1 11 } 12 13 define i32 @t1(i8 signext %a) nounwind { 14 %1 = sext i8 %a to i32 15 ret i32 %1 16 } 17 18 define i32 @t2(i8 zeroext %a) nounwind { 19 %1 = zext i8 %a to i32 20 ret i32 %1 21 } 22 23 define i32 @t3(i16 signext %a) nounwind { 24 %1 = sext i16 %a to i32 25 ret i32 %1 26 } 27 28 define i32 @t4(i16 zeroext %a) nounwind { 29 %1 = zext i16 %a to i32 30 ret i32 %1 31 } 32 33 define void @foo(i8 %a, i16 %b) nounwind { 34 ; ARM: foo 35 ; THUMB: foo 36 ;; Materialize i1 1 37 ; ARM: movw r2, #1 38 ;; zero-ext 39 ; ARM: and r2, r2, #1 40 ; THUMB: and r2, r2, #1 41 %1 = call i32 @t0(i1 zeroext 1) 42 ; ARM: sxtb r2, r1 43 ; ARM: mov r0, r2 44 ; THUMB: sxtb r2, r1 45 ; THUMB: mov r0, r2 46 %2 = call i32 @t1(i8 signext %a) 47 ; ARM: uxtb r2, r1 48 ; ARM: mov r0, r2 49 ; THUMB: uxtb r2, r1 50 ; THUMB: mov r0, r2 51 %3 = call i32 @t2(i8 zeroext %a) 52 ; ARM: sxth r2, r1 53 ; ARM: mov r0, r2 54 ; THUMB: sxth r2, r1 55 ; THUMB: mov r0, r2 56 %4 = call i32 @t3(i16 signext %b) 57 ; ARM: uxth r2, r1 58 ; ARM: mov r0, r2 59 ; THUMB: uxth r2, r1 60 ; THUMB: mov r0, r2 61 %5 = call i32 @t4(i16 zeroext %b) 62 63 ;; A few test to check materialization 64 ;; Note: i1 1 was materialized with t1 call 65 ; ARM: movw r1, #255 66 %6 = call i32 @t2(i8 zeroext 255) 67 ; ARM: movw r1, #65535 68 ; THUMB: movw r1, #65535 69 %7 = call i32 @t4(i16 zeroext 65535) 70 ret void 71 } 72 73 define void @foo2() nounwind { 74 %1 = call signext i16 @t5() 75 %2 = call zeroext i16 @t6() 76 %3 = call signext i8 @t7() 77 %4 = call zeroext i8 @t8() 78 %5 = call zeroext i1 @t9() 79 ret void 80 } 81 82 declare signext i16 @t5(); 83 declare zeroext i16 @t6(); 84 declare signext i8 @t7(); 85 declare zeroext i8 @t8(); 86 declare zeroext i1 @t9(); 87 88 define i32 @t10(i32 %argc, i8** nocapture %argv) { 89 entry: 90 ; ARM: @t10 91 ; ARM: movw r0, #0 92 ; ARM: movw r1, #248 93 ; ARM: movw r2, #187 94 ; ARM: movw r3, #28 95 ; ARM: movw r9, #40 96 ; ARM: movw r12, #186 97 ; ARM: uxtb r0, r0 98 ; ARM: uxtb r1, r1 99 ; ARM: uxtb r2, r2 100 ; ARM: uxtb r3, r3 101 ; ARM: uxtb r9, r9 102 ; ARM: str r9, [sp] 103 ; ARM: uxtb r9, r12 104 ; ARM: str r9, [sp, #4] 105 ; ARM: bl _bar 106 ; ARM-LONG: @t10 107 ; ARM-LONG: movw lr, :lower16:L_bar$non_lazy_ptr 108 ; ARM-LONG: movt lr, :upper16:L_bar$non_lazy_ptr 109 ; ARM-LONG: ldr lr, [lr] 110 ; ARM-LONG: blx lr 111 ; THUMB: @t10 112 ; THUMB: movs r0, #0 113 ; THUMB: movt r0, #0 114 ; THUMB: movs r1, #248 115 ; THUMB: movt r1, #0 116 ; THUMB: movs r2, #187 117 ; THUMB: movt r2, #0 118 ; THUMB: movs r3, #28 119 ; THUMB: movt r3, #0 120 ; THUMB: movw r9, #40 121 ; THUMB: movt r9, #0 122 ; THUMB: movw r12, #186 123 ; THUMB: movt r12, #0 124 ; THUMB: uxtb r0, r0 125 ; THUMB: uxtb r1, r1 126 ; THUMB: uxtb r2, r2 127 ; THUMB: uxtb r3, r3 128 ; THUMB: uxtb.w r9, r9 129 ; THUMB: str.w r9, [sp] 130 ; THUMB: uxtb.w r9, r12 131 ; THUMB: str.w r9, [sp, #4] 132 ; THUMB: bl _bar 133 ; THUMB-LONG: @t10 134 ; THUMB-LONG: movw lr, :lower16:L_bar$non_lazy_ptr 135 ; THUMB-LONG: movt lr, :upper16:L_bar$non_lazy_ptr 136 ; THUMB-LONG: ldr.w lr, [lr] 137 ; THUMB-LONG: blx lr 138 %call = call i32 @bar(i8 zeroext 0, i8 zeroext -8, i8 zeroext -69, i8 zeroext 28, i8 zeroext 40, i8 zeroext -70) 139 ret i32 0 140 } 141 142 declare i32 @bar(i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext) 143 144 define i32 @bar0(i32 %i) nounwind { 145 ret i32 0 146 } 147 148 define void @foo3() uwtable { 149 ; ARM: movw r0, #0 150 ; ARM: movw r1, :lower16:_bar0 151 ; ARM: movt r1, :upper16:_bar0 152 ; ARM: blx r1 153 ; THUMB: movs r0, #0 154 ; THUMB: movw r1, :lower16:_bar0 155 ; THUMB: movt r1, :upper16:_bar0 156 ; THUMB: blx r1 157 %fptr = alloca i32 (i32)*, align 8 158 store i32 (i32)* @bar0, i32 (i32)** %fptr, align 8 159 %1 = load i32 (i32)** %fptr, align 8 160 %call = call i32 %1(i32 0) 161 ret void 162 } 163 164 define i32 @LibCall(i32 %a, i32 %b) { 165 entry: 166 ; ARM: LibCall 167 ; ARM: bl ___udivsi3 168 ; ARM-LONG: LibCall 169 ; ARM-LONG: movw r2, :lower16:L___udivsi3$non_lazy_ptr 170 ; ARM-LONG: movt r2, :upper16:L___udivsi3$non_lazy_ptr 171 ; ARM-LONG: ldr r2, [r2] 172 ; ARM-LONG: blx r2 173 ; THUMB: LibCall 174 ; THUMB: bl ___udivsi3 175 ; THUMB-LONG: LibCall 176 ; THUMB-LONG: movw r2, :lower16:L___udivsi3$non_lazy_ptr 177 ; THUMB-LONG: movt r2, :upper16:L___udivsi3$non_lazy_ptr 178 ; THUMB-LONG: ldr r2, [r2] 179 ; THUMB-LONG: blx r2 180 %tmp1 = udiv i32 %a, %b ; <i32> [#uses=1] 181 ret i32 %tmp1 182 } 183 184 define i32 @VarArg() nounwind { 185 entry: 186 %i = alloca i32, align 4 187 %j = alloca i32, align 4 188 %k = alloca i32, align 4 189 %m = alloca i32, align 4 190 %n = alloca i32, align 4 191 %tmp = alloca i32, align 4 192 %0 = load i32* %i, align 4 193 %1 = load i32* %j, align 4 194 %2 = load i32* %k, align 4 195 %3 = load i32* %m, align 4 196 %4 = load i32* %n, align 4 197 ; ARM: VarArg 198 ; ARM: mov r7, sp 199 ; ARM: movw r0, #5 200 ; ARM: ldr r1, [r7, #-4] 201 ; ARM: ldr r2, [r7, #-8] 202 ; ARM: ldr r3, [r7, #-12] 203 ; ARM: ldr r9, [sp, #16] 204 ; ARM: ldr r12, [sp, #12] 205 ; ARM: str r9, [sp] 206 ; ARM: str r12, [sp, #4] 207 ; ARM: bl _CallVariadic 208 ; THUMB: mov r7, sp 209 ; THUMB: movs r0, #5 210 ; THUMB: movt r0, #0 211 ; THUMB: ldr r1, [sp, #28] 212 ; THUMB: ldr r2, [sp, #24] 213 ; THUMB: ldr r3, [sp, #20] 214 ; THUMB: ldr.w r9, [sp, #16] 215 ; THUMB: ldr.w r12, [sp, #12] 216 ; THUMB: str.w r9, [sp] 217 ; THUMB: str.w r12, [sp, #4] 218 ; THUMB: bl _CallVariadic 219 %call = call i32 (i32, ...)* @CallVariadic(i32 5, i32 %0, i32 %1, i32 %2, i32 %3, i32 %4) 220 store i32 %call, i32* %tmp, align 4 221 %5 = load i32* %tmp, align 4 222 ret i32 %5 223 } 224 225 declare i32 @CallVariadic(i32, ...) 226 227 ; Test fastcc 228 229 define fastcc void @fast_callee(float %i) ssp { 230 entry: 231 ; ARM: fast_callee 232 ; ARM: vmov r0, s0 233 ; THUMB: fast_callee 234 ; THUMB: vmov r0, s0 235 ; ARM-NOVFP: fast_callee 236 ; ARM-NOVFP-NOT: s0 237 ; THUMB-NOVFP: fast_callee 238 ; THUMB-NOVFP-NOT: s0 239 call void @print(float %i) 240 ret void 241 } 242 243 define void @fast_caller() ssp { 244 entry: 245 ; ARM: fast_caller 246 ; ARM: vldr s0, 247 ; THUMB: fast_caller 248 ; THUMB: vldr s0, 249 ; ARM-NOVFP: fast_caller 250 ; ARM-NOVFP: movw r0, #13107 251 ; ARM-NOVFP: movt r0, #16611 252 ; THUMB-NOVFP: fast_caller 253 ; THUMB-NOVFP: movw r0, #13107 254 ; THUMB-NOVFP: movt r0, #16611 255 call fastcc void @fast_callee(float 0x401C666660000000) 256 ret void 257 } 258 259 define void @no_fast_callee(float %i) ssp { 260 entry: 261 ; ARM: no_fast_callee 262 ; ARM: vmov s0, r0 263 ; THUMB: no_fast_callee 264 ; THUMB: vmov s0, r0 265 ; ARM-NOVFP: no_fast_callee 266 ; ARM-NOVFP-NOT: s0 267 ; THUMB-NOVFP: no_fast_callee 268 ; THUMB-NOVFP-NOT: s0 269 call void @print(float %i) 270 ret void 271 } 272 273 define void @no_fast_caller() ssp { 274 entry: 275 ; ARM: no_fast_caller 276 ; ARM: vmov r0, s0 277 ; THUMB: no_fast_caller 278 ; THUMB: vmov r0, s0 279 ; ARM-NOVFP: no_fast_caller 280 ; ARM-NOVFP: movw r0, #13107 281 ; ARM-NOVFP: movt r0, #16611 282 ; THUMB-NOVFP: no_fast_caller 283 ; THUMB-NOVFP: movw r0, #13107 284 ; THUMB-NOVFP: movt r0, #16611 285 call void @no_fast_callee(float 0x401C666660000000) 286 ret void 287 } 288 289 declare void @print(float) 290
