1*9880d681SAndroid Build Coastguard Worker; RUN: llc < %s -mtriple=x86_64-apple-darwin | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Workerdefine zeroext i1 @f1(i8* %x) { 4*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: f1: 5*9880d681SAndroid Build Coastguard Worker; CHECK: movb (%rdi), %al 6*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: ret 7*9880d681SAndroid Build Coastguard Worker 8*9880d681SAndroid Build Coastguard Workerentry: 9*9880d681SAndroid Build Coastguard Worker %0 = load i8, i8* %x, align 1, !range !0 10*9880d681SAndroid Build Coastguard Worker %tobool = trunc i8 %0 to i1 11*9880d681SAndroid Build Coastguard Worker ret i1 %tobool 12*9880d681SAndroid Build Coastguard Worker} 13*9880d681SAndroid Build Coastguard Worker 14*9880d681SAndroid Build Coastguard Workerdefine zeroext i1 @f2(i8* %x) { 15*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: f2: 16*9880d681SAndroid Build Coastguard Worker; CHECK: movb (%rdi), %al 17*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: ret 18*9880d681SAndroid Build Coastguard Worker 19*9880d681SAndroid Build Coastguard Workerentry: 20*9880d681SAndroid Build Coastguard Worker %0 = load i8, i8* %x, align 1, !range !0 21*9880d681SAndroid Build Coastguard Worker %tobool = icmp ne i8 %0, 0 22*9880d681SAndroid Build Coastguard Worker ret i1 %tobool 23*9880d681SAndroid Build Coastguard Worker} 24*9880d681SAndroid Build Coastguard Worker 25*9880d681SAndroid Build Coastguard Worker!0 = !{i8 0, i8 2} 26*9880d681SAndroid Build Coastguard Worker 27*9880d681SAndroid Build Coastguard Worker 28*9880d681SAndroid Build Coastguard Worker; check that we don't build a "trunc" from i1 to i1, which would assert. 29*9880d681SAndroid Build Coastguard Workerdefine zeroext i1 @f3(i1 %x) { 30*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: f3: 31*9880d681SAndroid Build Coastguard Worker 32*9880d681SAndroid Build Coastguard Workerentry: 33*9880d681SAndroid Build Coastguard Worker %tobool = icmp ne i1 %x, 0 34*9880d681SAndroid Build Coastguard Worker ret i1 %tobool 35*9880d681SAndroid Build Coastguard Worker} 36*9880d681SAndroid Build Coastguard Worker 37*9880d681SAndroid Build Coastguard Worker; check that we don't build a trunc when other bits are needed 38*9880d681SAndroid Build Coastguard Workerdefine zeroext i1 @f4(i32 %x) { 39*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: f4: 40*9880d681SAndroid Build Coastguard Worker; CHECK: and 41*9880d681SAndroid Build Coastguard Worker 42*9880d681SAndroid Build Coastguard Workerentry: 43*9880d681SAndroid Build Coastguard Worker %y = and i32 %x, 32768 44*9880d681SAndroid Build Coastguard Worker %z = icmp ne i32 %y, 0 45*9880d681SAndroid Build Coastguard Worker ret i1 %z 46*9880d681SAndroid Build Coastguard Worker} 47