diff options
author | Tim Northover <tnorthover@apple.com> | 2014-04-15 13:59:44 +0000 |
---|---|---|
committer | Tim Northover <tnorthover@apple.com> | 2014-04-15 13:59:44 +0000 |
commit | f90c8c7063f349781a50bfb984f28af33e2b6778 (patch) | |
tree | 875dc4892cf402e16e3d552c61d547dd95e7e539 /test | |
parent | 3f2d713f4d70838640281dc1fecfa18776a02975 (diff) | |
download | llvm-f90c8c7063f349781a50bfb984f28af33e2b6778.tar.gz llvm-f90c8c7063f349781a50bfb984f28af33e2b6778.tar.bz2 llvm-f90c8c7063f349781a50bfb984f28af33e2b6778.tar.xz |
AArch64/ARM64: add more arm64 lines to AArch64 regression tests
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@206282 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/CodeGen/AArch64/eliminate-trunc.ll | 15 | ||||
-rw-r--r-- | test/CodeGen/AArch64/extern-weak.ll | 41 | ||||
-rw-r--r-- | test/CodeGen/AArch64/extract.ll | 1 | ||||
-rw-r--r-- | test/CodeGen/AArch64/fcmp.ll | 1 |
4 files changed, 39 insertions, 19 deletions
diff --git a/test/CodeGen/AArch64/eliminate-trunc.ll b/test/CodeGen/AArch64/eliminate-trunc.ll index b8b47fd578..7b804c8239 100644 --- a/test/CodeGen/AArch64/eliminate-trunc.ll +++ b/test/CodeGen/AArch64/eliminate-trunc.ll @@ -1,11 +1,16 @@ -; RUN: llc -verify-machineinstrs < %s -mtriple=aarch64-none-linux-gnu | FileCheck %s +; RUN: llc -verify-machineinstrs < %s -mtriple=aarch64-none-linux-gnu | FileCheck %s --check-prefix=CHECK-AARCH64 +; RUN: llc -verify-machineinstrs -o - %s -mtriple=arm64-none-apple-ios7.0 | FileCheck %s --check-prefix=CHECK-ARM64 ; Check trunc i64 operation is translated as a subregister access ; eliminating an i32 induction varible. -; CHECK: add {{x[0-9]+}}, {{x[0-9]+}}, #1 -; CHECK-NOT: add {{w[0-9]+}}, {{w[0-9]+}}, #1 -; CHECK-NEXT: cmp {{w[0-9]+}}, {{w[0-9]+}}, uxtw -define void @test1_signed([8 x i8]* nocapture %a, i8* nocapture readonly %box, i8 %limit) { +; CHECK-AARCH64: add {{x[0-9]+}}, {{x[0-9]+}}, #1 +; CHECK-AARCH64-NOT: add {{w[0-9]+}}, {{w[0-9]+}}, #1 +; CHECK-AARCH64-NEXT: cmp {{w[0-9]+}}, {{w[0-9]+}}, uxtw + +; CHECK-ARM64-NOT: add {{x[0-9]+}}, {{x[0-9]+}}, #1 +; CHECK-ARM64: add {{w[0-9]+}}, {{w[0-9]+}}, #1 +; CHECK-ARM64-NEXT: cmp {{w[0-9]+}}, {{w[0-9]+}} +define void @test1_signed([8 x i8]* nocapture %a, i8* nocapture readonly %box, i8 %limit) minsize { entry: %conv = zext i8 %limit to i32 %cmp223 = icmp eq i8 %limit, 0 diff --git a/test/CodeGen/AArch64/extern-weak.ll b/test/CodeGen/AArch64/extern-weak.ll index 322b3f4522..7c78f9a815 100644 --- a/test/CodeGen/AArch64/extern-weak.ll +++ b/test/CodeGen/AArch64/extern-weak.ll @@ -1,5 +1,7 @@ -; RUN: llc -mtriple=aarch64-none-linux-gnu -o - < %s | FileCheck %s +; RUN: llc -mtriple=aarch64-none-linux-gnu -o - < %s | FileCheck %s --check-prefix=CHECK-AARCH64 ; RUN: llc -mtriple=aarch64-none-linux-gnu -code-model=large -o - < %s | FileCheck --check-prefix=CHECK-LARGE %s +; RUN: llc -mtriple=arm64-none-linux-gnu -o - %s | FileCheck %s --check-prefix=CHECK-ARM64 +; RUN: llc -mtriple=arm64-none-linux-gnu -code-model=large -o - %s | FileCheck --check-prefix=CHECK-LARGE %s declare extern_weak i32 @var() @@ -7,10 +9,13 @@ define i32()* @foo() { ; The usual ADRP/ADD pair can't be used for a weak reference because it must ; evaluate to 0 if the symbol is undefined. We use a litpool entry. ret i32()* @var -; CHECK: .LCPI0_0: -; CHECK-NEXT: .xword var +; CHECK-AARCH64: .LCPI0_0: +; CHECK-AARCH64-NEXT: .xword var -; CHECK: ldr x0, [{{x[0-9]+}}, #:lo12:.LCPI0_0] +; CHECK-AARCH64: ldr x0, [{{x[0-9]+}}, #:lo12:.LCPI0_0] + +; CHECK-ARM64: adrp x[[ADDRHI:[0-9]+]], :got:var +; CHECK-ARM64: ldr x0, [x[[ADDRHI]], :got_lo12:var] ; In the large model, the usual relocations are absolute and can ; materialise 0. @@ -25,27 +30,35 @@ define i32()* @foo() { define i32* @bar() { %addr = getelementptr [10 x i32]* @arr_var, i32 0, i32 5 -; CHECK: .LCPI1_0: -; CHECK-NEXT: .xword arr_var +; CHECK-AARCH64: .LCPI1_0: +; CHECK-AARCH64-NEXT: .xword arr_var + +; CHECK-AARCH64: ldr [[BASE:x[0-9]+]], [{{x[0-9]+}}, #:lo12:.LCPI1_0] +; CHECK-AARCH64: add x0, [[BASE]], #20 + +; CHECK-ARM64: adrp x[[ADDRHI:[0-9]+]], :got:arr_var +; CHECK-ARM64: ldr [[BASE:x[0-9]+]], [x[[ADDRHI]], :got_lo12:arr_var] +; CHECK-ARM64: add x0, [[BASE]], #20 -; CHECK: ldr [[BASE:x[0-9]+]], [{{x[0-9]+}}, #:lo12:.LCPI1_0] -; CHECK: add x0, [[BASE]], #20 ret i32* %addr ; In the large model, the usual relocations are absolute and can ; materialise 0. -; CHECK-LARGE: movz x0, #:abs_g3:arr_var -; CHECK-LARGE: movk x0, #:abs_g2_nc:arr_var -; CHECK-LARGE: movk x0, #:abs_g1_nc:arr_var -; CHECK-LARGE: movk x0, #:abs_g0_nc:arr_var +; CHECK-LARGE: movz [[ADDR:x[0-9]+]], #:abs_g3:arr_var +; CHECK-LARGE: movk [[ADDR]], #:abs_g2_nc:arr_var +; CHECK-LARGE: movk [[ADDR]], #:abs_g1_nc:arr_var +; CHECK-LARGE: movk [[ADDR]], #:abs_g0_nc:arr_var } @defined_weak_var = internal unnamed_addr global i32 0 define i32* @wibble() { ret i32* @defined_weak_var -; CHECK: adrp [[BASE:x[0-9]+]], defined_weak_var -; CHECK: add x0, [[BASE]], #:lo12:defined_weak_var +; CHECK-AARCH64: adrp [[BASE:x[0-9]+]], defined_weak_var +; CHECK-AARCH64: add x0, [[BASE]], #:lo12:defined_weak_var + +; CHECK-ARM64: adrp [[BASE:x[0-9]+]], defined_weak_var +; CHECK-ARM64: add x0, [[BASE]], :lo12:defined_weak_var ; CHECK-LARGE: movz x0, #:abs_g3:defined_weak_var ; CHECK-LARGE: movk x0, #:abs_g2_nc:defined_weak_var diff --git a/test/CodeGen/AArch64/extract.ll b/test/CodeGen/AArch64/extract.ll index 62d9ed2fc9..8553ce4ff0 100644 --- a/test/CodeGen/AArch64/extract.ll +++ b/test/CodeGen/AArch64/extract.ll @@ -1,4 +1,5 @@ ; RUN: llc -verify-machineinstrs < %s -mtriple=aarch64-none-linux-gnu | FileCheck %s +; RUN: llc -verify-machineinstrs -o - %s -mtriple=arm64-apple-ios7.0 | FileCheck %s define i64 @ror_i64(i64 %in) { ; CHECK-LABEL: ror_i64: diff --git a/test/CodeGen/AArch64/fcmp.ll b/test/CodeGen/AArch64/fcmp.ll index a9518eabb7..fe2c3260a8 100644 --- a/test/CodeGen/AArch64/fcmp.ll +++ b/test/CodeGen/AArch64/fcmp.ll @@ -1,4 +1,5 @@ ; RUN: llc -verify-machineinstrs < %s -mtriple=aarch64-none-linux-gnu | FileCheck %s +; RUN: llc -verify-machineinstrs -o - %s -mtriple=arm64-none-linux-gnu | FileCheck %s declare void @bar(i32) |