Function _sqlite3ExprImpliesExpr

js/sql-debug.js:282323–282429

($0,$1,$2,$3)

 return (0)|0;
}
function _sqlite3ExprImpliesExpr($0,$1,$2,$3) {
 $0 = $0|0;
 $1 = $1|0;
 $2 = $2|0;
 $3 = $3|0;
 var $$0$lcssa$i = 0, $$04$i = 0, $$1 = 0, $$pr = 0, $$sink$i = 0, $10 = 0, $11 = 0, $12 = 0, $13 = 0, $14 = 0, $15 = 0, $16 = 0, $17 = 0, $18 = 0, $19 = 0, $20 = 0, $21 = 0, $22 = 0, $23 = 0, $24 = 0;
 var $25 = 0, $26 = 0, $27 = 0, $28 = 0, $29 = 0, $30 = 0, $31 = 0, $32 = 0, $33 = 0, $34 = 0, $35 = 0, $36 = 0, $4 = 0, $5 = 0, $6 = 0, $7 = 0, $8 = 0, $9 = 0, $not$ = 0, label = 0;
 var sp = 0;
 sp = STACKTOP;
 $4 = (_sqlite3ExprCompare($0,$1,$2,$3)|0);
 $5 = ($4|0)==(0);
 if ($5) {
  $$1 = 1;
  return ($$1|0);
 }
 $6 = HEAP8[$2>>0]|0;
 $7 = ($6<<24>>24)==(43);
 do {
  if ($7) {
   $8 = ((($2)) + 12|0);
   $9 = HEAP32[$8>>2]|0;
   $10 = (_sqlite3ExprImpliesExpr($0,$1,$9,$3)|0);
   $11 = ($10|0)==(0);
   if (!($11)) {
    $$1 = 1;
    return ($$1|0);
   }
   $12 = ((($2)) + 16|0);
   $13 = HEAP32[$12>>2]|0;
   $14 = (_sqlite3ExprImpliesExpr($0,$1,$13,$3)|0);
   $15 = ($14|0)==(0);
   if ($15) {
    $$pr = HEAP8[$2>>0]|0;
    $16 = $$pr;
    break;
   } else {
    $$1 = 1;
    return ($$1|0);
   }
  } else {
   $16 = $6;
  }
 } while(0);
 $17 = ($16<<24>>24)==(51);
 L13: do {
  if ($17) {
   $18 = HEAP8[$1>>0]|0;
   switch ($18<<24>>24) {
   case 45: case 50:  {
    break L13;
    break;
   }
   default: {
   }
   }
   $19 = ((($1)) + 12|0);
   $20 = HEAP32[$19>>2]|0;
   $21 = ($20|0)==(0|0);