| ; RUN: llc < %s -mtriple=x86_64-apple-darwin | FileCheck %s |
| define zeroext i1 @f1(i8* %x) { |
| ; CHECK: movb (%rdi), %al |
| %0 = load i8* %x, align 1, !range !0 |
| %tobool = trunc i8 %0 to i1 |
| define zeroext i1 @f2(i8* %x) { |
| ; CHECK: movb (%rdi), %al |
| %0 = load i8* %x, align 1, !range !0 |
| %tobool = icmp ne i8 %0, 0 |
| !0 = metadata !{i8 0, i8 2} |
| ; check that we don't build a "trunc" from i1 to i1, which would assert. |
| define zeroext i1 @f3(i1 %x) { |
| %tobool = icmp ne i1 %x, 0 |
| ; check that we don't build a trunc when other bits are needed |
| define zeroext i1 @f4(i32 %x) { |