Lines Matching refs:FAIL
93 #define FAIL(...) do { \ macro
125 FAIL("var " VARFMT " without def has op uses\n", VAR(i)); in ssa_verify_integrity()
128 FAIL("var " VARFMT " without def has phi uses\n", VAR(i)); in ssa_verify_integrity()
132 FAIL("var " VARFMT " has both def and def_phi\n", VAR(i)); in ssa_verify_integrity()
136 FAIL("var " VARFMT " not defined by op " INSTRFMT "\n", in ssa_verify_integrity()
142 FAIL("var " VARFMT " not defined by given phi\n", VAR(i)); in ssa_verify_integrity()
149 FAIL("cycle in uses of " VARFMT "\n", VAR(i)); in ssa_verify_integrity()
160 FAIL("cycle in phi uses of " VARFMT "\n", VAR(i)); in ssa_verify_integrity()
164 FAIL("var " VARFMT " not in phi sources of %d\n", VAR(i), phi->ssa_var); in ssa_verify_integrity()
169 FAIL("var " VARFMT " has array key type but not value type\n", VAR(i)); in ssa_verify_integrity()
172 FAIL("var " VARFMT " has array value type but not key type\n", VAR(i)); in ssa_verify_integrity()
182 FAIL("var op1 of " INSTRFMT " does not use/def an ssa var\n", INSTR(i)); in ssa_verify_integrity()
186 FAIL("non-var op1 of " INSTRFMT " uses or defs an ssa var\n", INSTR(i)); in ssa_verify_integrity()
191 FAIL("var op2 of " INSTRFMT " does not use/def an ssa var\n", INSTR(i)); in ssa_verify_integrity()
195 FAIL("non-var op2 of " INSTRFMT " uses or defs an ssa var\n", INSTR(i)); in ssa_verify_integrity()
200 FAIL("var result of " INSTRFMT " does not use/def an ssa var\n", INSTR(i)); in ssa_verify_integrity()
204 FAIL("non-var result of " INSTRFMT " uses or defs an ssa var\n", INSTR(i)); in ssa_verify_integrity()
210 FAIL("op1 use %d out of range\n", ssa_op->op1_use); in ssa_verify_integrity()
213 FAIL("op1 use of " VARFMT " in " INSTRFMT " not in use chain\n", in ssa_verify_integrity()
217 FAIL("op1 use of " VARFMT " does not match op %d of " INSTRFMT "\n", in ssa_verify_integrity()
223 FAIL("op2 use %d out of range\n", ssa_op->op2_use); in ssa_verify_integrity()
226 FAIL("op2 use of " VARFMT " in " INSTRFMT " not in use chain\n", in ssa_verify_integrity()
230 FAIL("op2 use of " VARFMT " does not match op %d of " INSTRFMT "\n", in ssa_verify_integrity()
236 FAIL("result use %d out of range\n", ssa_op->result_use); in ssa_verify_integrity()
239 FAIL("result use of " VARFMT " in " INSTRFMT " not in use chain\n", in ssa_verify_integrity()
243 FAIL("result use of " VARFMT " does not match op %d of " INSTRFMT "\n", in ssa_verify_integrity()
249 FAIL("op1 def %d out of range\n", ssa_op->op1_def); in ssa_verify_integrity()
252 FAIL("op1 def of " VARFMT " in " INSTRFMT " invalid\n", in ssa_verify_integrity()
256 FAIL("op1 def of " VARFMT " does not match op %d of " INSTRFMT "\n", in ssa_verify_integrity()
262 FAIL("op2 def %d out of range\n", ssa_op->op2_def); in ssa_verify_integrity()
265 FAIL("op2 def of " VARFMT " in " INSTRFMT " invalid\n", in ssa_verify_integrity()
269 FAIL("op2 def of " VARFMT " does not match op %d of " INSTRFMT "\n", in ssa_verify_integrity()
275 FAIL("result def %d out of range\n", ssa_op->result_def); in ssa_verify_integrity()
278 FAIL("result def of " VARFMT " in " INSTRFMT " invalid\n", in ssa_verify_integrity()
282 FAIL("result def of " VARFMT " does not match op %d of " INSTRFMT "\n", in ssa_verify_integrity()
294 FAIL(VARFMT " negative source\n", VAR(phi->ssa_var)); in ssa_verify_integrity()
297 FAIL(VARFMT " not in phi use chain of %d\n", VAR(phi->ssa_var), source); in ssa_verify_integrity()
300 FAIL(VARFMT " source of phi for " VARFMT "\n", VAR(source), VAR(phi->ssa_var)); in ssa_verify_integrity()
306 FAIL("use chain for source " VARFMT " of phi " VARFMT in ssa_verify_integrity()
313 FAIL(VARFMT " does not define this phi\n", VAR(phi->ssa_var)); in ssa_verify_integrity()
324 FAIL("Block %d start %d smaller previous end %d\n", in ssa_verify_integrity()
328 FAIL("Block %d end %d greater next start %d\n", in ssa_verify_integrity()
334 FAIL("Instr " INSTRFMT " not associated with block %d\n", INSTR(j), i); in ssa_verify_integrity()
340 FAIL("Unreachable block %d has phis\n", i); in ssa_verify_integrity()
348 FAIL("Successor number %d of %d negative", s, i); in ssa_verify_integrity()
352 FAIL("Successor %d of %d not reachable\n", block->successors[s], i); in ssa_verify_integrity()
355 FAIL("Block %d predecessors missing %d\n", block->successors[s], i); in ssa_verify_integrity()
364 FAIL("Predecessor %d of %d not reachable\n", predecessors[j], i); in ssa_verify_integrity()
367 FAIL("Block %d successors missing %d\n", predecessors[j], i); in ssa_verify_integrity()
371 FAIL("Block %d has duplicate predecessor %d\n", i, predecessors[j]); in ssa_verify_integrity()
