llvm/test/CodeGen/VE/Scalar/sext_zext_load.ll

   1 ; RUN: llc < %s -mtriple=ve-unknown-unknown | FileCheck %s
   2
   3 define signext i16 @func1() {
   4 ; CHECK-LABEL: func1:
   5 ; CHECK:       .LBB{{[0-9]+}}_2:
   6 ; CHECK-NEXT:    ld1b.sx %s0, 15(, %s11)
   7 ; CHECK-NEXT:    adds.l %s11, 16, %s11
   8 ; CHECK-NEXT:    b.l.t (, %s10)
   9   %a = alloca i8, align 1
  10   %a.val = load i8, ptr %a, align 1
  11   %a.conv = sext i8 %a.val to i16
  12   ret i16 %a.conv
  13 }
  14
  15 define i32 @func2() {
  16 ; CHECK-LABEL: func2:
  17 ; CHECK:       .LBB{{[0-9]+}}_2:
  18 ; CHECK-NEXT:    ld1b.sx %s0, 15(, %s11)
  19 ; CHECK-NEXT:    adds.l %s11, 16, %s11
  20 ; CHECK-NEXT:    b.l.t (, %s10)
  21   %a = alloca i8, align 1
  22   %a.val = load i8, ptr %a, align 1
  23   %a.conv = sext i8 %a.val to i32
  24   ret i32 %a.conv
  25 }
  26
  27 define i64 @func3() {
  28 ; CHECK-LABEL: func3:
  29 ; CHECK:       .LBB{{[0-9]+}}_2:
  30 ; CHECK-NEXT:    ld1b.sx %s0, 15(, %s11)
  31 ; CHECK-NEXT:    adds.l %s11, 16, %s11
  32 ; CHECK-NEXT:    b.l.t (, %s10)
  33   %a = alloca i8, align 1
  34   %a.val = load i8, ptr %a, align 1
  35   %a.conv = sext i8 %a.val to i64
  36   ret i64 %a.conv
  37 }
  38
  39 define zeroext i16 @func5() {
  40 ; CHECK-LABEL: func5:
  41 ; CHECK:       .LBB{{[0-9]+}}_2:
  42 ; CHECK-NEXT:    ld1b.sx %s0, 15(, %s11)
  43 ; CHECK-NEXT:    and %s0, %s0, (48)0
  44 ; CHECK-NEXT:    adds.l %s11, 16, %s11
  45 ; CHECK-NEXT:    b.l.t (, %s10)
  46   %a = alloca i8, align 1
  47   %a.val = load i8, ptr %a, align 1
  48   %a.conv = sext i8 %a.val to i16
  49   ret i16 %a.conv
  50 }
  51
  52 define i32 @func6() {
  53 ; CHECK-LABEL: func6:
  54 ; CHECK:       .LBB{{[0-9]+}}_2:
  55 ; CHECK-NEXT:    ld1b.sx %s0, 15(, %s11)
  56 ; CHECK-NEXT:    adds.l %s11, 16, %s11
  57 ; CHECK-NEXT:    b.l.t (, %s10)
  58   %a = alloca i8, align 1
  59   %a.val = load i8, ptr %a, align 1
  60   %a.conv = sext i8 %a.val to i32
  61   ret i32 %a.conv
  62 }
  63
  64 define i64 @func7() {
  65 ; CHECK-LABEL: func7:
  66 ; CHECK:       .LBB{{[0-9]+}}_2:
  67 ; CHECK-NEXT:    ld1b.sx %s0, 15(, %s11)
  68 ; CHECK-NEXT:    adds.l %s11, 16, %s11
  69 ; CHECK-NEXT:    b.l.t (, %s10)
  70   %a = alloca i8, align 1
  71   %a.val = load i8, ptr %a, align 1
  72   %a.conv = sext i8 %a.val to i64
  73   ret i64 %a.conv
  74 }
  75
  76 define signext i16 @func9() {
  77 ; CHECK-LABEL: func9:
  78 ; CHECK:       .LBB{{[0-9]+}}_2:
  79 ; CHECK-NEXT:    ld1b.zx %s0, 15(, %s11)
  80 ; CHECK-NEXT:    adds.l %s11, 16, %s11
  81 ; CHECK-NEXT:    b.l.t (, %s10)
  82   %a = alloca i8, align 1
  83   %a.val = load i8, ptr %a, align 1
  84   %a.conv = zext i8 %a.val to i16
  85   ret i16 %a.conv
  86 }
  87
  88 define i32 @func10() {
  89 ; CHECK-LABEL: func10:
  90 ; CHECK:       .LBB{{[0-9]+}}_2:
  91 ; CHECK-NEXT:    ld1b.zx %s0, 15(, %s11)
  92 ; CHECK-NEXT:    adds.l %s11, 16, %s11
  93 ; CHECK-NEXT:    b.l.t (, %s10)
  94   %a = alloca i8, align 1
  95   %a.val = load i8, ptr %a, align 1
  96   %a.conv = zext i8 %a.val to i32
  97   ret i32 %a.conv
  98 }
  99
 100 define i64 @func11() {
 101 ; CHECK-LABEL: func11:
 102 ; CHECK:       .LBB{{[0-9]+}}_2:
 103 ; CHECK-NEXT:    ld1b.zx %s0, 15(, %s11)
 104 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 105 ; CHECK-NEXT:    b.l.t (, %s10)
 106   %a = alloca i8, align 1
 107   %a.val = load i8, ptr %a, align 1
 108   %a.conv = zext i8 %a.val to i64
 109   ret i64 %a.conv
 110 }
 111
 112 define zeroext i16 @func13() {
 113 ; CHECK-LABEL: func13:
 114 ; CHECK:       .LBB{{[0-9]+}}_2:
 115 ; CHECK-NEXT:    ld1b.zx %s0, 15(, %s11)
 116 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 117 ; CHECK-NEXT:    b.l.t (, %s10)
 118   %a = alloca i8, align 1
 119   %a.val = load i8, ptr %a, align 1
 120   %a.conv = zext i8 %a.val to i16
 121   ret i16 %a.conv
 122 }
 123
 124 define zeroext i16 @func14() {
 125 ; CHECK-LABEL: func14:
 126 ; CHECK:       .LBB{{[0-9]+}}_2:
 127 ; CHECK-NEXT:    ld1b.zx %s0, 15(, %s11)
 128 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 129 ; CHECK-NEXT:    b.l.t (, %s10)
 130   %a = alloca i8, align 1
 131   %a.val = load i8, ptr %a, align 1
 132   %a.conv = zext i8 %a.val to i16
 133   ret i16 %a.conv
 134 }
 135
 136 define i64 @func15() {
 137 ; CHECK-LABEL: func15:
 138 ; CHECK:       .LBB{{[0-9]+}}_2:
 139 ; CHECK-NEXT:    ld1b.zx %s0, 15(, %s11)
 140 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 141 ; CHECK-NEXT:    b.l.t (, %s10)
 142   %a = alloca i8, align 1
 143   %a.val = load i8, ptr %a, align 1
 144   %a.conv = zext i8 %a.val to i64
 145   ret i64 %a.conv
 146 }
 147
 148 define i32 @func17() {
 149 ; CHECK-LABEL: func17:
 150 ; CHECK:       .LBB{{[0-9]+}}_2:
 151 ; CHECK-NEXT:    ld2b.sx %s0, 14(, %s11)
 152 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 153 ; CHECK-NEXT:    b.l.t (, %s10)
 154   %a = alloca i16, align 2
 155   %a.val = load i16, ptr %a, align 2
 156   %a.conv = sext i16 %a.val to i32
 157   ret i32 %a.conv
 158 }
 159
 160 define i64 @func18() {
 161 ; CHECK-LABEL: func18:
 162 ; CHECK:       .LBB{{[0-9]+}}_2:
 163 ; CHECK-NEXT:    ld2b.sx %s0, 14(, %s11)
 164 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 165 ; CHECK-NEXT:    b.l.t (, %s10)
 166   %a = alloca i16, align 2
 167   %a.val = load i16, ptr %a, align 2
 168   %a.conv = sext i16 %a.val to i64
 169   ret i64 %a.conv
 170 }
 171
 172 define zeroext i16 @func20() {
 173 ; CHECK-LABEL: func20:
 174 ; CHECK:       .LBB{{[0-9]+}}_2:
 175 ; CHECK-NEXT:    ld2b.zx %s0, 14(, %s11)
 176 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 177 ; CHECK-NEXT:    b.l.t (, %s10)
 178   %a = alloca i16, align 2
 179   %a.conv = load i16, ptr %a, align 2
 180   ret i16 %a.conv
 181 }
 182
 183 define i64 @func21() {
 184 ; CHECK-LABEL: func21:
 185 ; CHECK:       .LBB{{[0-9]+}}_2:
 186 ; CHECK-NEXT:    ld2b.sx %s0, 14(, %s11)
 187 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 188 ; CHECK-NEXT:    b.l.t (, %s10)
 189   %a = alloca i16, align 2
 190   %a.val = load i16, ptr %a, align 2
 191   %a.conv = sext i16 %a.val to i64
 192   ret i64 %a.conv
 193 }
 194
 195 define i32 @func23() {
 196 ; CHECK-LABEL: func23:
 197 ; CHECK:       .LBB{{[0-9]+}}_2:
 198 ; CHECK-NEXT:    ld2b.zx %s0, 14(, %s11)
 199 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 200 ; CHECK-NEXT:    b.l.t (, %s10)
 201   %a = alloca i16, align 2
 202   %a.val = load i16, ptr %a, align 2
 203   %a.conv = zext i16 %a.val to i32
 204   ret i32 %a.conv
 205 }
 206
 207 define i64 @func24() {
 208 ; CHECK-LABEL: func24:
 209 ; CHECK:       .LBB{{[0-9]+}}_2:
 210 ; CHECK-NEXT:    ld2b.zx %s0, 14(, %s11)
 211 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 212 ; CHECK-NEXT:    b.l.t (, %s10)
 213   %a = alloca i16, align 2
 214   %a.val = load i16, ptr %a, align 2
 215   %a.conv = zext i16 %a.val to i64
 216   ret i64 %a.conv
 217 }
 218
 219 define zeroext i16 @func26() {
 220 ; CHECK-LABEL: func26:
 221 ; CHECK:       .LBB{{[0-9]+}}_2:
 222 ; CHECK-NEXT:    ld2b.zx %s0, 14(, %s11)
 223 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 224 ; CHECK-NEXT:    b.l.t (, %s10)
 225   %a = alloca i16, align 2
 226   %a.conv = load i16, ptr %a, align 2
 227   ret i16 %a.conv
 228 }
 229
 230 define i64 @func27() {
 231 ; CHECK-LABEL: func27:
 232 ; CHECK:       .LBB{{[0-9]+}}_2:
 233 ; CHECK-NEXT:    ld2b.zx %s0, 14(, %s11)
 234 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 235 ; CHECK-NEXT:    b.l.t (, %s10)
 236   %a = alloca i16, align 2
 237   %a.val = load i16, ptr %a, align 2
 238   %a.conv = zext i16 %a.val to i64
 239   ret i64 %a.conv
 240 }
 241
 242 define i64 @func29() {
 243 ; CHECK-LABEL: func29:
 244 ; CHECK:       .LBB{{[0-9]+}}_2:
 245 ; CHECK-NEXT:    ldl.sx %s0, 12(, %s11)
 246 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 247 ; CHECK-NEXT:    b.l.t (, %s10)
 248   %a = alloca i32, align 4
 249   %a.val = load i32, ptr %a, align 4
 250   %a.conv = sext i32 %a.val to i64
 251   ret i64 %a.conv
 252 }
 253
 254 define i64 @func31() {
 255 ; CHECK-LABEL: func31:
 256 ; CHECK:       .LBB{{[0-9]+}}_2:
 257 ; CHECK-NEXT:    ldl.sx %s0, 12(, %s11)
 258 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 259 ; CHECK-NEXT:    b.l.t (, %s10)
 260   %a = alloca i32, align 4
 261   %a.val = load i32, ptr %a, align 4
 262   %a.conv = sext i32 %a.val to i64
 263   ret i64 %a.conv
 264 }
 265
 266 define i64 @func33() {
 267 ; CHECK-LABEL: func33:
 268 ; CHECK:       .LBB{{[0-9]+}}_2:
 269 ; CHECK-NEXT:    ldl.zx %s0, 12(, %s11)
 270 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 271 ; CHECK-NEXT:    b.l.t (, %s10)
 272   %a = alloca i32, align 4
 273   %a.val = load i32, ptr %a, align 4
 274   %a.conv = zext i32 %a.val to i64
 275   ret i64 %a.conv
 276 }
 277
 278 define i64 @func35() {
 279 ; CHECK-LABEL: func35:
 280 ; CHECK:       .LBB{{[0-9]+}}_2:
 281 ; CHECK-NEXT:    ldl.zx %s0, 12(, %s11)
 282 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 283 ; CHECK-NEXT:    b.l.t (, %s10)
 284   %a = alloca i32, align 4
 285   %a.val = load i32, ptr %a, align 4
 286   %a.conv = zext i32 %a.val to i64
 287   ret i64 %a.conv
 288 }
 289
 290 define signext i8 @func37() {
 291 ; CHECK-LABEL: func37:
 292 ; CHECK:       .LBB{{[0-9]+}}_2:
 293 ; CHECK-NEXT:    ld1b.zx %s0, 15(, %s11)
 294 ; CHECK-NEXT:    sll %s0, %s0, 63
 295 ; CHECK-NEXT:    sra.l %s0, %s0, 63
 296 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 297 ; CHECK-NEXT:    b.l.t (, %s10)
 298   %a = alloca i1, align 1
 299   %a.val = load i1, ptr %a, align 1
 300   %a.conv = sext i1 %a.val to i8
 301   ret i8 %a.conv
 302 }
 303
 304 define signext i16 @func38() {
 305 ; CHECK-LABEL: func38:
 306 ; CHECK:       .LBB{{[0-9]+}}_2:
 307 ; CHECK-NEXT:    ld1b.zx %s0, 15(, %s11)
 308 ; CHECK-NEXT:    sll %s0, %s0, 63
 309 ; CHECK-NEXT:    sra.l %s0, %s0, 63
 310 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 311 ; CHECK-NEXT:    b.l.t (, %s10)
 312   %a = alloca i1, align 1
 313   %a.val = load i1, ptr %a, align 1
 314   %a.conv = sext i1 %a.val to i16
 315   ret i16 %a.conv
 316 }
 317
 318 define signext i32 @func39() {
 319 ; CHECK-LABEL: func39:
 320 ; CHECK:       .LBB{{[0-9]+}}_2:
 321 ; CHECK-NEXT:    ld1b.zx %s0, 15(, %s11)
 322 ; CHECK-NEXT:    sll %s0, %s0, 63
 323 ; CHECK-NEXT:    sra.l %s0, %s0, 63
 324 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 325 ; CHECK-NEXT:    b.l.t (, %s10)
 326   %a = alloca i1, align 1
 327   %a.val = load i1, ptr %a, align 1
 328   %a.conv = sext i1 %a.val to i32
 329   ret i32 %a.conv
 330 }
 331
 332 define signext i64 @func40() {
 333 ; CHECK-LABEL: func40:
 334 ; CHECK:       .LBB{{[0-9]+}}_2:
 335 ; CHECK-NEXT:    ld1b.zx %s0, 15(, %s11)
 336 ; CHECK-NEXT:    sll %s0, %s0, 63
 337 ; CHECK-NEXT:    sra.l %s0, %s0, 63
 338 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 339 ; CHECK-NEXT:    b.l.t (, %s10)
 340   %a = alloca i1, align 1
 341   %a.val = load i1, ptr %a, align 1
 342   %a.conv = sext i1 %a.val to i64
 343   ret i64 %a.conv
 344 }
 345
 346 define signext i8 @func42() {
 347 ; CHECK-LABEL: func42:
 348 ; CHECK:       .LBB{{[0-9]+}}_2:
 349 ; CHECK-NEXT:    ld1b.zx %s0, 15(, %s11)
 350 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 351 ; CHECK-NEXT:    b.l.t (, %s10)
 352   %a = alloca i1, align 1
 353   %a.val = load i1, ptr %a, align 1
 354   %a.conv = zext i1 %a.val to i8
 355   ret i8 %a.conv
 356 }
 357
 358 define signext i16 @func43() {
 359 ; CHECK-LABEL: func43:
 360 ; CHECK:       .LBB{{[0-9]+}}_2:
 361 ; CHECK-NEXT:    ld1b.zx %s0, 15(, %s11)
 362 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 363 ; CHECK-NEXT:    b.l.t (, %s10)
 364   %a = alloca i1, align 1
 365   %a.val = load i1, ptr %a, align 1
 366   %a.conv = zext i1 %a.val to i16
 367   ret i16 %a.conv
 368 }
 369
 370 define signext i32 @func44() {
 371 ; CHECK-LABEL: func44:
 372 ; CHECK:       .LBB{{[0-9]+}}_2:
 373 ; CHECK-NEXT:    ld1b.zx %s0, 15(, %s11)
 374 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 375 ; CHECK-NEXT:    b.l.t (, %s10)
 376   %a = alloca i1, align 1
 377   %a.val = load i1, ptr %a, align 1
 378   %a.conv = zext i1 %a.val to i32
 379   ret i32 %a.conv
 380 }
 381
 382 define signext i64 @func45() {
 383 ; CHECK-LABEL: func45:
 384 ; CHECK:       .LBB{{[0-9]+}}_2:
 385 ; CHECK-NEXT:    ld1b.zx %s0, 15(, %s11)
 386 ; CHECK-NEXT:    adds.l %s11, 16, %s11
 387 ; CHECK-NEXT:    b.l.t (, %s10)
 388   %a = alloca i1, align 1
 389   %a.val = load i1, ptr %a, align 1
 390   %a.conv = zext i1 %a.val to i64
 391   ret i64 %a.conv
 392 }