branch.c 5.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281
  1. /*
  2. * This file is part of the UCB release of Plan 9. It is subject to the license
  3. * terms in the LICENSE file found in the top-level directory of this
  4. * distribution and at http://akaros.cs.berkeley.edu/files/Plan9License. No
  5. * part of the UCB release of Plan 9, including this file, may be copied,
  6. * modified, propagated, or distributed except according to the terms contained
  7. * in the LICENSE file.
  8. */
  9. #include <u.h>
  10. #include <libc.h>
  11. #include <bio.h>
  12. #include <mach.h>
  13. #define Extern extern
  14. #include "power.h"
  15. void mcrf(ulong);
  16. void bclr(ulong);
  17. void crop(ulong);
  18. void bcctr(ulong);
  19. void call(ulong);
  20. void ret(ulong);
  21. void isync(ulong);
  22. Inst op19[] = {
  23. [0] {mcrf, "mcrf", Ibranch},
  24. [16] {bclr, "bclr", Ibranch},
  25. [33] {crop, "crnor", Ibranch},
  26. [15] {0, "rfi", Ibranch},
  27. [129] {crop, "crandc", Ibranch},
  28. [150] {isync, "isync", Ibranch},
  29. [193] {crop, "crxor", Ibranch},
  30. [225] {crop, "crnand", Ibranch},
  31. [257] {crop, "crand", Ibranch},
  32. [289] {crop, "creqv", Ibranch},
  33. [417] {crop, "crorc", Ibranch},
  34. [449] {crop, "cror", Ibranch},
  35. [528] {bcctr, "bcctr", Ibranch},
  36. {0, 0, 0}
  37. };
  38. Inset ops19 = {op19, nelem(op19)-1};
  39. static char *
  40. boname(int bo)
  41. {
  42. static char buf[8];
  43. switch(bo>>1){
  44. case 0: return "dnzf";
  45. case 1: return "dzf";
  46. case 2: return "f";
  47. case 4: return "dnzt";
  48. case 5: return "dzt";
  49. case 6: return "t";
  50. case 8: return "dnz";
  51. case 9: return "dz";
  52. case 10: return "a";
  53. default:
  54. sprint(buf, "%d?", bo);
  55. return buf;
  56. }
  57. }
  58. static char *
  59. cname(int bo, int bi)
  60. {
  61. int f;
  62. char *p;
  63. static char buf[20];
  64. static char *f0[] = {"lt", "gt", "eq", "so/un"};
  65. if(bo == 0x14){ /* branch always */
  66. sprint(buf,"%d", bi);
  67. return buf;
  68. }
  69. for(f = 0; bi >= 4; bi -= 4)
  70. f++;
  71. p = buf;
  72. p += sprint(buf, "%d[", bi);
  73. if(f)
  74. p += sprint(buf, "cr%d+", f);
  75. strcpy(p, f0[bi&3]);
  76. strcat(p, "]");
  77. return buf;
  78. }
  79. static int
  80. condok(uint32_t ir, int ctr)
  81. {
  82. int bo, bi, xx;
  83. getbobi(ir);
  84. if(xx)
  85. undef(ir);
  86. if((bo & 0x4) == 0) {
  87. if(!ctr)
  88. undef(ir);
  89. reg.ctr--;
  90. }
  91. if(bo & 0x4 || (reg.ctr!=0)^((bo>>1)&1)) {
  92. if(bo & 0x10 || (((reg.cr & bits[bi])!=0)==((bo>>3)&1)))
  93. return 1;
  94. }
  95. return 0;
  96. }
  97. static void
  98. dobranch(uint32_t ir, uint32_t *r, int ctr)
  99. {
  100. int bo, bi, xx;
  101. uint32_t nia;
  102. getbobi(ir);
  103. USED(xx);
  104. if(condok(ir, ctr)) {
  105. ci->taken++;
  106. nia = *r & ~3;
  107. if(bo & 4) /* assume counting branches aren't returns */
  108. ret(nia);
  109. } else
  110. nia = reg.pc + 4;
  111. if(trace)
  112. itrace("%s%s\t%s,%s,#%.8lux", ci->name, ir&1? "l": "", boname(bo), cname(bo, bi), nia);
  113. if(ir & 1) {
  114. call(nia);
  115. reg.lr = reg.pc + 4;
  116. }
  117. reg.pc = nia-4;
  118. /* branch delays? */
  119. }
  120. void
  121. bcctr(uint32_t ir)
  122. {
  123. dobranch(ir, &reg.ctr, 1);
  124. }
  125. void
  126. bclr(uint32_t ir)
  127. {
  128. dobranch(ir, &reg.lr, 0);
  129. }
  130. void
  131. bcx(uint32_t ir)
  132. {
  133. int bo, bi, xx;
  134. uint32_t ea;
  135. int32_t imm;
  136. static char *opc[] = {"bc", "bcl", "bca", "bcla"};
  137. getbobi(ir);
  138. USED(xx);
  139. imm = ir & 0xFFFC;
  140. if(ir & 0x08000)
  141. imm |= 0xFFFF0000;
  142. if((ir & 2) == 0) { /* not absolute address */
  143. ea = reg.pc + imm;
  144. if(trace)
  145. itrace("%s\t%s,%s,.%s%ld\tea = #%.8lux", opc[ir&3], boname(bo), cname(bo, bi), imm<0?"":"+", imm, ea);
  146. } else {
  147. ea = imm;
  148. if(trace)
  149. itrace("%s\t%s,%s,#%.8lux", opc[ir&3], boname(bo), cname(bo, bi), ea);
  150. }
  151. if(condok(ir&0xFFFF0000, 1))
  152. ci->taken++;
  153. else
  154. ea = reg.pc + 4;
  155. if(ir & 1) {
  156. call(ea);
  157. reg.lr = reg.pc+4;
  158. }
  159. reg.pc = ea-4;
  160. /* branch delay? */
  161. }
  162. void
  163. crop(uint32_t ir)
  164. {
  165. int rd, ra, rb, d;
  166. getarrr(ir);
  167. if(trace)
  168. itrace("%s\tcrb%d,crb%d,crb%d", ci->name, rd, ra, rb);
  169. ra = (reg.cr & bits[ra]) != 0;
  170. rb = (reg.cr & bits[rb]) != 0;
  171. d = 0;
  172. switch(getxo(ir)) {
  173. case 257: d = ra & rb; break;
  174. case 129: d = ra & !rb; break;
  175. case 289: d = ra == rb; break;
  176. case 225: d = !(ra & rb); break;
  177. case 33: d = !(ra | rb); break;
  178. case 449: d = ra | rb; break;
  179. case 417: d = ra | !rb; break;
  180. case 193: d = ra ^ rb; break;
  181. default: undef(ir); break;
  182. }
  183. if(d)
  184. reg.cr |= bits[rd];
  185. }
  186. void
  187. mcrf(uint32_t ir)
  188. {
  189. int rd, ra, rb;
  190. getarrr(ir);
  191. if(ir & 1 || rd & 3 || ra & 3 || rb)
  192. undef(ir);
  193. ra >>= 2;
  194. rd >>= 2;
  195. reg.cr = (reg.cr & ~mkCR(rd, 0xF)) | mkCR(rd, getCR(ra, reg.cr));
  196. if(trace)
  197. itrace("mcrf\tcrf%d,crf%d", rd, ra);
  198. }
  199. void
  200. call(uint32_t npc)
  201. {
  202. Symbol s;
  203. if(calltree) {
  204. findsym(npc, CTEXT, &s);
  205. Bprint(bioout, "%8lux %s(", reg.pc, s.name);
  206. printparams(&s, reg.r[1]);
  207. Bprint(bioout, "from ");
  208. printsource(reg.pc);
  209. Bputc(bioout, '\n');
  210. }
  211. }
  212. void
  213. ret(uint32_t npc)
  214. {
  215. Symbol s;
  216. if(calltree) {
  217. findsym(npc, CTEXT, &s);
  218. Bprint(bioout, "%8lux return to #%lux %s r3=#%lux (%ld)\n",
  219. reg.pc, npc, s.name, reg.r[3], reg.r[3]);
  220. }
  221. }
  222. void
  223. bx(uint32_t ir)
  224. {
  225. uint32_t ea;
  226. int32_t imm;
  227. static char *opc[] = {"b", "bl", "ba", "bla"};
  228. imm = ir & 0x03FFFFFC;
  229. if(ir & 0x02000000)
  230. imm |= 0xFC000000;
  231. if((ir & 2) == 0) { /* not absolute address */
  232. ea = reg.pc + imm;
  233. if(trace)
  234. itrace("%s\t.%s%ld\tea = #%.8lux", opc[ir&3], imm<0?"":"+", imm, ea);
  235. } else {
  236. ea = imm;
  237. if(trace)
  238. itrace("%s\t#%.8lux", opc[ir&3], ea);
  239. }
  240. ci->taken++;
  241. if(ir & 1) {
  242. call(ea);
  243. reg.lr = reg.pc+4;
  244. }
  245. reg.pc = ea-4;
  246. /* branch delay? */
  247. }
  248. void
  249. isync(uint32_t ir)
  250. {
  251. USED(ir);
  252. if(trace)
  253. itrace("isync");
  254. }