117 lines · c
1// RUN: %clang_cc1 -triple x86_64 -emit-llvm %s \2// RUN: -o - | FileCheck -check-prefixes=CHECK,NATIVE %s3// RUN: %clang_cc1 -triple riscv32 -target-feature -a -emit-llvm %s \4// RUN: -o - | FileCheck -check-prefixes=CHECK,LIBCALL %s5 6void foo(int x)7{8 _Atomic(int) i = 0;9 _Atomic(short) j = 0;10 // Check that multiply / divides on atomics produce a cmpxchg loop11 i *= 2;12 // NATIVE: mul nsw i3213 // NATIVE: cmpxchg ptr {{.*}} seq_cst, align 414 // LIBCALL: mul nsw i3215 // LIBCALL: i1 @__atomic_compare_exchange(i32 noundef 4,16 i /= 2;17 // NATIVE: sdiv i3218 // NATIVE: cmpxchg ptr {{.*}} seq_cst, align 419 // LIBCALL: sdiv i3220 // LIBCALL: i1 @__atomic_compare_exchange(i32 noundef 4,21 j /= x;22 // NATIVE: sdiv i3223 // NATIVE: cmpxchg ptr {{.*}} seq_cst, align 224 // LIBCALL: sdiv i3225 // LIBCALL: i1 @__atomic_compare_exchange(i32 noundef 2,26 27}28 29// LIBCALL: declare void @__atomic_load(i32, ptr, ptr, i32) [[LC_ATTRS:#[0-9]+]]30// LIBCALL: declare i1 @__atomic_compare_exchange(i32, ptr, ptr, ptr, i32, i32) [[LC_ATTRS:#[0-9]+]]31 32extern _Atomic _Bool b;33 34_Bool bar(void) {35// NATIVE-LABEL: @bar36// NATIVE: %[[load:.*]] = load atomic i8, ptr @b seq_cst, align 137// NATIVE: %[[tobool:.*]] = trunc i8 %[[load]] to i138// NATIVE: ret i1 %[[tobool]]39// LIBCALL-LABEL: @bar40// LIBCALL: call void @__atomic_load(i32 noundef 1, ptr noundef @b, ptr noundef %atomic-temp, i32 noundef 5)41// LIBCALL: %[[load:.*]] = load i8, ptr %atomic-temp42// LIBCALL: %[[tobool:.*]] = trunc i8 %[[load]] to i143// LIBCALL: ret i1 %[[tobool]]44 45 return b;46}47 48extern _Atomic(_Complex int) x;49 50void baz(int y) {51// NATIVE-LABEL: @baz52// NATIVE: store atomic i64 {{.*}} seq_cst, align 853// LIBCALL-LABEL: @baz54// LIBCALL: call void @__atomic_store55 56 x += y;57}58 59// LIBCALL: declare void @__atomic_store(i32, ptr, ptr, i32) [[LC_ATTRS:#[0-9]+]]60 61_Atomic(int) compound_add(_Atomic(int) in) {62// CHECK-LABEL: @compound_add63// CHECK: [[OLD:%.*]] = atomicrmw add ptr {{.*}}, i32 5 seq_cst, align 464// CHECK: [[NEW:%.*]] = add i32 [[OLD]], 565// CHECK: ret i32 [[NEW]]66 67 return (in += 5);68}69 70_Atomic(int) compound_sub(_Atomic(int) in) {71// CHECK-LABEL: @compound_sub72// CHECK: [[OLD:%.*]] = atomicrmw sub ptr {{.*}}, i32 5 seq_cst, align 473// CHECK: [[NEW:%.*]] = sub i32 [[OLD]], 574// CHECK: ret i32 [[NEW]]75 76 return (in -= 5);77}78 79_Atomic(int) compound_xor(_Atomic(int) in) {80// CHECK-LABEL: @compound_xor81// CHECK: [[OLD:%.*]] = atomicrmw xor ptr {{.*}}, i32 5 seq_cst, align 482// CHECK: [[NEW:%.*]] = xor i32 [[OLD]], 583// CHECK: ret i32 [[NEW]]84 85 return (in ^= 5);86}87 88_Atomic(int) compound_or(_Atomic(int) in) {89// CHECK-LABEL: @compound_or90// CHECK: [[OLD:%.*]] = atomicrmw or ptr {{.*}}, i32 5 seq_cst, align 491// CHECK: [[NEW:%.*]] = or i32 [[OLD]], 592// CHECK: ret i32 [[NEW]]93 94 return (in |= 5);95}96 97_Atomic(int) compound_and(_Atomic(int) in) {98// CHECK-LABEL: @compound_and99// CHECK: [[OLD:%.*]] = atomicrmw and ptr {{.*}}, i32 5 seq_cst, align 4100// CHECK: [[NEW:%.*]] = and i32 [[OLD]], 5101// CHECK: ret i32 [[NEW]]102 103 return (in &= 5);104}105 106_Atomic(int) compound_mul(_Atomic(int) in) {107// NATIVE-LABEL: @compound_mul108// NATIVE: cmpxchg ptr {{%.*}}, i32 {{%.*}}, i32 [[NEW:%.*]] seq_cst seq_cst, align 4109// NATIVE: ret i32 [[NEW]]110// LIBCALL-LABEL: @compound_mul111// LIBCALL: i1 @__atomic_compare_exchange(i32 noundef 4,112 113 return (in *= 5);114}115 116// LIBCALL: [[LC_ATTRS]] = { nounwind willreturn }117