Mercurial > hg > Members > tobaru > cbc > CbC_llvm
comparison test/CodeGen/ARM/ldaex-stlex.ll @ 77:54457678186b
LLVM 3.6
author | Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 08 Sep 2014 22:06:00 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
34:e874dbf0ad9d | 77:54457678186b |
---|---|
1 ; RUN: llc < %s -mtriple=armv8-apple-darwin | FileCheck %s | |
2 ; RUN: llc < %s -mtriple=thumbv8-apple-darwin | FileCheck %s | |
3 | |
4 %0 = type { i32, i32 } | |
5 | |
6 ; CHECK-LABEL: f0: | |
7 ; CHECK: ldaexd | |
8 define i64 @f0(i8* %p) nounwind readonly { | |
9 entry: | |
10 %ldaexd = tail call %0 @llvm.arm.ldaexd(i8* %p) | |
11 %0 = extractvalue %0 %ldaexd, 1 | |
12 %1 = extractvalue %0 %ldaexd, 0 | |
13 %2 = zext i32 %0 to i64 | |
14 %3 = zext i32 %1 to i64 | |
15 %shl = shl nuw i64 %2, 32 | |
16 %4 = or i64 %shl, %3 | |
17 ret i64 %4 | |
18 } | |
19 | |
20 ; CHECK-LABEL: f1: | |
21 ; CHECK: stlexd | |
22 define i32 @f1(i8* %ptr, i64 %val) nounwind { | |
23 entry: | |
24 %tmp4 = trunc i64 %val to i32 | |
25 %tmp6 = lshr i64 %val, 32 | |
26 %tmp7 = trunc i64 %tmp6 to i32 | |
27 %stlexd = tail call i32 @llvm.arm.stlexd(i32 %tmp4, i32 %tmp7, i8* %ptr) | |
28 ret i32 %stlexd | |
29 } | |
30 | |
31 declare %0 @llvm.arm.ldaexd(i8*) nounwind readonly | |
32 declare i32 @llvm.arm.stlexd(i32, i32, i8*) nounwind | |
33 | |
34 ; CHECK-LABEL: test_load_i8: | |
35 ; CHECK: ldaexb r0, [r0] | |
36 ; CHECK-NOT: uxtb | |
37 ; CHECK-NOT: and | |
38 define zeroext i8 @test_load_i8(i8* %addr) { | |
39 %val = call i32 @llvm.arm.ldaex.p0i8(i8* %addr) | |
40 %val8 = trunc i32 %val to i8 | |
41 ret i8 %val8 | |
42 } | |
43 | |
44 ; CHECK-LABEL: test_load_i16: | |
45 ; CHECK: ldaexh r0, [r0] | |
46 ; CHECK-NOT: uxth | |
47 ; CHECK-NOT: and | |
48 define zeroext i16 @test_load_i16(i16* %addr) { | |
49 %val = call i32 @llvm.arm.ldaex.p0i16(i16* %addr) | |
50 %val16 = trunc i32 %val to i16 | |
51 ret i16 %val16 | |
52 } | |
53 | |
54 ; CHECK-LABEL: test_load_i32: | |
55 ; CHECK: ldaex r0, [r0] | |
56 define i32 @test_load_i32(i32* %addr) { | |
57 %val = call i32 @llvm.arm.ldaex.p0i32(i32* %addr) | |
58 ret i32 %val | |
59 } | |
60 | |
61 declare i32 @llvm.arm.ldaex.p0i8(i8*) nounwind readonly | |
62 declare i32 @llvm.arm.ldaex.p0i16(i16*) nounwind readonly | |
63 declare i32 @llvm.arm.ldaex.p0i32(i32*) nounwind readonly | |
64 | |
65 ; CHECK-LABEL: test_store_i8: | |
66 ; CHECK-NOT: uxtb | |
67 ; CHECK: stlexb r0, r1, [r2] | |
68 define i32 @test_store_i8(i32, i8 %val, i8* %addr) { | |
69 %extval = zext i8 %val to i32 | |
70 %res = call i32 @llvm.arm.stlex.p0i8(i32 %extval, i8* %addr) | |
71 ret i32 %res | |
72 } | |
73 | |
74 ; CHECK-LABEL: test_store_i16: | |
75 ; CHECK-NOT: uxth | |
76 ; CHECK: stlexh r0, r1, [r2] | |
77 define i32 @test_store_i16(i32, i16 %val, i16* %addr) { | |
78 %extval = zext i16 %val to i32 | |
79 %res = call i32 @llvm.arm.stlex.p0i16(i32 %extval, i16* %addr) | |
80 ret i32 %res | |
81 } | |
82 | |
83 ; CHECK-LABEL: test_store_i32: | |
84 ; CHECK: stlex r0, r1, [r2] | |
85 define i32 @test_store_i32(i32, i32 %val, i32* %addr) { | |
86 %res = call i32 @llvm.arm.stlex.p0i32(i32 %val, i32* %addr) | |
87 ret i32 %res | |
88 } | |
89 | |
90 declare i32 @llvm.arm.stlex.p0i8(i32, i8*) nounwind | |
91 declare i32 @llvm.arm.stlex.p0i16(i32, i16*) nounwind | |
92 declare i32 @llvm.arm.stlex.p0i32(i32, i32*) nounwind |