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*, i8** @block, align 8 15 %arrayidx = getelementptr inbounds i8, i8* %0, i64 %idxprom 16 %1 = load i8, i8* %arrayidx, align 1 17 %idxprom1 = sext i32 %i2 to i64 18 %arrayidx2 = getelementptr inbounds i8, i8* %0, i64 %idxprom1 19 %2 = load i8, 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 } 32