From c05a08c7ab833a9b85636efa0be8777c0f44d34a Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Sun, 14 Jan 2024 19:36:18 +0000 Subject: [PATCH] bug 1251: WIP stbcx removed --- openpower/isa/lrsc.txt | 29 ----------------------------- 1 file changed, 29 deletions(-) delete mode 100644 openpower/isa/lrsc.txt diff --git a/openpower/isa/lrsc.txt b/openpower/isa/lrsc.txt deleted file mode 100644 index b3fdea94..00000000 --- a/openpower/isa/lrsc.txt +++ /dev/null @@ -1,29 +0,0 @@ -EA <- (RA|0) + (RB) -undefined_case <- 0 -store_performed <- 0 -if RESERVE then - if RESERVE_LENGTH = 1 & - RESERVE_ADDR = real_addr(EA) then - MEM(EA, 1) <- (RS)56:63 - undefined_case <- 0 - store_performed <- 1 - else - z <- 4096 # smallest implementation's real page size - if RESERVE_ADDR / z = real_addr(EA) / z then - undefined_case <- 1 - else - undefined_case <- 0 - store_performed <- 0 -else - undefined_case <- 0 - store_performed <- 0 -if undefined_case then - u1 <- undefined(0b1) - if u1 then - MEM(EA, 1) <- (RS)56:63 - u2 <- undefined(0b0) - CR0 <- 0b00 || u2 || XERSO -else - CR0 <- 0b00 || store_performed || XER[SO] -RESERVE  0 - -- 2.30.2