azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[K/N] Add filecheck tests for atomic intrinsics

Browse Source 
https://youtrack.jetbrains.com/issue/KT-60514/Add-llvm-filecheck-tests-for-atomic-intrinsics

Merge-request: KT-MR-12067
Merged-by: Vladimir Sukharev <Vladimir.Sukharev@jetbrains.com>
This commit is contained in:
Vladimir Sukharev
2023-09-11 21:28:34 +00:00
committed by Space Team
parent 1ff7841ac7
commit e0e2a57e3d
3 changed files with 311 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/codegen/box/volatile/intrinsicsOnGlobal.kt
Vendored
+22
View File
@@ -27,12 +27,34 @@ val a = "1"
val b = "2"
val c = "3"
@Volatile var byte: Byte = 1
@Volatile var short: Short = 1
@Volatile var x: Int = 1
@Volatile var y: Long = 1L
@Volatile var z: String = a
@Volatile var t: Boolean = true
fun box() : String {
if (::byte.compareAndSetField(1.toByte(), 2.toByte()) != true) return "FAIL Byte: 1"
if (::byte.compareAndSetField(1.toByte(), 2.toByte()) != false) return "FAIL Byte: 2"
if (::byte.compareAndExchangeField(2.toByte(), 1.toByte()) != 2.toByte()) return "FAIL Byte: 3"
if (::byte.compareAndExchangeField(2.toByte(), 1.toByte()) != 1.toByte()) return "FAIL Byte: 4"
if (::byte.getAndSetField(3.toByte()) != 1.toByte()) return "FAIL Byte: 5"
if (::byte.getAndSetField(1.toByte()) != 3.toByte()) return "FAIL Byte: 6"
if (::byte.getAndAddFieldLocal(1.toByte()) != 1.toByte()) return "FAIL Byte: 7"
if (::byte.getAndAddFieldLocal(1.toByte()) != 2.toByte()) return "FAIL Byte: 8"
if (byte != 3.toByte()) return "FAIL Byte: 9"
if (::short.compareAndSetField(1.toShort(), 2.toShort()) != true) return "FAIL Short: 1"
if (::short.compareAndSetField(1.toShort(), 2.toShort()) != false) return "FAIL Short: 2"
if (::short.compareAndExchangeField(2.toShort(), 1.toShort()) != 2.toShort()) return "FAIL Short: 3"
if (::short.compareAndExchangeField(2.toShort(), 1.toShort()) != 1.toShort()) return "FAIL Short: 4"
if (::short.getAndSetField(3.toShort()) != 1.toShort()) return "FAIL Short: 5"
if (::short.getAndSetField(1.toShort()) != 3.toShort()) return "FAIL Short: 6"
if (::short.getAndAddFieldLocal(1.toShort()) != 1.toShort()) return "FAIL Short: 7"
if (::short.getAndAddFieldLocal(1.toShort()) != 2.toShort()) return "FAIL Short: 8"
if (short != 3.toShort()) return "FAIL Short: 9"
if (::x.compareAndSetField(1, 2) != true) return "FAIL Int: 1"
if (::x.compareAndSetField(1, 2) != false) return "FAIL Int: 2"
if (::x.compareAndExchangeField(2, 1) != 2) return "FAIL Int: 3"