| OLD | NEW |
| 1 ; RUIN: %llvm2ice -verbose inst %s | FileCheck %s | 1 ; RUIN: %llvm2ice -verbose inst %s | FileCheck %s |
| 2 ; RUIN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s | 2 ; RUIN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s |
| 3 ; RUN: %szdiff --llvm2ice=%llvm2ice %s | FileCheck --check-prefix=DUMP %s | 3 ; RUN: %llvm2iceinsts %s | %szdiff %s | FileCheck --check-prefix=DUMP %s |
| 4 ; RUN: %llvm2iceinsts --pnacl %s | %szdiff %s \ |
| 5 ; RUN: | FileCheck --check-prefix=DUMP %s |
| 4 | 6 |
| 5 define i32 @simple_loop(i32 %a, i32 %n) { | 7 define i32 @simple_loop(i32 %a, i32 %n) { |
| 6 entry: | 8 entry: |
| 7 %cmp4 = icmp sgt i32 %n, 0 | 9 %cmp4 = icmp sgt i32 %n, 0 |
| 8 br i1 %cmp4, label %for.body, label %for.end | 10 br i1 %cmp4, label %for.body, label %for.end |
| 9 | 11 |
| 10 for.body: | 12 for.body: |
| 11 %i.06 = phi i32 [ %inc, %for.body ], [ 0, %entry ] | 13 %i.06 = phi i32 [ %inc, %for.body ], [ 0, %entry ] |
| 12 %sum.05 = phi i32 [ %add, %for.body ], [ 0, %entry ] | 14 %sum.05 = phi i32 [ %add, %for.body ], [ 0, %entry ] |
| 13 %gep_array = mul i32 %i.06, 4 | 15 %gep_array = mul i32 %i.06, 4 |
| 14 %gep = add i32 %a, %gep_array | 16 %gep = add i32 %a, %gep_array |
| 15 %gep.asptr = inttoptr i32 %gep to i32* | 17 %__9 = inttoptr i32 %gep to i32* |
| 16 %v0 = load i32* %gep.asptr, align 1 | 18 %v0 = load i32* %__9, align 1 |
| 17 %add = add i32 %v0, %sum.05 | 19 %add = add i32 %v0, %sum.05 |
| 18 %inc = add i32 %i.06, 1 | 20 %inc = add i32 %i.06, 1 |
| 19 %cmp = icmp slt i32 %inc, %n | 21 %cmp = icmp slt i32 %inc, %n |
| 20 br i1 %cmp, label %for.body, label %for.end | 22 br i1 %cmp, label %for.body, label %for.end |
| 21 | 23 |
| 22 for.end: | 24 for.end: |
| 23 %sum.0.lcssa = phi i32 [ 0, %entry ], [ %add, %for.body ] | 25 %sum.0.lcssa = phi i32 [ 0, %entry ], [ %add, %for.body ] |
| 24 ret i32 %sum.0.lcssa | 26 ret i32 %sum.0.lcssa |
| 25 } | 27 } |
| 26 | 28 |
| (...skipping 16 matching lines...) Expand all Loading... |
| 43 ; TODO: the mov from ebx to esi seems redundant here - so this may need to be | 45 ; TODO: the mov from ebx to esi seems redundant here - so this may need to be |
| 44 ; modified later | 46 ; modified later |
| 45 | 47 |
| 46 ; CHECK: add [[IREG:[a-z]+]], 1 | 48 ; CHECK: add [[IREG:[a-z]+]], 1 |
| 47 ; CHECK-NEXT: mov [[ICMPREG:[a-z]+]], [[IREG]] | 49 ; CHECK-NEXT: mov [[ICMPREG:[a-z]+]], [[IREG]] |
| 48 ; CHECK: cmp [[ICMPREG]], ecx | 50 ; CHECK: cmp [[ICMPREG]], ecx |
| 49 ; CHECK-NEXT: jl {{.*}}for.body | 51 ; CHECK-NEXT: jl {{.*}}for.body |
| 50 | 52 |
| 51 ; ERRORS-NOT: ICE translation error | 53 ; ERRORS-NOT: ICE translation error |
| 52 ; DUMP-NOT: SZ | 54 ; DUMP-NOT: SZ |
| OLD | NEW |