88 lines · plain
1; RUN: sed -e "s/ORDER/monotonic/" -e "s/BINARY_OP/add/" %s | llc -mtriple=hexagon | FileCheck %s2; RUN: sed -e "s/ORDER/acquire/" -e "s/BINARY_OP/add/" %s | llc -mtriple=hexagon | FileCheck %s3; RUN: sed -e "s/ORDER/release/" -e "s/BINARY_OP/add/" %s | llc -mtriple=hexagon | FileCheck %s4; RUN: sed -e "s/ORDER/acq_rel/" -e "s/BINARY_OP/add/" %s | llc -mtriple=hexagon | FileCheck %s5; RUN: sed -e "s/ORDER/seq_cst/" -e "s/BINARY_OP/add/" %s | llc -mtriple=hexagon | FileCheck %s6; RUN: sed -e "s/ORDER/monotonic/" -e "s/BINARY_OP/sub/" %s | llc -mtriple=hexagon | FileCheck %s7; RUN: sed -e "s/ORDER/acquire/" -e "s/BINARY_OP/sub/" %s | llc -mtriple=hexagon | FileCheck %s8; RUN: sed -e "s/ORDER/release/" -e "s/BINARY_OP/sub/" %s | llc -mtriple=hexagon | FileCheck %s9; RUN: sed -e "s/ORDER/acq_rel/" -e "s/BINARY_OP/sub/" %s | llc -mtriple=hexagon | FileCheck %s10; RUN: sed -e "s/ORDER/seq_cst/" -e "s/BINARY_OP/sub/" %s | llc -mtriple=hexagon | FileCheck %s11 12%struct.Obj = type { [100 x i32] }13 14@i32First = global i32 0, align 415@i32Second = global i32 0, align 416@i32Result = global i32 0, align 417@i64First = global i64 0, align 818@i64Second = global i64 0, align 819@i64Result = global i64 0, align 820@ptrFirst = global ptr null, align 421@ptrSecond = global ptr null, align 422@ptrResult = global ptr null, align 423 24define void @atomicrmw_op_i32() #0 {25BINARY_OP_entry:26 %i32First = load i32, ptr @i32First, align 427 %i32Result = atomicrmw BINARY_OP ptr @i32Second, i32 %i32First ORDER28 store i32 %i32Result, ptr @i32Result, align 429 ret void30}31; CHECK-LABEL: atomicrmw_op_i32:32; CHECK: // %[[BINARY_OP:[a-z_]*]]_entry33; CHECK-DAG: [[SECOND_ADDR:r[0-9]+]] = ##i32Second34; CHECK-DAG: [[FIRST_VALUE:r[0-9]+]] = memw(gp+#i32First)35 36; CHECK: [[FAIL_LABEL:\.LBB.*]]:37 38; CHECK: [[LOCKED_READ_REG:r[0-9]+]] = memw_locked([[SECOND_ADDR]])39; CHECK: [[RESULT_REG:r[0-9]+]] = [[BINARY_OP]]([[LOCKED_READ_REG]],[[FIRST_VALUE]])40; CHECK: memw_locked([[SECOND_ADDR]],[[LOCK_PRED_REG:p[0-9]+]]) = [[RESULT_REG]]41 42; CHECK: if (![[LOCK_PRED_REG]]) jump{{.*}}[[FAIL_LABEL]]43; CHECK-DAG: memw(gp+#i32Result) = [[LOCKED_READ_REG]]44; CHECK-DAG: jumpr r3145 46define void @atomicrmw_op_i64() #0 {47entry:48 %i64First = load i64, ptr @i64First, align 849 %i64Result = atomicrmw BINARY_OP ptr @i64Second, i64 %i64First ORDER50 store i64 %i64Result, ptr @i64Result, align 851 ret void52}53; CHECK-LABEL: atomicrmw_op_i64:54; CHECK-DAG: [[SECOND_ADDR:r[0-9]+]] = ##i64Second55; CHECK-DAG: [[FIRST_VALUE:r[0-9]+:[0-9]+]] = memd(gp+#i64First)56 57; CHECK: [[FAIL_LABEL:\.LBB.*]]:58 59; CHECK-DAG: [[LOCKED_READ_REG:r[0-9]+:[0-9]+]] = memd_locked([[SECOND_ADDR]])60; CHECK: [[RESULT_REG:r[0-9]+:[0-9]+]] = [[BINARY_OP]]([[LOCKED_READ_REG]],[[FIRST_VALUE]])61; CHECK: memd_locked([[SECOND_ADDR]],[[LOCK_PRED_REG:p[0-9]+]]) = [[RESULT_REG]]62 63; CHECK: if (![[LOCK_PRED_REG]]) jump{{.*}}[[FAIL_LABEL]]64; CHECK-DAG: memd(gp+#i64Result) = [[LOCKED_READ_REG]]65; CHECK-DAG: jumpr r3166 67define void @atomicrmw_op_ptr() #0 {68entry:69 %ptrFirst = load i32, ptr @ptrFirst, align 470 %ptrResult = atomicrmw BINARY_OP ptr @ptrSecond, i32 %ptrFirst ORDER71 store i32 %ptrResult, ptr @ptrResult, align 472 ret void73}74; CHECK-LABEL: atomicrmw_op_ptr:75; CHECK-DAG: [[SECOND_ADDR:r[0-9]+]] = ##ptrSecond76; CHECK-DAG: [[FIRST_VALUE:r[0-9]+]] = memw(gp+#ptrFirst)77 78; CHECK: [[FAIL_LABEL:\.LBB.*]]:79 80; CHECK-DAG: [[LOCKED_READ_REG:r[0-9]+]] = memw_locked([[SECOND_ADDR]])81; CHECK: [[RESULT_REG:r[0-9]+]] = [[BINARY_OP]]([[LOCKED_READ_REG]],[[FIRST_VALUE]])82; CHECK: memw_locked([[SECOND_ADDR]],[[LOCK_PRED_REG:p[0-9]+]]) = [[RESULT_REG]]83 84; CHECK: if (![[LOCK_PRED_REG]]) jump{{.*}}[[FAIL_LABEL]]85; CHECK-DAG: memw(gp+#ptrResult) = [[LOCKED_READ_REG]]86; CHECK-DAG: jumpr r3187 88