57 lines · plain
1; RUN: sed -e "s/ORDER/monotonic/" %s | llc -mtriple=hexagon | FileCheck %s2; RUN: sed -e "s/ORDER/acquire/" %s | llc -mtriple=hexagon | FileCheck %s3; RUN: sed -e "s/ORDER/release/" %s | llc -mtriple=hexagon | FileCheck %s4; RUN: sed -e "s/ORDER/acq_rel/" %s | llc -mtriple=hexagon | FileCheck %s5; RUN: sed -e "s/ORDER/seq_cst/" %s | llc -mtriple=hexagon | FileCheck %s6 7@g0 = global i32 0, align 48@g1 = global i32 0, align 49@g2 = global i32 0, align 410@g3 = global i64 0, align 811@g4 = global i64 0, align 812@g5 = global i64 0, align 813 14; CHECK-LABEL: f0:15; CHECK-DAG: [[SECOND_ADDR:r[0-9]+]] = ##g116; CHECK-DAG: [[FIRST_VALUE:r[0-9]+]] = memw(gp+#g0)17 18; CHECK: [[FAIL_LABEL:\.LBB.*]]:19 20; CHECK: [[LOCKED_READ_REG:r[0-9]+]] = memw_locked([[SECOND_ADDR]])21; CHECK: [[AND_RESULT_REG:r[0-9]+]] = and([[LOCKED_READ_REG]],[[FIRST_VALUE]])22; CHECK: [[RESULT_REG:r[0-9]+]] = sub(#-1,[[AND_RESULT_REG]])23; CHECK: memw_locked([[SECOND_ADDR]],[[LOCK_PRED_REG:p[0-9]+]]) = [[RESULT_REG]]24 25; CHECK: if (![[LOCK_PRED_REG]]) jump{{.*}}[[FAIL_LABEL]]26; CHECK-DAG: memw(gp+#g2) = [[LOCKED_READ_REG]]27; CHECK-DAG: jumpr r3128define void @f0() {29b0:30 %v0 = load i32, ptr @g0, align 431 %v1 = atomicrmw nand ptr @g1, i32 %v0 ORDER32 store i32 %v1, ptr @g2, align 433 ret void34}35 36; CHECK-LABEL: f1:37; CHECK-DAG: [[SECOND_ADDR:r[0-9]+]] = ##g438; CHECK-DAG: [[FIRST_VALUE:r[:0-9]+]] = memd(gp+#g3)39 40; CHECK: [[FAIL_LABEL:\.LBB.*]]:41 42; CHECK: [[LOCKED_READ_REG:r[:0-9]+]] = memd_locked([[SECOND_ADDR]])43; CHECK: [[AND_RESULT_REG:r[:0-9]+]] = and([[LOCKED_READ_REG]],[[FIRST_VALUE]])44; CHECK: [[RESULT_REG:r[:0-9]+]] = not([[AND_RESULT_REG]])45; CHECK: memd_locked([[SECOND_ADDR]],[[LOCK_PRED_REG:p[0-9]+]]) = [[RESULT_REG]]46 47; CHECK: if (![[LOCK_PRED_REG]]) jump{{.*}}[[FAIL_LABEL]]48; CHECK-DAG: memd(gp+#g5) = [[LOCKED_READ_REG]]49; CHECK-DAG: jumpr r3150define void @f1() {51b0:52 %v0 = load i64, ptr @g3, align 853 %v1 = atomicrmw nand ptr @g4, i64 %v0 ORDER54 store i64 %v1, ptr @g5, align 855 ret void56}57