1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2; RUN: llc < %s -mtriple=x86_64-apple-darwin | FileCheck %s 3 4define zeroext i1 @f1(ptr %x) { 5; CHECK-LABEL: f1: 6; CHECK: ## %bb.0: ## %entry 7; CHECK-NEXT: movzbl (%rdi), %eax 8; CHECK-NEXT: retq 9 10entry: 11 %0 = load i8, ptr %x, align 1, !range !0, !noundef !{} 12 %tobool = trunc i8 %0 to i1 13 ret i1 %tobool 14} 15 16define zeroext i1 @f2(ptr %x) { 17; CHECK-LABEL: f2: 18; CHECK: ## %bb.0: ## %entry 19; CHECK-NEXT: movzbl (%rdi), %eax 20; CHECK-NEXT: retq 21 22entry: 23 %0 = load i8, ptr %x, align 1, !range !0, !noundef !{} 24 %tobool = icmp ne i8 %0, 0 25 ret i1 %tobool 26} 27 28!0 = !{i8 0, i8 2} 29 30 31; check that we don't build a "trunc" from i1 to i1, which would assert. 32define zeroext i1 @f3(i1 %x) { 33; CHECK-LABEL: f3: 34; CHECK: ## %bb.0: ## %entry 35; CHECK-NEXT: movl %edi, %eax 36; CHECK-NEXT: andb $1, %al 37; CHECK-NEXT: ## kill: def $al killed $al killed $eax 38; CHECK-NEXT: retq 39 40entry: 41 %tobool = icmp ne i1 %x, 0 42 ret i1 %tobool 43} 44 45; check that we don't build a trunc when other bits are needed 46define zeroext i1 @f4(i32 %x) { 47; CHECK-LABEL: f4: 48; CHECK: ## %bb.0: ## %entry 49; CHECK-NEXT: movzwl %di, %eax 50; CHECK-NEXT: shrl $15, %eax 51; CHECK-NEXT: ## kill: def $al killed $al killed $eax 52; CHECK-NEXT: retq 53 54entry: 55 %y = and i32 %x, 32768 56 %z = icmp ne i32 %y, 0 57 ret i1 %z 58} 59