115 lines · plain
1; RUN: llc -verify-machineinstrs < %s -ppc-asm-full-reg-names -mtriple=ppc64-- | FileCheck %s -check-prefix=CHECK -check-prefix=CHECK-BE2; RUN: llc -verify-machineinstrs < %s -ppc-asm-full-reg-names -mtriple=powerpc64le-unknown-linux-gnu | FileCheck %s -check-prefix=CHECK -check-prefix=CHECK-LE3; RUN: llc -verify-machineinstrs < %s -ppc-asm-full-reg-names -mtriple=ppc64-- -mcpu=pwr7 | FileCheck %s4; RUN: llc -verify-machineinstrs < %s -ppc-asm-full-reg-names -mtriple=ppc64-- -mcpu=pwr8 | FileCheck %s -check-prefix=CHECK-P8U5 6define i64 @exchange_and_add(ptr %mem, i64 %val) nounwind {7; CHECK-LABEL: exchange_and_add:8; CHECK: ldarx9 %tmp = atomicrmw add ptr %mem, i64 %val monotonic10; CHECK: stdcx.11 ret i64 %tmp12}13 14define i8 @exchange_and_add8(ptr %mem, i8 %val) nounwind {15; CHECK-LABEL: exchange_and_add8:16; CHECK-BE: xori17; CHECK-LE-NOT: xori18; CHECK-P8U: lbarx19 %tmp = atomicrmw add ptr %mem, i8 %val monotonic20; CHECK-P8U: stbcx.21 ret i8 %tmp22}23 24define i16 @exchange_and_add16(ptr %mem, i16 %val) nounwind {25; CHECK-LABEL: exchange_and_add16:26; CHECK-BE: xori27; CHECK-LE-NOT: xori28; CHECK-P8U: lharx29 %tmp = atomicrmw add ptr %mem, i16 %val monotonic30; CHECK-P8U: sthcx.31 ret i16 %tmp32}33 34define i64 @exchange_and_cmp(ptr %mem) nounwind {35; CHECK-LABEL: exchange_and_cmp:36; CHECK: ldarx37 %tmppair = cmpxchg ptr %mem, i64 0, i64 1 monotonic monotonic38 %tmp = extractvalue { i64, i1 } %tmppair, 039; CHECK: stdcx.40 ret i64 %tmp41}42 43define i8 @exchange_and_cmp8(ptr %mem) nounwind {44; CHECK-LABEL: exchange_and_cmp8:45; CHECK-BE: or r{{.*}} r{{.*}} r{{.*}}46; CHECK-LE-NOT: or r{{.*}} r{{.*}} r{{.*}}47; CHECK-P8U: lbarx48 %tmppair = cmpxchg ptr %mem, i8 0, i8 1 monotonic monotonic49 %tmp = extractvalue { i8, i1 } %tmppair, 050; CHECK-P8U: stbcx.51 ret i8 %tmp52}53 54define i16 @exchange_and_cmp16(ptr %mem) nounwind {55; CHECK-LABEL: exchange_and_cmp16:56; CHECK-BE: xori57; CHECK-LE-NOT: xori58; CHECK-P8U: lharx59 %tmppair = cmpxchg ptr %mem, i16 0, i16 1 monotonic monotonic60 %tmp = extractvalue { i16, i1 } %tmppair, 061; CHECK-P8U: sthcx.62 ret i16 %tmp63}64 65define i64 @exchange(ptr %mem, i64 %val) nounwind {66; CHECK-LABEL: exchange:67; CHECK: ldarx68 %tmp = atomicrmw xchg ptr %mem, i64 1 monotonic69; CHECK: stdcx.70 ret i64 %tmp71}72 73define i8 @exchange8(ptr %mem, i8 %val) nounwind {74; CHECK-LABEL: exchange8:75; CHECK-BE: xori76; CHECK-LE-NOT: xori77; CHECK-P8U: lbarx78 %tmp = atomicrmw xchg ptr %mem, i8 1 monotonic79; CHECK-P8U: stbcx.80 ret i8 %tmp81}82 83define i16 @exchange16(ptr %mem, i16 %val) nounwind {84; CHECK-LABEL: exchange16:85; CHECK-BE: xori86; CHECK-LE-NOT: xori87; CHECK-P8U: lharx88 %tmp = atomicrmw xchg ptr %mem, i16 1 monotonic89; CHECK-P8U: sthcx.90 ret i16 %tmp91}92 93define void @atomic_store(ptr %mem, i64 %val) nounwind {94entry:95; CHECK: @atomic_store96 store atomic i64 %val, ptr %mem release, align 6497; CHECK: lwsync98; CHECK-NOT: stdcx99; CHECK: std100 ret void101}102 103define i64 @atomic_load(ptr %mem) nounwind {104entry:105; CHECK: @atomic_load106 %tmp = load atomic i64, ptr %mem acquire, align 64107; CHECK-NOT: ldarx108; CHECK: ld [[VAL:r[0-9]+]]109; CHECK: cmpd [[CR:cr[0-9]+]], [[VAL]], [[VAL]]110; CHECK: bne- [[CR]], .+4111; CHECK: isync112 ret i64 %tmp113}114 115