| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc -mtriple=x86_64-unknown-linux %s -o - | FileCheck %s |
| |
| @x = global i8 0, align 1 |
| @y = global i32 0, align 4 |
| @z = global i24 0, align 4 |
| |
| define void @PR35761(i32 %call) { |
| ; CHECK-LABEL: PR35761: |
| ; CHECK: # %bb.0: # %entry |
| ; CHECK-NEXT: movzbl {{.*}}(%rip), %eax |
| ; CHECK-NEXT: andl $1, %eax |
| ; CHECK-NEXT: movzbl {{.*}}(%rip), %ecx |
| ; CHECK-NEXT: xorl $255, %ecx |
| ; CHECK-NEXT: orl %eax, %ecx |
| ; CHECK-NEXT: movw %cx, {{.*}}(%rip) |
| ; CHECK-NEXT: movb $0, z+{{.*}}(%rip) |
| ; CHECK-NEXT: retq |
| entry: |
| %0 = load i8, i8* @x, align 1 |
| %tobool = trunc i8 %0 to i1 |
| %conv = zext i1 %tobool to i32 |
| %or = or i32 32767, %call |
| %neg = xor i32 %or, -1 |
| %neg1 = xor i32 %neg, -1 |
| %1 = load i32, i32* @y, align 4 |
| %xor = xor i32 %neg1, %1 |
| %or2 = or i32 %conv, %xor |
| %conv3 = trunc i32 %or2 to i8 |
| %bf.load = load i24, i24* @z, align 4 |
| %2 = zext i8 %conv3 to i24 |
| %bf.value = and i24 %2, 4194303 |
| store i24 %bf.value, i24* @z, align 2 |
| ret void |
| } |
| |