32 lines
1005 B
LLVM
32 lines
1005 B
LLVM
|
; 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 i8* 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 i8*, i8** @block, align 8
|
||
|
%arrayidx = getelementptr inbounds i8, i8* %0, i64 %idxprom
|
||
|
%1 = load i8, i8* %arrayidx, align 1
|
||
|
%idxprom1 = sext i32 %i2 to i64
|
||
|
%arrayidx2 = getelementptr inbounds i8, i8* %0, i64 %idxprom1
|
||
|
%2 = load i8, i8* %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
|
||
|
}
|