2014-10-03 13:04:49 +08:00
|
|
|
// RUN: %clang_cc1 %s -emit-llvm -o - -ffreestanding -triple=i686-apple-darwin9 | FileCheck %s
|
2011-10-11 10:20:01 +08:00
|
|
|
|
2012-04-11 06:49:28 +08:00
|
|
|
// Also test serialization of atomic operations here, to avoid duplicating the
|
|
|
|
// test.
|
2014-10-03 13:04:49 +08:00
|
|
|
// RUN: %clang_cc1 %s -emit-pch -o %t -ffreestanding -triple=i686-apple-darwin9
|
|
|
|
// RUN: %clang_cc1 %s -include-pch %t -ffreestanding -triple=i686-apple-darwin9 -emit-llvm -o - | FileCheck %s
|
2012-04-11 06:49:28 +08:00
|
|
|
#ifndef ALREADY_INCLUDED
|
|
|
|
#define ALREADY_INCLUDED
|
|
|
|
|
Add an implementation of C11's stdatomic.h
Adds a Clang-specific implementation of C11's stdatomic.h header. On systems,
such as FreeBSD, where a stdatomic.h header is already provided, we defer to
that header instead (using our __has_include_next technology). Otherwise, we
provide an implementation in terms of our __c11_atomic_* intrinsics (that were
created for this purpose).
C11 7.1.4p1 requires function declarations for atomic_thread_fence,
atomic_signal_fence, atomic_flag_test_and_set,
atomic_flag_test_and_set_explicit, and atomic_flag_clear, and requires that
they have external linkage. Accordingly, we provide these declarations, but if
a user elides the shadowing macros and uses them, then they must have a libc
(or similar) that actually provides definitions.
atomic_flag is implemented using _Bool as the underlying type. This is
consistent with the implementation provided by FreeBSD and also GCC 4.9 (at
least when __GCC_ATOMIC_TEST_AND_SET_TRUEVAL == 1).
Patch by Richard Smith (rebased and slightly edited by me -- Richard said I
should drive at this point).
llvm-svn: 218957
2014-10-03 12:29:40 +08:00
|
|
|
#include <stdatomic.h>
|
2011-10-11 10:20:01 +08:00
|
|
|
|
Add an implementation of C11's stdatomic.h
Adds a Clang-specific implementation of C11's stdatomic.h header. On systems,
such as FreeBSD, where a stdatomic.h header is already provided, we defer to
that header instead (using our __has_include_next technology). Otherwise, we
provide an implementation in terms of our __c11_atomic_* intrinsics (that were
created for this purpose).
C11 7.1.4p1 requires function declarations for atomic_thread_fence,
atomic_signal_fence, atomic_flag_test_and_set,
atomic_flag_test_and_set_explicit, and atomic_flag_clear, and requires that
they have external linkage. Accordingly, we provide these declarations, but if
a user elides the shadowing macros and uses them, then they must have a libc
(or similar) that actually provides definitions.
atomic_flag is implemented using _Bool as the underlying type. This is
consistent with the implementation provided by FreeBSD and also GCC 4.9 (at
least when __GCC_ATOMIC_TEST_AND_SET_TRUEVAL == 1).
Patch by Richard Smith (rebased and slightly edited by me -- Richard said I
should drive at this point).
llvm-svn: 218957
2014-10-03 12:29:40 +08:00
|
|
|
// Basic IRGen tests for __c11_atomic_* and GNU __atomic_*
|
2011-10-11 10:20:01 +08:00
|
|
|
|
|
|
|
int fi1(_Atomic(int) *i) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @fi1
|
2011-10-11 10:20:01 +08:00
|
|
|
// CHECK: load atomic i32* {{.*}} seq_cst
|
2012-04-12 01:55:32 +08:00
|
|
|
return __c11_atomic_load(i, memory_order_seq_cst);
|
2011-10-11 10:20:01 +08:00
|
|
|
}
|
|
|
|
|
2012-04-12 13:08:17 +08:00
|
|
|
int fi1a(int *i) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @fi1a
|
2012-04-12 13:08:17 +08:00
|
|
|
// CHECK: load atomic i32* {{.*}} seq_cst
|
|
|
|
int v;
|
|
|
|
__atomic_load(i, &v, memory_order_seq_cst);
|
|
|
|
return v;
|
|
|
|
}
|
|
|
|
|
|
|
|
int fi1b(int *i) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @fi1b
|
2012-04-12 13:08:17 +08:00
|
|
|
// CHECK: load atomic i32* {{.*}} seq_cst
|
|
|
|
return __atomic_load_n(i, memory_order_seq_cst);
|
|
|
|
}
|
|
|
|
|
Add an implementation of C11's stdatomic.h
Adds a Clang-specific implementation of C11's stdatomic.h header. On systems,
such as FreeBSD, where a stdatomic.h header is already provided, we defer to
that header instead (using our __has_include_next technology). Otherwise, we
provide an implementation in terms of our __c11_atomic_* intrinsics (that were
created for this purpose).
C11 7.1.4p1 requires function declarations for atomic_thread_fence,
atomic_signal_fence, atomic_flag_test_and_set,
atomic_flag_test_and_set_explicit, and atomic_flag_clear, and requires that
they have external linkage. Accordingly, we provide these declarations, but if
a user elides the shadowing macros and uses them, then they must have a libc
(or similar) that actually provides definitions.
atomic_flag is implemented using _Bool as the underlying type. This is
consistent with the implementation provided by FreeBSD and also GCC 4.9 (at
least when __GCC_ATOMIC_TEST_AND_SET_TRUEVAL == 1).
Patch by Richard Smith (rebased and slightly edited by me -- Richard said I
should drive at this point).
llvm-svn: 218957
2014-10-03 12:29:40 +08:00
|
|
|
int fi1c(atomic_int *i) {
|
|
|
|
// CHECK-LABEL: @fi1c
|
|
|
|
// CHECK: load atomic i32* {{.*}} seq_cst
|
|
|
|
return atomic_load(i);
|
|
|
|
}
|
|
|
|
|
2011-10-11 10:20:01 +08:00
|
|
|
void fi2(_Atomic(int) *i) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @fi2
|
2011-10-11 10:20:01 +08:00
|
|
|
// CHECK: store atomic i32 {{.*}} seq_cst
|
2012-04-12 01:55:32 +08:00
|
|
|
__c11_atomic_store(i, 1, memory_order_seq_cst);
|
2011-10-11 10:20:01 +08:00
|
|
|
}
|
|
|
|
|
2012-04-12 13:08:17 +08:00
|
|
|
void fi2a(int *i) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @fi2a
|
2012-04-12 13:08:17 +08:00
|
|
|
// CHECK: store atomic i32 {{.*}} seq_cst
|
|
|
|
int v = 1;
|
|
|
|
__atomic_store(i, &v, memory_order_seq_cst);
|
|
|
|
}
|
|
|
|
|
|
|
|
void fi2b(int *i) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @fi2b
|
2012-04-12 13:08:17 +08:00
|
|
|
// CHECK: store atomic i32 {{.*}} seq_cst
|
|
|
|
__atomic_store_n(i, 1, memory_order_seq_cst);
|
|
|
|
}
|
|
|
|
|
Add an implementation of C11's stdatomic.h
Adds a Clang-specific implementation of C11's stdatomic.h header. On systems,
such as FreeBSD, where a stdatomic.h header is already provided, we defer to
that header instead (using our __has_include_next technology). Otherwise, we
provide an implementation in terms of our __c11_atomic_* intrinsics (that were
created for this purpose).
C11 7.1.4p1 requires function declarations for atomic_thread_fence,
atomic_signal_fence, atomic_flag_test_and_set,
atomic_flag_test_and_set_explicit, and atomic_flag_clear, and requires that
they have external linkage. Accordingly, we provide these declarations, but if
a user elides the shadowing macros and uses them, then they must have a libc
(or similar) that actually provides definitions.
atomic_flag is implemented using _Bool as the underlying type. This is
consistent with the implementation provided by FreeBSD and also GCC 4.9 (at
least when __GCC_ATOMIC_TEST_AND_SET_TRUEVAL == 1).
Patch by Richard Smith (rebased and slightly edited by me -- Richard said I
should drive at this point).
llvm-svn: 218957
2014-10-03 12:29:40 +08:00
|
|
|
void fi2c(atomic_int *i) {
|
|
|
|
// CHECK-LABEL: @fi2c
|
|
|
|
// CHECK: store atomic i32 {{.*}} seq_cst
|
|
|
|
atomic_store(i, 1);
|
|
|
|
}
|
|
|
|
|
2012-04-12 13:08:17 +08:00
|
|
|
int fi3(_Atomic(int) *i) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @fi3
|
2011-10-11 10:20:01 +08:00
|
|
|
// CHECK: atomicrmw and
|
2012-04-12 13:08:17 +08:00
|
|
|
// CHECK-NOT: and
|
|
|
|
return __c11_atomic_fetch_and(i, 1, memory_order_seq_cst);
|
|
|
|
}
|
|
|
|
|
|
|
|
int fi3a(int *i) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @fi3a
|
2012-04-12 13:08:17 +08:00
|
|
|
// CHECK: atomicrmw xor
|
|
|
|
// CHECK-NOT: xor
|
|
|
|
return __atomic_fetch_xor(i, 1, memory_order_seq_cst);
|
|
|
|
}
|
|
|
|
|
|
|
|
int fi3b(int *i) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @fi3b
|
2012-04-12 13:08:17 +08:00
|
|
|
// CHECK: atomicrmw add
|
|
|
|
// CHECK: add
|
|
|
|
return __atomic_add_fetch(i, 1, memory_order_seq_cst);
|
2012-04-13 14:31:38 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
int fi3c(int *i) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @fi3c
|
2012-04-13 14:31:38 +08:00
|
|
|
// CHECK: atomicrmw nand
|
|
|
|
// CHECK-NOT: and
|
|
|
|
return __atomic_fetch_nand(i, 1, memory_order_seq_cst);
|
|
|
|
}
|
|
|
|
|
|
|
|
int fi3d(int *i) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @fi3d
|
2012-04-13 14:31:38 +08:00
|
|
|
// CHECK: atomicrmw nand
|
|
|
|
// CHECK: and
|
|
|
|
// CHECK: xor
|
|
|
|
return __atomic_nand_fetch(i, 1, memory_order_seq_cst);
|
2012-04-12 13:08:17 +08:00
|
|
|
}
|
|
|
|
|
Add an implementation of C11's stdatomic.h
Adds a Clang-specific implementation of C11's stdatomic.h header. On systems,
such as FreeBSD, where a stdatomic.h header is already provided, we defer to
that header instead (using our __has_include_next technology). Otherwise, we
provide an implementation in terms of our __c11_atomic_* intrinsics (that were
created for this purpose).
C11 7.1.4p1 requires function declarations for atomic_thread_fence,
atomic_signal_fence, atomic_flag_test_and_set,
atomic_flag_test_and_set_explicit, and atomic_flag_clear, and requires that
they have external linkage. Accordingly, we provide these declarations, but if
a user elides the shadowing macros and uses them, then they must have a libc
(or similar) that actually provides definitions.
atomic_flag is implemented using _Bool as the underlying type. This is
consistent with the implementation provided by FreeBSD and also GCC 4.9 (at
least when __GCC_ATOMIC_TEST_AND_SET_TRUEVAL == 1).
Patch by Richard Smith (rebased and slightly edited by me -- Richard said I
should drive at this point).
llvm-svn: 218957
2014-10-03 12:29:40 +08:00
|
|
|
int fi3e(atomic_int *i) {
|
|
|
|
// CHECK-LABEL: @fi3e
|
|
|
|
// CHECK: atomicrmw or
|
|
|
|
// CHECK-NOT: {{ or }}
|
|
|
|
return atomic_fetch_or(i, 1);
|
|
|
|
}
|
|
|
|
|
2012-04-12 13:08:17 +08:00
|
|
|
_Bool fi4(_Atomic(int) *i) {
|
Add an implementation of C11's stdatomic.h
Adds a Clang-specific implementation of C11's stdatomic.h header. On systems,
such as FreeBSD, where a stdatomic.h header is already provided, we defer to
that header instead (using our __has_include_next technology). Otherwise, we
provide an implementation in terms of our __c11_atomic_* intrinsics (that were
created for this purpose).
C11 7.1.4p1 requires function declarations for atomic_thread_fence,
atomic_signal_fence, atomic_flag_test_and_set,
atomic_flag_test_and_set_explicit, and atomic_flag_clear, and requires that
they have external linkage. Accordingly, we provide these declarations, but if
a user elides the shadowing macros and uses them, then they must have a libc
(or similar) that actually provides definitions.
atomic_flag is implemented using _Bool as the underlying type. This is
consistent with the implementation provided by FreeBSD and also GCC 4.9 (at
least when __GCC_ATOMIC_TEST_AND_SET_TRUEVAL == 1).
Patch by Richard Smith (rebased and slightly edited by me -- Richard said I
should drive at this point).
llvm-svn: 218957
2014-10-03 12:29:40 +08:00
|
|
|
// CHECK-LABEL: @fi4(
|
2014-06-13 22:24:59 +08:00
|
|
|
// CHECK: [[PAIR:%[.0-9A-Z_a-z]+]] = cmpxchg i32* [[PTR:%[.0-9A-Z_a-z]+]], i32 [[EXPECTED:%[.0-9A-Z_a-z]+]], i32 [[DESIRED:%[.0-9A-Z_a-z]+]]
|
|
|
|
// CHECK: [[OLD:%[.0-9A-Z_a-z]+]] = extractvalue { i32, i1 } [[PAIR]], 0
|
|
|
|
// CHECK: [[CMP:%[.0-9A-Z_a-z]+]] = extractvalue { i32, i1 } [[PAIR]], 1
|
2014-03-11 05:35:33 +08:00
|
|
|
// CHECK: br i1 [[CMP]], label %[[STORE_EXPECTED:[.0-9A-Z_a-z]+]], label %[[CONTINUE:[.0-9A-Z_a-z]+]]
|
|
|
|
// CHECK: store i32 [[OLD]]
|
2012-04-12 13:08:17 +08:00
|
|
|
int cmp = 0;
|
|
|
|
return __c11_atomic_compare_exchange_strong(i, &cmp, 1, memory_order_acquire, memory_order_acquire);
|
|
|
|
}
|
|
|
|
|
|
|
|
_Bool fi4a(int *i) {
|
Add an implementation of C11's stdatomic.h
Adds a Clang-specific implementation of C11's stdatomic.h header. On systems,
such as FreeBSD, where a stdatomic.h header is already provided, we defer to
that header instead (using our __has_include_next technology). Otherwise, we
provide an implementation in terms of our __c11_atomic_* intrinsics (that were
created for this purpose).
C11 7.1.4p1 requires function declarations for atomic_thread_fence,
atomic_signal_fence, atomic_flag_test_and_set,
atomic_flag_test_and_set_explicit, and atomic_flag_clear, and requires that
they have external linkage. Accordingly, we provide these declarations, but if
a user elides the shadowing macros and uses them, then they must have a libc
(or similar) that actually provides definitions.
atomic_flag is implemented using _Bool as the underlying type. This is
consistent with the implementation provided by FreeBSD and also GCC 4.9 (at
least when __GCC_ATOMIC_TEST_AND_SET_TRUEVAL == 1).
Patch by Richard Smith (rebased and slightly edited by me -- Richard said I
should drive at this point).
llvm-svn: 218957
2014-10-03 12:29:40 +08:00
|
|
|
// CHECK-LABEL: @fi4a
|
2014-06-13 22:24:59 +08:00
|
|
|
// CHECK: [[PAIR:%[.0-9A-Z_a-z]+]] = cmpxchg i32* [[PTR:%[.0-9A-Z_a-z]+]], i32 [[EXPECTED:%[.0-9A-Z_a-z]+]], i32 [[DESIRED:%[.0-9A-Z_a-z]+]]
|
|
|
|
// CHECK: [[OLD:%[.0-9A-Z_a-z]+]] = extractvalue { i32, i1 } [[PAIR]], 0
|
|
|
|
// CHECK: [[CMP:%[.0-9A-Z_a-z]+]] = extractvalue { i32, i1 } [[PAIR]], 1
|
2014-03-11 05:35:33 +08:00
|
|
|
// CHECK: br i1 [[CMP]], label %[[STORE_EXPECTED:[.0-9A-Z_a-z]+]], label %[[CONTINUE:[.0-9A-Z_a-z]+]]
|
|
|
|
// CHECK: store i32 [[OLD]]
|
2012-04-12 13:08:17 +08:00
|
|
|
int cmp = 0;
|
|
|
|
int desired = 1;
|
|
|
|
return __atomic_compare_exchange(i, &cmp, &desired, 0, memory_order_acquire, memory_order_acquire);
|
2011-10-11 10:20:01 +08:00
|
|
|
}
|
|
|
|
|
2012-04-12 13:08:17 +08:00
|
|
|
_Bool fi4b(int *i) {
|
Add an implementation of C11's stdatomic.h
Adds a Clang-specific implementation of C11's stdatomic.h header. On systems,
such as FreeBSD, where a stdatomic.h header is already provided, we defer to
that header instead (using our __has_include_next technology). Otherwise, we
provide an implementation in terms of our __c11_atomic_* intrinsics (that were
created for this purpose).
C11 7.1.4p1 requires function declarations for atomic_thread_fence,
atomic_signal_fence, atomic_flag_test_and_set,
atomic_flag_test_and_set_explicit, and atomic_flag_clear, and requires that
they have external linkage. Accordingly, we provide these declarations, but if
a user elides the shadowing macros and uses them, then they must have a libc
(or similar) that actually provides definitions.
atomic_flag is implemented using _Bool as the underlying type. This is
consistent with the implementation provided by FreeBSD and also GCC 4.9 (at
least when __GCC_ATOMIC_TEST_AND_SET_TRUEVAL == 1).
Patch by Richard Smith (rebased and slightly edited by me -- Richard said I
should drive at this point).
llvm-svn: 218957
2014-10-03 12:29:40 +08:00
|
|
|
// CHECK-LABEL: @fi4b(
|
2014-06-14 03:43:04 +08:00
|
|
|
// CHECK: [[PAIR:%[.0-9A-Z_a-z]+]] = cmpxchg weak i32* [[PTR:%[.0-9A-Z_a-z]+]], i32 [[EXPECTED:%[.0-9A-Z_a-z]+]], i32 [[DESIRED:%[.0-9A-Z_a-z]+]]
|
2014-06-13 22:24:59 +08:00
|
|
|
// CHECK: [[OLD:%[.0-9A-Z_a-z]+]] = extractvalue { i32, i1 } [[PAIR]], 0
|
|
|
|
// CHECK: [[CMP:%[.0-9A-Z_a-z]+]] = extractvalue { i32, i1 } [[PAIR]], 1
|
2014-03-11 05:35:33 +08:00
|
|
|
// CHECK: br i1 [[CMP]], label %[[STORE_EXPECTED:[.0-9A-Z_a-z]+]], label %[[CONTINUE:[.0-9A-Z_a-z]+]]
|
|
|
|
// CHECK: store i32 [[OLD]]
|
2011-10-11 10:20:01 +08:00
|
|
|
int cmp = 0;
|
2012-04-12 13:08:17 +08:00
|
|
|
return __atomic_compare_exchange_n(i, &cmp, 1, 1, memory_order_acquire, memory_order_acquire);
|
2011-10-11 10:20:01 +08:00
|
|
|
}
|
|
|
|
|
Add an implementation of C11's stdatomic.h
Adds a Clang-specific implementation of C11's stdatomic.h header. On systems,
such as FreeBSD, where a stdatomic.h header is already provided, we defer to
that header instead (using our __has_include_next technology). Otherwise, we
provide an implementation in terms of our __c11_atomic_* intrinsics (that were
created for this purpose).
C11 7.1.4p1 requires function declarations for atomic_thread_fence,
atomic_signal_fence, atomic_flag_test_and_set,
atomic_flag_test_and_set_explicit, and atomic_flag_clear, and requires that
they have external linkage. Accordingly, we provide these declarations, but if
a user elides the shadowing macros and uses them, then they must have a libc
(or similar) that actually provides definitions.
atomic_flag is implemented using _Bool as the underlying type. This is
consistent with the implementation provided by FreeBSD and also GCC 4.9 (at
least when __GCC_ATOMIC_TEST_AND_SET_TRUEVAL == 1).
Patch by Richard Smith (rebased and slightly edited by me -- Richard said I
should drive at this point).
llvm-svn: 218957
2014-10-03 12:29:40 +08:00
|
|
|
_Bool fi4c(atomic_int *i) {
|
|
|
|
// CHECK-LABEL: @fi4c
|
|
|
|
// CHECK: cmpxchg i32*
|
|
|
|
int cmp = 0;
|
|
|
|
return atomic_compare_exchange_strong(i, &cmp, 1);
|
|
|
|
}
|
|
|
|
|
2011-10-11 10:20:01 +08:00
|
|
|
float ff1(_Atomic(float) *d) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @ff1
|
2011-10-11 10:20:01 +08:00
|
|
|
// CHECK: load atomic i32* {{.*}} monotonic
|
2012-04-12 01:55:32 +08:00
|
|
|
return __c11_atomic_load(d, memory_order_relaxed);
|
2011-10-11 10:20:01 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
void ff2(_Atomic(float) *d) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @ff2
|
2011-10-11 10:20:01 +08:00
|
|
|
// CHECK: store atomic i32 {{.*}} release
|
2012-04-12 01:55:32 +08:00
|
|
|
__c11_atomic_store(d, 1, memory_order_release);
|
2011-10-11 10:20:01 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
float ff3(_Atomic(float) *d) {
|
2012-04-12 01:55:32 +08:00
|
|
|
return __c11_atomic_exchange(d, 2, memory_order_seq_cst);
|
2011-10-11 10:20:01 +08:00
|
|
|
}
|
|
|
|
|
2014-08-29 15:27:49 +08:00
|
|
|
struct S {
|
|
|
|
double x;
|
|
|
|
};
|
|
|
|
|
|
|
|
struct S fd1(struct S *a) {
|
|
|
|
// CHECK-LABEL: @fd1
|
|
|
|
// CHECK: [[RETVAL:%.*]] = alloca %struct.S, align 4
|
|
|
|
// CHECK: [[RET:%.*]] = alloca %struct.S, align 4
|
|
|
|
// CHECK: [[CALL:%.*]] = call i64 @__atomic_load_8(
|
|
|
|
// CHECK: [[CAST:%.*]] = bitcast %struct.S* [[RET]] to i64*
|
|
|
|
// CHECK: store i64 [[CALL]], i64* [[CAST]], align 4
|
|
|
|
struct S ret;
|
|
|
|
__atomic_load(a, &ret, memory_order_seq_cst);
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
void fd2(struct S *a, struct S *b) {
|
|
|
|
// CHECK-LABEL: @fd2
|
|
|
|
// CHECK: [[A_ADDR:%.*]] = alloca %struct.S*, align 4
|
|
|
|
// CHECK-NEXT: [[B_ADDR:%.*]] = alloca %struct.S*, align 4
|
|
|
|
// CHECK-NEXT: store %struct.S* %a, %struct.S** [[A_ADDR]], align 4
|
|
|
|
// CHECK-NEXT: store %struct.S* %b, %struct.S** [[B_ADDR]], align 4
|
|
|
|
// CHECK-NEXT: [[LOAD_A_PTR:%.*]] = load %struct.S** [[A_ADDR]], align 4
|
|
|
|
// CHECK-NEXT: [[LOAD_B_PTR:%.*]] = load %struct.S** [[B_ADDR]], align 4
|
|
|
|
// CHECK-NEXT: [[COERCED_A:%.*]] = bitcast %struct.S* [[LOAD_A_PTR]] to i8*
|
|
|
|
// CHECK-NEXT: [[COERCED_B:%.*]] = bitcast %struct.S* [[LOAD_B_PTR]] to i64*
|
|
|
|
// CHECK-NEXT: [[LOAD_B:%.*]] = load i64* [[COERCED_B]], align 4
|
|
|
|
// CHECK-NEXT: call void @__atomic_store_8(i8* [[COERCED_A]], i64 [[LOAD_B]],
|
|
|
|
// CHECK-NEXT: ret void
|
|
|
|
__atomic_store(a, b, memory_order_seq_cst);
|
|
|
|
}
|
|
|
|
|
|
|
|
void fd3(struct S *a, struct S *b, struct S *c) {
|
|
|
|
// CHECK-LABEL: @fd3
|
|
|
|
// CHECK: [[A_ADDR:%.*]] = alloca %struct.S*, align 4
|
|
|
|
// CHECK-NEXT: [[B_ADDR:%.*]] = alloca %struct.S*, align 4
|
|
|
|
// CHECK-NEXT: [[C_ADDR:%.*]] = alloca %struct.S*, align 4
|
|
|
|
// CHECK-NEXT: store %struct.S* %a, %struct.S** [[A_ADDR]], align 4
|
|
|
|
// CHECK-NEXT: store %struct.S* %b, %struct.S** [[B_ADDR]], align 4
|
|
|
|
// CHECK-NEXT: store %struct.S* %c, %struct.S** [[C_ADDR]], align 4
|
|
|
|
// CHECK-NEXT: [[LOAD_A_PTR:%.*]] = load %struct.S** [[A_ADDR]], align 4
|
|
|
|
// CHECK-NEXT: [[LOAD_B_PTR:%.*]] = load %struct.S** [[B_ADDR]], align 4
|
|
|
|
// CHECK-NEXT: [[LOAD_C_PTR:%.*]] = load %struct.S** [[C_ADDR]], align 4
|
|
|
|
// CHECK-NEXT: [[COERCED_A:%.*]] = bitcast %struct.S* [[LOAD_A_PTR]] to i8*
|
|
|
|
// CHECK-NEXT: [[COERCED_B:%.*]] = bitcast %struct.S* [[LOAD_B_PTR]] to i64*
|
|
|
|
// CHECK-NEXT: [[LOAD_B:%.*]] = load i64* [[COERCED_B]], align 4
|
|
|
|
// CHECK-NEXT: [[CALL:%.*]] = call i64 @__atomic_exchange_8(i8* [[COERCED_A]], i64 [[LOAD_B]],
|
|
|
|
// CHECK-NEXT: [[COERCED_C:%.*]] = bitcast %struct.S* [[LOAD_C_PTR]] to i64*
|
|
|
|
// CHECK-NEXT: store i64 [[CALL]], i64* [[COERCED_C]], align 4
|
|
|
|
|
|
|
|
__atomic_exchange(a, b, c, memory_order_seq_cst);
|
|
|
|
}
|
|
|
|
|
|
|
|
_Bool fd4(struct S *a, struct S *b, struct S *c) {
|
|
|
|
// CHECK-LABEL: @fd4
|
|
|
|
// CHECK: [[A_ADDR:%.*]] = alloca %struct.S*, align 4
|
|
|
|
// CHECK-NEXT: [[B_ADDR:%.*]] = alloca %struct.S*, align 4
|
|
|
|
// CHECK-NEXT: [[C_ADDR:%.*]] = alloca %struct.S*, align 4
|
|
|
|
// CHECK: store %struct.S* %a, %struct.S** [[A_ADDR]], align 4
|
|
|
|
// CHECK-NEXT: store %struct.S* %b, %struct.S** [[B_ADDR]], align 4
|
|
|
|
// CHECK-NEXT: store %struct.S* %c, %struct.S** [[C_ADDR]], align 4
|
|
|
|
// CHECK-NEXT: [[LOAD_A_PTR:%.*]] = load %struct.S** [[A_ADDR]], align 4
|
|
|
|
// CHECK-NEXT: [[LOAD_B_PTR:%.*]] = load %struct.S** [[B_ADDR]], align 4
|
|
|
|
// CHECK-NEXT: [[LOAD_C_PTR:%.*]] = load %struct.S** [[C_ADDR]], align 4
|
|
|
|
// CHECK-NEXT: [[COERCED_A:%.*]] = bitcast %struct.S* [[LOAD_A_PTR]] to i8*
|
|
|
|
// CHECK-NEXT: [[COERCED_B:%.*]] = bitcast %struct.S* [[LOAD_B_PTR]] to i8*
|
|
|
|
// CHECK-NEXT: [[COERCED_C:%.*]] = bitcast %struct.S* [[LOAD_C_PTR]] to i64*
|
|
|
|
// CHECK-NEXT: [[LOAD_C:%.*]] = load i64* [[COERCED_C]], align 4
|
|
|
|
// CHECK-NEXT: [[CALL:%.*]] = call zeroext i1 @__atomic_compare_exchange_8(i8* [[COERCED_A]], i8* [[COERCED_B]], i64 [[LOAD_C]]
|
|
|
|
// CHECK-NEXT: ret i1 [[CALL]]
|
|
|
|
return __atomic_compare_exchange(a, b, c, 1, 5, 5);
|
|
|
|
}
|
|
|
|
|
2011-10-11 10:20:01 +08:00
|
|
|
int* fp1(_Atomic(int*) *p) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @fp1
|
2011-10-11 10:20:01 +08:00
|
|
|
// CHECK: load atomic i32* {{.*}} seq_cst
|
2012-04-12 01:55:32 +08:00
|
|
|
return __c11_atomic_load(p, memory_order_seq_cst);
|
2011-10-11 10:20:01 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
int* fp2(_Atomic(int*) *p) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @fp2
|
2011-10-11 10:20:01 +08:00
|
|
|
// CHECK: store i32 4
|
|
|
|
// CHECK: atomicrmw add {{.*}} monotonic
|
2012-04-12 01:55:32 +08:00
|
|
|
return __c11_atomic_fetch_add(p, 1, memory_order_relaxed);
|
2011-10-11 10:20:01 +08:00
|
|
|
}
|
|
|
|
|
2012-04-12 13:08:17 +08:00
|
|
|
int *fp2a(int **p) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @fp2a
|
2012-04-12 13:08:17 +08:00
|
|
|
// CHECK: store i32 4
|
|
|
|
// CHECK: atomicrmw sub {{.*}} monotonic
|
Implement the missing pieces needed to support libstdc++4.7's <atomic>:
__atomic_test_and_set, __atomic_clear, plus a pile of undocumented __GCC_*
predefined macros.
Implement library fallback for __atomic_is_lock_free and
__c11_atomic_is_lock_free, and implement __atomic_always_lock_free.
Contrary to their documentation, GCC's __atomic_fetch_add family don't
multiply the operand by sizeof(T) when operating on a pointer type.
libstdc++ relies on this quirk. Remove this handling for all but the
__c11_atomic_fetch_add and __c11_atomic_fetch_sub builtins.
Contrary to their documentation, __atomic_test_and_set and __atomic_clear
take a first argument of type 'volatile void *', not 'void *' or 'bool *',
and __atomic_is_lock_free and __atomic_always_lock_free have an argument
of type 'const volatile void *', not 'void *'.
With this change, libstdc++4.7's <atomic> passes libc++'s atomic test suite,
except for a couple of libstdc++ bugs and some cases where libc++'s test
suite tests for properties which implementations have latitude to vary.
llvm-svn: 154640
2012-04-13 08:45:38 +08:00
|
|
|
// Note, the GNU builtins do not multiply by sizeof(T)!
|
|
|
|
return __atomic_fetch_sub(p, 4, memory_order_relaxed);
|
2012-04-12 13:08:17 +08:00
|
|
|
}
|
|
|
|
|
2011-10-15 04:59:01 +08:00
|
|
|
_Complex float fc(_Atomic(_Complex float) *c) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @fc
|
2011-10-11 10:20:01 +08:00
|
|
|
// CHECK: atomicrmw xchg i64*
|
2012-04-12 01:55:32 +08:00
|
|
|
return __c11_atomic_exchange(c, 2, memory_order_seq_cst);
|
2011-10-11 10:20:01 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
typedef struct X { int x; } X;
|
|
|
|
X fs(_Atomic(X) *c) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @fs
|
2011-10-11 10:20:01 +08:00
|
|
|
// CHECK: atomicrmw xchg i32*
|
2012-04-12 01:55:32 +08:00
|
|
|
return __c11_atomic_exchange(c, (X){2}, memory_order_seq_cst);
|
2011-10-11 10:20:01 +08:00
|
|
|
}
|
2011-10-18 05:44:23 +08:00
|
|
|
|
2012-04-12 13:08:17 +08:00
|
|
|
X fsa(X *c, X *d) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @fsa
|
2012-04-12 13:08:17 +08:00
|
|
|
// CHECK: atomicrmw xchg i32*
|
|
|
|
X ret;
|
|
|
|
__atomic_exchange(c, d, &ret, memory_order_seq_cst);
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
_Bool fsb(_Bool *c) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @fsb
|
2012-04-12 13:08:17 +08:00
|
|
|
// CHECK: atomicrmw xchg i8*
|
|
|
|
return __atomic_exchange_n(c, 1, memory_order_seq_cst);
|
|
|
|
}
|
|
|
|
|
Implement the missing pieces needed to support libstdc++4.7's <atomic>:
__atomic_test_and_set, __atomic_clear, plus a pile of undocumented __GCC_*
predefined macros.
Implement library fallback for __atomic_is_lock_free and
__c11_atomic_is_lock_free, and implement __atomic_always_lock_free.
Contrary to their documentation, GCC's __atomic_fetch_add family don't
multiply the operand by sizeof(T) when operating on a pointer type.
libstdc++ relies on this quirk. Remove this handling for all but the
__c11_atomic_fetch_add and __c11_atomic_fetch_sub builtins.
Contrary to their documentation, __atomic_test_and_set and __atomic_clear
take a first argument of type 'volatile void *', not 'void *' or 'bool *',
and __atomic_is_lock_free and __atomic_always_lock_free have an argument
of type 'const volatile void *', not 'void *'.
With this change, libstdc++4.7's <atomic> passes libc++'s atomic test suite,
except for a couple of libstdc++ bugs and some cases where libc++'s test
suite tests for properties which implementations have latitude to vary.
llvm-svn: 154640
2012-04-13 08:45:38 +08:00
|
|
|
char flag1;
|
|
|
|
volatile char flag2;
|
|
|
|
void test_and_set() {
|
|
|
|
// CHECK: atomicrmw xchg i8* @flag1, i8 1 seq_cst
|
|
|
|
__atomic_test_and_set(&flag1, memory_order_seq_cst);
|
|
|
|
// CHECK: atomicrmw volatile xchg i8* @flag2, i8 1 acquire
|
|
|
|
__atomic_test_and_set(&flag2, memory_order_acquire);
|
|
|
|
// CHECK: store atomic volatile i8 0, i8* @flag2 release
|
|
|
|
__atomic_clear(&flag2, memory_order_release);
|
|
|
|
// CHECK: store atomic i8 0, i8* @flag1 seq_cst
|
|
|
|
__atomic_clear(&flag1, memory_order_seq_cst);
|
|
|
|
}
|
|
|
|
|
|
|
|
struct Sixteen {
|
|
|
|
char c[16];
|
|
|
|
} sixteen;
|
|
|
|
struct Seventeen {
|
|
|
|
char c[17];
|
|
|
|
} seventeen;
|
|
|
|
|
|
|
|
int lock_free(struct Incomplete *incomplete) {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @lock_free
|
Implement the missing pieces needed to support libstdc++4.7's <atomic>:
__atomic_test_and_set, __atomic_clear, plus a pile of undocumented __GCC_*
predefined macros.
Implement library fallback for __atomic_is_lock_free and
__c11_atomic_is_lock_free, and implement __atomic_always_lock_free.
Contrary to their documentation, GCC's __atomic_fetch_add family don't
multiply the operand by sizeof(T) when operating on a pointer type.
libstdc++ relies on this quirk. Remove this handling for all but the
__c11_atomic_fetch_add and __c11_atomic_fetch_sub builtins.
Contrary to their documentation, __atomic_test_and_set and __atomic_clear
take a first argument of type 'volatile void *', not 'void *' or 'bool *',
and __atomic_is_lock_free and __atomic_always_lock_free have an argument
of type 'const volatile void *', not 'void *'.
With this change, libstdc++4.7's <atomic> passes libc++'s atomic test suite,
except for a couple of libstdc++ bugs and some cases where libc++'s test
suite tests for properties which implementations have latitude to vary.
llvm-svn: 154640
2012-04-13 08:45:38 +08:00
|
|
|
|
|
|
|
// CHECK: call i32 @__atomic_is_lock_free(i32 3, i8* null)
|
|
|
|
__c11_atomic_is_lock_free(3);
|
|
|
|
|
|
|
|
// CHECK: call i32 @__atomic_is_lock_free(i32 16, i8* {{.*}}@sixteen{{.*}})
|
|
|
|
__atomic_is_lock_free(16, &sixteen);
|
|
|
|
|
|
|
|
// CHECK: call i32 @__atomic_is_lock_free(i32 17, i8* {{.*}}@seventeen{{.*}})
|
|
|
|
__atomic_is_lock_free(17, &seventeen);
|
|
|
|
|
|
|
|
// CHECK: call i32 @__atomic_is_lock_free(i32 4, {{.*}})
|
|
|
|
__atomic_is_lock_free(4, incomplete);
|
|
|
|
|
|
|
|
char cs[20];
|
|
|
|
// CHECK: call i32 @__atomic_is_lock_free(i32 4, {{.*}})
|
|
|
|
__atomic_is_lock_free(4, cs+1);
|
|
|
|
|
|
|
|
// CHECK-NOT: call
|
|
|
|
__atomic_always_lock_free(3, 0);
|
|
|
|
__atomic_always_lock_free(16, 0);
|
|
|
|
__atomic_always_lock_free(17, 0);
|
|
|
|
__atomic_always_lock_free(16, &sixteen);
|
|
|
|
__atomic_always_lock_free(17, &seventeen);
|
|
|
|
|
|
|
|
int n;
|
|
|
|
__atomic_is_lock_free(4, &n);
|
|
|
|
|
2011-10-18 05:44:23 +08:00
|
|
|
// CHECK: ret i32 1
|
2012-04-12 01:55:32 +08:00
|
|
|
return __c11_atomic_is_lock_free(sizeof(_Atomic(int)));
|
2011-10-18 05:48:31 +08:00
|
|
|
}
|
2012-03-30 02:01:11 +08:00
|
|
|
|
|
|
|
// Tests for atomic operations on big values. These should call the functions
|
|
|
|
// defined here:
|
|
|
|
// http://gcc.gnu.org/wiki/Atomic/GCCMM/LIbrary#The_Library_interface
|
|
|
|
|
|
|
|
struct foo {
|
|
|
|
int big[128];
|
|
|
|
};
|
2012-04-12 13:08:17 +08:00
|
|
|
struct bar {
|
|
|
|
char c[3];
|
|
|
|
};
|
2012-03-30 02:01:11 +08:00
|
|
|
|
2012-04-12 13:08:17 +08:00
|
|
|
struct bar smallThing, thing1, thing2;
|
|
|
|
struct foo bigThing;
|
2012-03-30 02:01:11 +08:00
|
|
|
_Atomic(struct foo) bigAtomic;
|
|
|
|
|
|
|
|
void structAtomicStore() {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @structAtomicStore
|
2012-03-30 02:01:11 +08:00
|
|
|
struct foo f = {0};
|
2012-04-12 13:08:17 +08:00
|
|
|
struct bar b = {0};
|
|
|
|
__atomic_store(&smallThing, &b, 5);
|
|
|
|
// CHECK: call void @__atomic_store(i32 3, i8* {{.*}} @smallThing
|
|
|
|
|
|
|
|
__atomic_store(&bigThing, &f, 5);
|
|
|
|
// CHECK: call void @__atomic_store(i32 512, i8* {{.*}} @bigThing
|
2012-03-30 02:01:11 +08:00
|
|
|
}
|
|
|
|
void structAtomicLoad() {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @structAtomicLoad
|
2012-04-12 13:08:17 +08:00
|
|
|
struct bar b;
|
|
|
|
__atomic_load(&smallThing, &b, 5);
|
|
|
|
// CHECK: call void @__atomic_load(i32 3, i8* {{.*}} @smallThing
|
|
|
|
|
2013-05-29 01:37:39 +08:00
|
|
|
struct foo f = {0};
|
2012-04-12 13:08:17 +08:00
|
|
|
__atomic_load(&bigThing, &f, 5);
|
|
|
|
// CHECK: call void @__atomic_load(i32 512, i8* {{.*}} @bigThing
|
2012-03-30 02:01:11 +08:00
|
|
|
}
|
|
|
|
struct foo structAtomicExchange() {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @structAtomicExchange
|
2012-03-30 02:01:11 +08:00
|
|
|
struct foo f = {0};
|
2012-04-12 13:08:17 +08:00
|
|
|
struct foo old;
|
|
|
|
__atomic_exchange(&f, &bigThing, &old, 5);
|
|
|
|
// CHECK: call void @__atomic_exchange(i32 512, {{.*}}, i8* bitcast ({{.*}} @bigThing to i8*),
|
|
|
|
|
2012-04-12 01:55:32 +08:00
|
|
|
return __c11_atomic_exchange(&bigAtomic, f, 5);
|
2012-04-12 13:08:17 +08:00
|
|
|
// CHECK: call void @__atomic_exchange(i32 512, i8* bitcast ({{.*}} @bigAtomic to i8*),
|
2012-03-30 02:01:11 +08:00
|
|
|
}
|
|
|
|
int structAtomicCmpExchange() {
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @structAtomicCmpExchange
|
2012-04-12 13:08:17 +08:00
|
|
|
_Bool x = __atomic_compare_exchange(&smallThing, &thing1, &thing2, 1, 5, 5);
|
|
|
|
// CHECK: call zeroext i1 @__atomic_compare_exchange(i32 3, {{.*}} @smallThing{{.*}} @thing1{{.*}} @thing2
|
|
|
|
|
2012-03-30 02:01:11 +08:00
|
|
|
struct foo f = {0};
|
|
|
|
struct foo g = {0};
|
|
|
|
g.big[12] = 12;
|
2012-04-12 13:08:17 +08:00
|
|
|
return x & __c11_atomic_compare_exchange_strong(&bigAtomic, &f, g, 5, 5);
|
|
|
|
// CHECK: call zeroext i1 @__atomic_compare_exchange(i32 512, i8* bitcast ({{.*}} @bigAtomic to i8*),
|
|
|
|
}
|
|
|
|
|
|
|
|
// Check that no atomic operations are used in any initialisation of _Atomic
|
|
|
|
// types.
|
|
|
|
_Atomic(int) atomic_init_i = 42;
|
|
|
|
|
2014-06-13 22:24:48 +08:00
|
|
|
// CHECK-LABEL: @atomic_init_foo
|
2012-04-12 13:08:17 +08:00
|
|
|
void atomic_init_foo()
|
|
|
|
{
|
|
|
|
// CHECK-NOT: }
|
|
|
|
// CHECK-NOT: atomic
|
|
|
|
// CHECK: store
|
|
|
|
_Atomic(int) j = 12;
|
|
|
|
|
|
|
|
// CHECK-NOT: }
|
|
|
|
// CHECK-NOT: atomic
|
|
|
|
// CHECK: store
|
|
|
|
__c11_atomic_init(&j, 42);
|
|
|
|
|
|
|
|
// CHECK-NOT: atomic
|
|
|
|
// CHECK: }
|
2012-03-30 02:01:11 +08:00
|
|
|
}
|
2012-04-11 06:49:28 +08:00
|
|
|
|
2014-03-14 03:25:48 +08:00
|
|
|
// CHECK-LABEL: @failureOrder
|
|
|
|
void failureOrder(_Atomic(int) *ptr, int *ptr2) {
|
|
|
|
__c11_atomic_compare_exchange_strong(ptr, ptr2, 43, memory_order_acquire, memory_order_relaxed);
|
|
|
|
// CHECK: cmpxchg i32* {{%[0-9A-Za-z._]+}}, i32 {{%[0-9A-Za-z._]+}}, i32 {{%[0-9A-Za-z_.]+}} acquire monotonic
|
|
|
|
|
|
|
|
__c11_atomic_compare_exchange_weak(ptr, ptr2, 43, memory_order_seq_cst, memory_order_acquire);
|
2014-06-14 03:43:04 +08:00
|
|
|
// CHECK: cmpxchg weak i32* {{%[0-9A-Za-z._]+}}, i32 {{%[0-9A-Za-z._]+}}, i32 {{%[0-9A-Za-z_.]+}} seq_cst acquire
|
2014-03-14 03:25:48 +08:00
|
|
|
|
|
|
|
// Unknown ordering: conservatively pick strongest valid option (for now!).
|
|
|
|
__atomic_compare_exchange(ptr2, ptr2, ptr2, 0, memory_order_acq_rel, *ptr2);
|
|
|
|
// CHECK: cmpxchg i32* {{%[0-9A-Za-z._]+}}, i32 {{%[0-9A-Za-z._]+}}, i32 {{%[0-9A-Za-z_.]+}} acq_rel acquire
|
|
|
|
|
|
|
|
// Undefined behaviour: don't really care what that last ordering is so leave
|
|
|
|
// it out:
|
|
|
|
__atomic_compare_exchange_n(ptr2, ptr2, 43, 1, memory_order_seq_cst, 42);
|
2014-06-14 03:43:04 +08:00
|
|
|
// CHECK: cmpxchg weak i32* {{%[0-9A-Za-z._]+}}, i32 {{%[0-9A-Za-z._]+}}, i32 {{%[0-9A-Za-z_.]+}} seq_cst
|
2014-03-14 03:25:48 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// CHECK-LABEL: @generalFailureOrder
|
|
|
|
void generalFailureOrder(_Atomic(int) *ptr, int *ptr2, int success, int fail) {
|
|
|
|
__c11_atomic_compare_exchange_strong(ptr, ptr2, 42, success, fail);
|
|
|
|
// CHECK: switch i32 {{.*}}, label %[[MONOTONIC:[0-9a-zA-Z._]+]] [
|
|
|
|
// CHECK-NEXT: i32 1, label %[[ACQUIRE:[0-9a-zA-Z._]+]]
|
|
|
|
// CHECK-NEXT: i32 2, label %[[ACQUIRE]]
|
|
|
|
// CHECK-NEXT: i32 3, label %[[RELEASE:[0-9a-zA-Z._]+]]
|
|
|
|
// CHECK-NEXT: i32 4, label %[[ACQREL:[0-9a-zA-Z._]+]]
|
|
|
|
// CHECK-NEXT: i32 5, label %[[SEQCST:[0-9a-zA-Z._]+]]
|
|
|
|
|
|
|
|
// CHECK: [[MONOTONIC]]
|
|
|
|
// CHECK: switch {{.*}}, label %[[MONOTONIC_MONOTONIC:[0-9a-zA-Z._]+]] [
|
|
|
|
// CHECK-NEXT: ]
|
|
|
|
|
|
|
|
// CHECK: [[ACQUIRE]]
|
|
|
|
// CHECK: switch {{.*}}, label %[[ACQUIRE_MONOTONIC:[0-9a-zA-Z._]+]] [
|
|
|
|
// CHECK-NEXT: i32 1, label %[[ACQUIRE_ACQUIRE:[0-9a-zA-Z._]+]]
|
|
|
|
// CHECK-NEXT: i32 2, label %[[ACQUIRE_ACQUIRE:[0-9a-zA-Z._]+]]
|
|
|
|
// CHECK-NEXT: ]
|
|
|
|
|
|
|
|
// CHECK: [[RELEASE]]
|
|
|
|
// CHECK: switch {{.*}}, label %[[RELEASE_MONOTONIC:[0-9a-zA-Z._]+]] [
|
|
|
|
// CHECK-NEXT: ]
|
|
|
|
|
|
|
|
// CHECK: [[ACQREL]]
|
|
|
|
// CHECK: switch {{.*}}, label %[[ACQREL_MONOTONIC:[0-9a-zA-Z._]+]] [
|
|
|
|
// CHECK-NEXT: i32 1, label %[[ACQREL_ACQUIRE:[0-9a-zA-Z._]+]]
|
|
|
|
// CHECK-NEXT: i32 2, label %[[ACQREL_ACQUIRE:[0-9a-zA-Z._]+]]
|
|
|
|
// CHECK-NEXT: ]
|
|
|
|
|
|
|
|
// CHECK: [[SEQCST]]
|
|
|
|
// CHECK: switch {{.*}}, label %[[SEQCST_MONOTONIC:[0-9a-zA-Z._]+]] [
|
|
|
|
// CHECK-NEXT: i32 1, label %[[SEQCST_ACQUIRE:[0-9a-zA-Z._]+]]
|
|
|
|
// CHECK-NEXT: i32 2, label %[[SEQCST_ACQUIRE:[0-9a-zA-Z._]+]]
|
|
|
|
// CHECK-NEXT: i32 5, label %[[SEQCST_SEQCST:[0-9a-zA-Z._]+]]
|
|
|
|
// CHECK-NEXT: ]
|
|
|
|
|
|
|
|
// CHECK: [[MONOTONIC_MONOTONIC]]
|
|
|
|
// CHECK: cmpxchg {{.*}} monotonic monotonic
|
|
|
|
// CHECK: br
|
|
|
|
|
|
|
|
// CHECK: [[ACQUIRE_MONOTONIC]]
|
|
|
|
// CHECK: cmpxchg {{.*}} acquire monotonic
|
|
|
|
// CHECK: br
|
|
|
|
|
|
|
|
// CHECK: [[ACQUIRE_ACQUIRE]]
|
|
|
|
// CHECK: cmpxchg {{.*}} acquire acquire
|
|
|
|
// CHECK: br
|
|
|
|
|
|
|
|
// CHECK: [[ACQREL_MONOTONIC]]
|
|
|
|
// CHECK: cmpxchg {{.*}} acq_rel monotonic
|
|
|
|
// CHECK: br
|
|
|
|
|
|
|
|
// CHECK: [[ACQREL_ACQUIRE]]
|
|
|
|
// CHECK: cmpxchg {{.*}} acq_rel acquire
|
|
|
|
// CHECK: br
|
|
|
|
|
|
|
|
// CHECK: [[SEQCST_MONOTONIC]]
|
|
|
|
// CHECK: cmpxchg {{.*}} seq_cst monotonic
|
|
|
|
// CHECK: br
|
|
|
|
|
|
|
|
// CHECK: [[SEQCST_ACQUIRE]]
|
|
|
|
// CHECK: cmpxchg {{.*}} seq_cst acquire
|
|
|
|
// CHECK: br
|
|
|
|
|
|
|
|
// CHECK: [[SEQCST_SEQCST]]
|
|
|
|
// CHECK: cmpxchg {{.*}} seq_cst seq_cst
|
|
|
|
// CHECK: br
|
|
|
|
}
|
|
|
|
|
2014-06-14 03:43:04 +08:00
|
|
|
void generalWeakness(int *ptr, int *ptr2, _Bool weak) {
|
|
|
|
__atomic_compare_exchange_n(ptr, ptr2, 42, weak, memory_order_seq_cst, memory_order_seq_cst);
|
|
|
|
// CHECK: switch i1 {{.*}}, label %[[WEAK:[0-9a-zA-Z._]+]] [
|
|
|
|
// CHECK-NEXT: i1 false, label %[[STRONG:[0-9a-zA-Z._]+]]
|
|
|
|
|
2014-06-14 04:00:38 +08:00
|
|
|
// CHECK: [[STRONG]]
|
2014-06-14 03:43:04 +08:00
|
|
|
// CHECK-NOT: br
|
|
|
|
// CHECK: cmpxchg {{.*}} seq_cst seq_cst
|
|
|
|
// CHECK: br
|
|
|
|
|
2014-06-14 04:00:38 +08:00
|
|
|
// CHECK: [[WEAK]]
|
2014-06-14 03:43:04 +08:00
|
|
|
// CHECK-NOT: br
|
|
|
|
// CHECK: cmpxchg weak {{.*}} seq_cst seq_cst
|
|
|
|
// CHECK: br
|
|
|
|
}
|
|
|
|
|
|
|
|
// Having checked the flow in the previous two cases, we'll trust clang to
|
|
|
|
// combine them sanely.
|
|
|
|
void EMIT_ALL_THE_THINGS(int *ptr, int *ptr2, int new, _Bool weak, int success, int fail) {
|
|
|
|
__atomic_compare_exchange(ptr, ptr2, &new, weak, success, fail);
|
|
|
|
|
|
|
|
// CHECK: = cmpxchg {{.*}} monotonic monotonic
|
|
|
|
// CHECK: = cmpxchg weak {{.*}} monotonic monotonic
|
|
|
|
// CHECK: = cmpxchg {{.*}} acquire monotonic
|
|
|
|
// CHECK: = cmpxchg {{.*}} acquire acquire
|
|
|
|
// CHECK: = cmpxchg weak {{.*}} acquire monotonic
|
|
|
|
// CHECK: = cmpxchg weak {{.*}} acquire acquire
|
|
|
|
// CHECK: = cmpxchg {{.*}} release monotonic
|
|
|
|
// CHECK: = cmpxchg weak {{.*}} release monotonic
|
|
|
|
// CHECK: = cmpxchg {{.*}} acq_rel monotonic
|
|
|
|
// CHECK: = cmpxchg {{.*}} acq_rel acquire
|
|
|
|
// CHECK: = cmpxchg weak {{.*}} acq_rel monotonic
|
|
|
|
// CHECK: = cmpxchg weak {{.*}} acq_rel acquire
|
|
|
|
// CHECK: = cmpxchg {{.*}} seq_cst monotonic
|
|
|
|
// CHECK: = cmpxchg {{.*}} seq_cst acquire
|
|
|
|
// CHECK: = cmpxchg {{.*}} seq_cst seq_cst
|
|
|
|
// CHECK: = cmpxchg weak {{.*}} seq_cst monotonic
|
|
|
|
// CHECK: = cmpxchg weak {{.*}} seq_cst acquire
|
|
|
|
// CHECK: = cmpxchg weak {{.*}} seq_cst seq_cst
|
|
|
|
}
|
|
|
|
|
2014-11-22 18:44:12 +08:00
|
|
|
int PR21643() {
|
|
|
|
return __atomic_or_fetch((int __attribute__((address_space(257))) *)0x308, 1,
|
|
|
|
__ATOMIC_RELAXED);
|
|
|
|
// CHECK: %[[atomictmp:.*]] = alloca i32, align 4
|
|
|
|
// CHECK: %[[atomicdst:.*]] = alloca i32, align 4
|
|
|
|
// CHECK: store i32 1, i32* %[[atomictmp]]
|
|
|
|
// CHECK: %[[one:.*]] = load i32* %[[atomictmp]], align 4
|
|
|
|
// CHECK: %[[old:.*]] = atomicrmw or i32 addrspace(257)* inttoptr (i32 776 to i32 addrspace(257)*), i32 %[[one]] monotonic
|
|
|
|
// CHECK: %[[new:.*]] = or i32 %[[old]], %[[one]]
|
|
|
|
// CHECK: store i32 %[[new]], i32* %[[atomicdst]], align 4
|
|
|
|
// CHECK: %[[ret:.*]] = load i32* %[[atomicdst]], align 4
|
|
|
|
// CHECK: ret i32 %[[ret]]
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2012-04-11 06:49:28 +08:00
|
|
|
#endif
|