test/CodeGen/AArch64/arm64-fast-isel.ll

   1 ; RUN: llc -fast-isel-sink-local-values -O0 -fast-isel -fast-isel-abort=1 -verify-machineinstrs -mtriple=arm64-apple-darwin < %s | FileCheck %s
   2
   3 define void @t0(i32 %a) nounwind {
   4 entry:
   5 ; CHECK: t0
   6 ; CHECK: str {{w[0-9]+}}, [sp, #12]
   7 ; CHECK-NEXT: ldr [[REGISTER:w[0-9]+]], [sp, #12]
   8 ; CHECK-NEXT: str [[REGISTER]], [sp, #12]
   9 ; CHECK: ret
  10   %a.addr = alloca i32, align 4
  11   store i32 %a, i32* %a.addr
  12   %tmp = load i32, i32* %a.addr
  13   store i32 %tmp, i32* %a.addr
  14   ret void
  15 }
  16
  17 define void @t1(i64 %a) nounwind {
  18 ; CHECK: t1
  19 ; CHECK: str {{x[0-9]+}}, [sp, #8]
  20 ; CHECK-NEXT: ldr [[REGISTER:x[0-9]+]], [sp, #8]
  21 ; CHECK-NEXT: str [[REGISTER]], [sp, #8]
  22 ; CHECK: ret
  23   %a.addr = alloca i64, align 4
  24   store i64 %a, i64* %a.addr
  25   %tmp = load i64, i64* %a.addr
  26   store i64 %tmp, i64* %a.addr
  27   ret void
  28 }
  29
  30 define zeroext i1 @i1(i1 %a) nounwind {
  31 entry:
  32 ; CHECK: @i1
  33 ; CHECK: and [[REG:w[0-9]+]], w0, #0x1
  34 ; CHECK: strb [[REG]], [sp, #15]
  35 ; CHECK: ldrb [[REG1:w[0-9]+]], [sp, #15]
  36 ; CHECK: and [[REG2:w[0-9]+]], [[REG1]], #0x1
  37 ; CHECK: and w0, [[REG2]], #0x1
  38 ; CHECK: add sp, sp, #16
  39 ; CHECK: ret
  40   %a.addr = alloca i1, align 1
  41   store i1 %a, i1* %a.addr, align 1
  42   %0 = load i1, i1* %a.addr, align 1
  43   ret i1 %0
  44 }
  45
  46 define i32 @t2(i32 *%ptr) nounwind {
  47 entry:
  48 ; CHECK-LABEL: t2:
  49 ; CHECK: ldur w0, [x0, #-4]
  50 ; CHECK: ret
  51   %0 = getelementptr i32, i32 *%ptr, i32 -1
  52   %1 = load i32, i32* %0, align 4
  53   ret i32 %1
  54 }
  55
  56 define i32 @t3(i32 *%ptr) nounwind {
  57 entry:
  58 ; CHECK-LABEL: t3:
  59 ; CHECK: ldur w0, [x0, #-256]
  60 ; CHECK: ret
  61   %0 = getelementptr i32, i32 *%ptr, i32 -64
  62   %1 = load i32, i32* %0, align 4
  63   ret i32 %1
  64 }
  65
  66 define void @t4(i32 *%ptr) nounwind {
  67 entry:
  68 ; CHECK-LABEL: t4:
  69 ; CHECK: stur wzr, [x0, #-4]
  70 ; CHECK: ret
  71   %0 = getelementptr i32, i32 *%ptr, i32 -1
  72   store i32 0, i32* %0, align 4
  73   ret void
  74 }
  75
  76 define void @t5(i32 *%ptr) nounwind {
  77 entry:
  78 ; CHECK-LABEL: t5:
  79 ; CHECK: stur wzr, [x0, #-256]
  80 ; CHECK: ret
  81   %0 = getelementptr i32, i32 *%ptr, i32 -64
  82   store i32 0, i32* %0, align 4
  83   ret void
  84 }
  85
  86 define void @t6() nounwind {
  87 ; CHECK: t6
  88 ; CHECK: brk #0x1
  89   tail call void @llvm.trap()
  90   ret void
  91 }
  92
  93 declare void @llvm.trap() nounwind
  94
  95 define void @ands(i32* %addr) {
  96 ; CHECK-LABEL: ands:
  97 ; CHECK: tst [[COND:w[0-9]+]], #0x1
  98 ; CHECK-NEXT: mov w{{[0-9]+}}, #2
  99 ; CHECK-NEXT: mov w{{[0-9]+}}, #1
 100 ; CHECK-NEXT: csel [[COND]],
 101 entry:
 102   %cond91 = select i1 undef, i32 1, i32 2
 103   store i32 %cond91, i32* %addr, align 4
 104   ret void
 105 }
 106
 107 define i64 @mul_umul(i64 %arg) {
 108 ; CHECK-LABEL: mul_umul:
 109 ; CHECK: mul x{{[0-9]+}}, [[ARG1:x[0-9]+]], [[ARG2:x[0-9]+]]
 110 ; CHECK-NEXT: umulh x{{[0-9]+}}, [[ARG1]], [[ARG2]]
 111 entry:
 112   %sub.ptr.div = sdiv exact i64 %arg, 8
 113   %tmp = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %sub.ptr.div, i64 8)
 114   %tmp1 = extractvalue { i64, i1 } %tmp, 0
 115   ret i64 %tmp1
 116 }
 117
 118 declare { i64, i1 } @llvm.umul.with.overflow.i64(i64, i64)
 119
 120 define void @logicalReg() {
 121 ; Make sure we generate a logical reg = reg, reg instruction without any
 122 ; machine verifier errors.
 123 ; CHECK-LABEL: logicalReg:
 124 ; CHECK: orr w{{[0-9]+}}, w{{[0-9]+}}, w{{[0-9]+}}
 125 ; CHECK: ret
 126 entry:
 127   br i1 undef, label %cond.end, label %cond.false
 128
 129 cond.false:
 130   %cond = select i1 undef, i1 true, i1 false
 131   br label %cond.end
 132
 133 cond.end:
 134   %cond13 = phi i1 [ %cond, %cond.false ], [ true, %entry ]
 135   ret void
 136 }
 137