openpower/isa/fixedsync.mdwn

   1 <!-- X Instructions here described in PowerISA Version 3.0 B Book 1 -->
   2
   3 <!-- Section 4.6 Fixed-point Synchronisation instructions. Pages 865 - 877 -->
   4
   5 # Instruction Synchronise
   6
   7 XL-Form
   8
   9 * isync
  10
  11 Pseudo-code:
  12
  13     # TODO
  14     undefined(0)
  15
  16 Special Registers Altered:
  17
  18     None
  19
  20 # Load Byte And Reserve Indexed
  21
  22 X-Form
  23
  24 * lbarx RT,RA,RB,EH
  25
  26 Pseudo-code:
  27
  28     # TODO
  29     undefined(0)
  30
  31 Special Registers Altered:
  32
  33     None
  34
  35 # Load Halfword And Reserve Indexed
  36
  37 X-Form
  38
  39 * lharx RT,RA,RB,EH
  40
  41 Pseudo-code:
  42
  43     # TODO
  44     undefined(0)
  45
  46 Special Registers Altered:
  47
  48     None
  49
  50 # Load Word And Reserve Indexed
  51
  52 X-Form
  53
  54 * lwarx RT,RA,RB,EH
  55
  56 Pseudo-code:
  57
  58     # TODO
  59     undefined(0)
  60
  61 Special Registers Altered:
  62
  63     None
  64
  65 # Load Doubleword And Reserve Indexed
  66
  67 X-Form
  68
  69 * ldarx RT,RA,RB,EH
  70
  71 Pseudo-code:
  72
  73     # TODO
  74     undefined(0)
  75
  76 Special Registers Altered:
  77
  78     None
  79
  80 # Store Byte Conditional Indexed
  81
  82 X-Form
  83
  84 * stbcx. RS,RA,RB
  85
  86 Pseudo-code:
  87
  88     # TODO
  89     undefined(0)
  90
  91 Special Registers Altered:
  92
  93     CR0
  94
  95 # Store Halfword Conditional Indexed
  96
  97 X-Form
  98
  99 * sthcx. RS,RA,RB
 100
 101 Pseudo-code:
 102
 103     # TODO
 104     undefined(0)
 105
 106 Special Registers Altered:
 107
 108     CR0
 109
 110 # Store word Conditional Indexed
 111
 112 X-Form
 113
 114 * stwcx. RS,RA,RB
 115
 116 Pseudo-code:
 117
 118     # TODO
 119     undefined(0)
 120
 121 Special Registers Altered:
 122
 123     CR0
 124
 125 # Store Doubleword Conditional Indexed
 126
 127 X-Form
 128
 129 * stdcx. RS,RA,RB
 130
 131 Pseudo-code:
 132
 133     # TODO
 134     undefined(0)
 135
 136 Special Registers Altered:
 137
 138     CR0
 139