Robin Morisset | e1ca44b | 2014-10-02 22:27:07 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -mtriple=powerpc-apple-darwin -march=ppc32 -verify-machineinstrs | FileCheck %s --check-prefix=CHECK --check-prefix=PPC32 |
| 2 | ; FIXME: -verify-machineinstrs currently fail on ppc64 (mismatched register/instruction). |
| 3 | ; This is already checked for in Atomics-64.ll |
| 4 | ; RUN: llc < %s -mtriple=powerpc-apple-darwin -march=ppc64 | FileCheck %s --check-prefix=CHECK --check-prefix=PPC64 |
| 5 | |
| 6 | ; In this file, we check that atomic load/store can make use of the indexed |
| 7 | ; versions of the instructions. |
| 8 | |
| 9 | ; Indexed version of loads |
| 10 | define i8 @load_x_i8_seq_cst([100000 x i8]* %mem) { |
| 11 | ; CHECK-LABEL: load_x_i8_seq_cst |
| 12 | ; CHECK: sync 0 |
| 13 | ; CHECK: lbzx |
Hal Finkel | 7c5cb06 | 2015-04-23 18:30:38 +0000 | [diff] [blame^] | 14 | ; CHECK: lwsync |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 15 | %ptr = getelementptr inbounds [100000 x i8], [100000 x i8]* %mem, i64 0, i64 90000 |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 16 | %val = load atomic i8, i8* %ptr seq_cst, align 1 |
Robin Morisset | e1ca44b | 2014-10-02 22:27:07 +0000 | [diff] [blame] | 17 | ret i8 %val |
| 18 | } |
| 19 | define i16 @load_x_i16_acquire([100000 x i16]* %mem) { |
| 20 | ; CHECK-LABEL: load_x_i16_acquire |
| 21 | ; CHECK: lhzx |
Hal Finkel | 7c5cb06 | 2015-04-23 18:30:38 +0000 | [diff] [blame^] | 22 | ; CHECK: lwsync |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 23 | %ptr = getelementptr inbounds [100000 x i16], [100000 x i16]* %mem, i64 0, i64 90000 |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 24 | %val = load atomic i16, i16* %ptr acquire, align 2 |
Robin Morisset | e1ca44b | 2014-10-02 22:27:07 +0000 | [diff] [blame] | 25 | ret i16 %val |
| 26 | } |
| 27 | define i32 @load_x_i32_monotonic([100000 x i32]* %mem) { |
| 28 | ; CHECK-LABEL: load_x_i32_monotonic |
| 29 | ; CHECK: lwzx |
| 30 | ; CHECK-NOT: sync |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 31 | %ptr = getelementptr inbounds [100000 x i32], [100000 x i32]* %mem, i64 0, i64 90000 |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 32 | %val = load atomic i32, i32* %ptr monotonic, align 4 |
Robin Morisset | e1ca44b | 2014-10-02 22:27:07 +0000 | [diff] [blame] | 33 | ret i32 %val |
| 34 | } |
| 35 | define i64 @load_x_i64_unordered([100000 x i64]* %mem) { |
| 36 | ; CHECK-LABEL: load_x_i64_unordered |
| 37 | ; PPC32: __sync_ |
| 38 | ; PPC64-NOT: __sync_ |
| 39 | ; PPC64: ldx |
| 40 | ; CHECK-NOT: sync |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 41 | %ptr = getelementptr inbounds [100000 x i64], [100000 x i64]* %mem, i64 0, i64 90000 |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 42 | %val = load atomic i64, i64* %ptr unordered, align 8 |
Robin Morisset | e1ca44b | 2014-10-02 22:27:07 +0000 | [diff] [blame] | 43 | ret i64 %val |
| 44 | } |
| 45 | |
| 46 | ; Indexed version of stores |
| 47 | define void @store_x_i8_seq_cst([100000 x i8]* %mem) { |
| 48 | ; CHECK-LABEL: store_x_i8_seq_cst |
| 49 | ; CHECK: sync 0 |
| 50 | ; CHECK: stbx |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 51 | %ptr = getelementptr inbounds [100000 x i8], [100000 x i8]* %mem, i64 0, i64 90000 |
Robin Morisset | e1ca44b | 2014-10-02 22:27:07 +0000 | [diff] [blame] | 52 | store atomic i8 42, i8* %ptr seq_cst, align 1 |
| 53 | ret void |
| 54 | } |
| 55 | define void @store_x_i16_release([100000 x i16]* %mem) { |
| 56 | ; CHECK-LABEL: store_x_i16_release |
Hal Finkel | 7c5cb06 | 2015-04-23 18:30:38 +0000 | [diff] [blame^] | 57 | ; CHECK: lwsync |
Robin Morisset | e1ca44b | 2014-10-02 22:27:07 +0000 | [diff] [blame] | 58 | ; CHECK: sthx |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 59 | %ptr = getelementptr inbounds [100000 x i16], [100000 x i16]* %mem, i64 0, i64 90000 |
Robin Morisset | e1ca44b | 2014-10-02 22:27:07 +0000 | [diff] [blame] | 60 | store atomic i16 42, i16* %ptr release, align 2 |
| 61 | ret void |
| 62 | } |
| 63 | define void @store_x_i32_monotonic([100000 x i32]* %mem) { |
| 64 | ; CHECK-LABEL: store_x_i32_monotonic |
| 65 | ; CHECK-NOT: sync |
| 66 | ; CHECK: stwx |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 67 | %ptr = getelementptr inbounds [100000 x i32], [100000 x i32]* %mem, i64 0, i64 90000 |
Robin Morisset | e1ca44b | 2014-10-02 22:27:07 +0000 | [diff] [blame] | 68 | store atomic i32 42, i32* %ptr monotonic, align 4 |
| 69 | ret void |
| 70 | } |
| 71 | define void @store_x_i64_unordered([100000 x i64]* %mem) { |
| 72 | ; CHECK-LABEL: store_x_i64_unordered |
| 73 | ; CHECK-NOT: sync 0 |
Hal Finkel | 7c5cb06 | 2015-04-23 18:30:38 +0000 | [diff] [blame^] | 74 | ; CHECK-NOT: lwsync |
Robin Morisset | e1ca44b | 2014-10-02 22:27:07 +0000 | [diff] [blame] | 75 | ; PPC32: __sync_ |
| 76 | ; PPC64-NOT: __sync_ |
| 77 | ; PPC64: stdx |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 78 | %ptr = getelementptr inbounds [100000 x i64], [100000 x i64]* %mem, i64 0, i64 90000 |
Robin Morisset | e1ca44b | 2014-10-02 22:27:07 +0000 | [diff] [blame] | 79 | store atomic i64 42, i64* %ptr unordered, align 8 |
| 80 | ret void |
| 81 | } |