test/CodeGen/AArch64/literal_pools.ll

   1 ; RUN: llc -verify-machineinstrs < %s -mtriple=aarch64-none-linux-gnu | FileCheck %s
   2 ; RUN: llc -verify-machineinstrs < %s -mtriple=aarch64-none-linux-gnu -code-model=large | FileCheck --check-prefix=CHECK-LARGE %s
   3
   4 @var32 = global i32 0
   5 @var64 = global i64 0
   6
   7 define void @foo() {
   8 ; CHECK-LABEL: foo:
   9     %val32 = load i32* @var32
  10     %val64 = load i64* @var64
  11
  12     %val32_lit32 = and i32 %val32, 123456785
  13     store volatile i32 %val32_lit32, i32* @var32
  14 ; CHECK: adrp x[[LITBASE:[0-9]+]], [[CURLIT:.LCPI0_[0-9]+]]
  15 ; CHECK: ldr {{w[0-9]+}}, [x[[LITBASE]], #:lo12:[[CURLIT]]]
  16
  17 ; CHECK-LARGE: movz x[[LITADDR:[0-9]+]], #:abs_g3:[[CURLIT:.LCPI0_[0-9]+]]
  18 ; CHECK-LARGE: movk x[[LITADDR]], #:abs_g2_nc:[[CURLIT]]
  19 ; CHECK-LARGE: movk x[[LITADDR]], #:abs_g1_nc:[[CURLIT]]
  20 ; CHECK-LARGE: movk x[[LITADDR]], #:abs_g0_nc:[[CURLIT]]
  21 ; CHECK-LARGE: ldr {{w[0-9]+}}, [x[[LITADDR]]]
  22
  23     %val64_lit32 = and i64 %val64, 305402420
  24     store volatile i64 %val64_lit32, i64* @var64
  25 ; CHECK: adrp x[[LITBASE:[0-9]+]], [[CURLIT:.LCPI0_[0-9]+]]
  26 ; CHECK: ldr {{w[0-9]+}}, [x[[LITBASE]], #:lo12:[[CURLIT]]]
  27
  28 ; CHECK-LARGE: movz x[[LITADDR:[0-9]+]], #:abs_g3:[[CURLIT:.LCPI0_[0-9]+]]
  29 ; CHECK-LARGE: movk x[[LITADDR]], #:abs_g2_nc:[[CURLIT]]
  30 ; CHECK-LARGE: movk x[[LITADDR]], #:abs_g1_nc:[[CURLIT]]
  31 ; CHECK-LARGE: movk x[[LITADDR]], #:abs_g0_nc:[[CURLIT]]
  32 ; CHECK-LARGE: ldr {{w[0-9]+}}, [x[[LITADDR]]]
  33
  34     %val64_lit32signed = and i64 %val64, -12345678
  35     store volatile i64 %val64_lit32signed, i64* @var64
  36 ; CHECK: adrp x[[LITBASE:[0-9]+]], [[CURLIT:.LCPI0_[0-9]+]]
  37 ; CHECK: ldrsw {{x[0-9]+}}, [x[[LITBASE]], #:lo12:[[CURLIT]]]
  38
  39 ; CHECK-LARGE: movz x[[LITADDR:[0-9]+]], #:abs_g3:[[CURLIT:.LCPI0_[0-9]+]]
  40 ; CHECK-LARGE: movk x[[LITADDR]], #:abs_g2_nc:[[CURLIT]]
  41 ; CHECK-LARGE: movk x[[LITADDR]], #:abs_g1_nc:[[CURLIT]]
  42 ; CHECK-LARGE: movk x[[LITADDR]], #:abs_g0_nc:[[CURLIT]]
  43 ; CHECK-LARGE: ldrsw {{x[0-9]+}}, [x[[LITADDR]]]
  44
  45     %val64_lit64 = and i64 %val64, 1234567898765432
  46     store volatile i64 %val64_lit64, i64* @var64
  47 ; CHECK: adrp x[[LITBASE:[0-9]+]], [[CURLIT:.LCPI0_[0-9]+]]
  48 ; CHECK: ldr {{x[0-9]+}}, [x[[LITBASE]], #:lo12:[[CURLIT]]]
  49
  50 ; CHECK-LARGE: movz x[[LITADDR:[0-9]+]], #:abs_g3:[[CURLIT:.LCPI0_[0-9]+]]
  51 ; CHECK-LARGE: movk x[[LITADDR]], #:abs_g2_nc:[[CURLIT]]
  52 ; CHECK-LARGE: movk x[[LITADDR]], #:abs_g1_nc:[[CURLIT]]
  53 ; CHECK-LARGE: movk x[[LITADDR]], #:abs_g0_nc:[[CURLIT]]
  54 ; CHECK-LARGE: ldr {{x[0-9]+}}, [x[[LITADDR]]]
  55
  56     ret void
  57 }
  58
  59 @varfloat = global float 0.0
  60 @vardouble = global double 0.0
  61
  62 define void @floating_lits() {
  63 ; CHECK-LABEL: floating_lits:
  64
  65   %floatval = load float* @varfloat
  66   %newfloat = fadd float %floatval, 128.0
  67 ; CHECK: adrp x[[LITBASE:[0-9]+]], [[CURLIT:.LCPI1_[0-9]+]]
  68 ; CHECK: ldr [[LIT128:s[0-9]+]], [x[[LITBASE]], #:lo12:[[CURLIT]]]
  69
  70 ; CHECK-LARGE: movz x[[LITADDR:[0-9]+]], #:abs_g3:[[CURLIT:.LCPI1_[0-9]+]]
  71 ; CHECK-LARGE: movk x[[LITADDR]], #:abs_g2_nc:[[CURLIT]]
  72 ; CHECK-LARGE: movk x[[LITADDR]], #:abs_g1_nc:[[CURLIT]]
  73 ; CHECK-LARGE: movk x[[LITADDR]], #:abs_g0_nc:[[CURLIT]]
  74 ; CHECK-LARGE: ldr {{s[0-9]+}}, [x[[LITADDR]]]
  75 ; CHECK-LARGE: fadd
  76
  77   store float %newfloat, float* @varfloat
  78
  79   %doubleval = load double* @vardouble
  80   %newdouble = fadd double %doubleval, 129.0
  81 ; CHECK: adrp x[[LITBASE:[0-9]+]], [[CURLIT:.LCPI1_[0-9]+]]
  82 ; CHECK: ldr [[LIT129:d[0-9]+]], [x[[LITBASE]], #:lo12:[[CURLIT]]]
  83 ; CHECK: fadd {{s[0-9]+}}, {{s[0-9]+}}, [[LIT128]]
  84 ; CHECK: fadd {{d[0-9]+}}, {{d[0-9]+}}, [[LIT129]]
  85
  86 ; CHECK-LARGE: movz x[[LITADDR:[0-9]+]], #:abs_g3:[[CURLIT:.LCPI1_[0-9]+]]
  87 ; CHECK-LARGE: movk x[[LITADDR]], #:abs_g2_nc:[[CURLIT]]
  88 ; CHECK-LARGE: movk x[[LITADDR]], #:abs_g1_nc:[[CURLIT]]
  89 ; CHECK-LARGE: movk x[[LITADDR]], #:abs_g0_nc:[[CURLIT]]
  90 ; CHECK-LARGE: ldr {{d[0-9]+}}, [x[[LITADDR]]]
  91
  92   store double %newdouble, double* @vardouble
  93
  94   ret void
  95 }