Home | History | Annotate | Download | only in ARM
      1 ; RUN: llc -march=thumb -mcpu=cortex-a8 < %s
      2 ; rdar://problem/10137436: sqlite3 miscompile
      3 ;
      4 ; CHECK: subs
      5 ; CHECK: cmp
      6 ; CHECK: it
      7 
      8 target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:32:64-v128:32:128-a0:0:32-n32"
      9 target triple = "thumbv7-apple-ios4.0.0"
     10 
     11 declare i8* @__memset_chk(i8*, i32, i32, i32) nounwind
     12 
     13 define hidden fastcc i32 @sqlite3VdbeExec(i32* %p) nounwind {
     14 entry:
     15   br label %sqlite3VarintLen.exit7424
     16 
     17 sqlite3VarintLen.exit7424:                        ; preds = %do.body.i7423
     18   br label %do.body.i
     19 
     20 do.body.i:                                        ; preds = %do.body.i, %sqlite3VarintLen.exit7424
     21   br i1 undef, label %do.body.i, label %sqlite3VarintLen.exit
     22 
     23 sqlite3VarintLen.exit:                            ; preds = %do.body.i
     24   %sub2322 = add i64 undef, undef
     25   br i1 undef, label %too_big, label %if.end2327
     26 
     27 if.end2327:                                       ; preds = %sqlite3VarintLen.exit
     28   br i1 undef, label %if.end2341, label %no_mem
     29 
     30 if.end2341:                                       ; preds = %if.end2327
     31   br label %for.body2355
     32 
     33 for.body2355:                                     ; preds = %for.body2355, %if.end2341
     34   %add2366 = add nsw i32 undef, undef
     35   br i1 undef, label %for.body2377, label %for.body2355
     36 
     37 for.body2377:                                     ; preds = %for.body2355
     38   %conv23836154 = zext i32 %add2366 to i64
     39   %sub2384 = sub i64 %sub2322, %conv23836154
     40   %conv2385 = trunc i64 %sub2384 to i32
     41   %len.0.i = select i1 undef, i32 %conv2385, i32 undef
     42   %sub.i7384 = sub nsw i32 %len.0.i, 0
     43   %call.i.i7385 = call i8* @__memset_chk(i8* undef, i32 0, i32 %sub.i7384, i32 undef) nounwind
     44   unreachable
     45 
     46 too_big:                                          ; preds = %sqlite3VarintLen.exit
     47   unreachable
     48 
     49 no_mem:                                           ; preds = %if.end2327, %for.body, %entry.no_mem_crit_edge
     50   unreachable
     51 
     52 sqlite3ErrStr.exit:                               ; preds = %if.then82
     53   unreachable
     54 }
     55