| ; RUN: llc -O3 -mtriple arm64-apple-ios5.0.0 < %s | FileCheck %s |
| ; <rdar://problem/15992732> |
| ; Zero truncation is not necessary when the values are extended properly |
| ; already. |
| |
| @block = common global ptr null, align 8 |
| |
| define zeroext i8 @foo(i32 %i1, i32 %i2) { |
| ; CHECK-LABEL: foo: |
| ; CHECK: cset |
| ; CHECK-NOT: and |
| entry: |
| %idxprom = sext i32 %i1 to i64 |
| %0 = load ptr, ptr @block, align 8 |
| %arrayidx = getelementptr inbounds i8, ptr %0, i64 %idxprom |
| %1 = load i8, ptr %arrayidx, align 1 |
| %idxprom1 = sext i32 %i2 to i64 |
| %arrayidx2 = getelementptr inbounds i8, ptr %0, i64 %idxprom1 |
| %2 = load i8, ptr %arrayidx2, align 1 |
| %cmp = icmp eq i8 %1, %2 |
| br i1 %cmp, label %return, label %if.then |
| |
| if.then: ; preds = %entry |
| %cmp7 = icmp ugt i8 %1, %2 |
| %conv9 = zext i1 %cmp7 to i8 |
| br label %return |
| |
| return: ; preds = %entry, %if.then |
| %retval.0 = phi i8 [ %conv9, %if.then ], [ 1, %entry ] |
| ret i8 %retval.0 |
| } |