[FastISel][AArch64] Optimize compare-and-branch for i1 to use 'tbz'.
[oota-llvm.git] / test / CodeGen / AArch64 / arm64-cast-opt.ll
1 ; RUN: llc -O3 -march=arm64 -mtriple arm64-apple-ios5.0.0 < %s | FileCheck %s
2 ; <rdar://problem/15992732>
3 ; Zero truncation is not necessary when the values are extended properly
4 ; already.
5
6 @block = common global i8* null, align 8
7
8 define zeroext i8 @foo(i32 %i1, i32 %i2) {
9 ; CHECK-LABEL: foo:
10 ; CHECK: cset
11 ; CHECK-NOT: and
12 entry:
13   %idxprom = sext i32 %i1 to i64
14   %0 = load i8** @block, align 8
15   %arrayidx = getelementptr inbounds i8* %0, i64 %idxprom
16   %1 = load i8* %arrayidx, align 1
17   %idxprom1 = sext i32 %i2 to i64
18   %arrayidx2 = getelementptr inbounds i8* %0, i64 %idxprom1
19   %2 = load i8* %arrayidx2, align 1
20   %cmp = icmp eq i8 %1, %2
21   br i1 %cmp, label %return, label %if.then
22
23 if.then:                                          ; preds = %entry
24   %cmp7 = icmp ugt i8 %1, %2
25   %conv9 = zext i1 %cmp7 to i8
26   br label %return
27
28 return:                                           ; preds = %entry, %if.then
29   %retval.0 = phi i8 [ %conv9, %if.then ], [ 1, %entry ]
30   ret i8 %retval.0
31 }