| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py | |
| ; RUN: llc < %s -mtriple=x86_64-- | FileCheck %s | |
| ; PR46195 - https://bugs.llvm.org/show_bug.cgi?id=46195 | |
| ; It is not safe to sink the load after the call. | |
| define void @translate(ptr %ptr) nounwind { | |
| ; CHECK-LABEL: translate: | |
| ; CHECK: # %bb.0: | |
| ; CHECK-NEXT: pushq %rbp | |
| ; CHECK-NEXT: pushq %rbx | |
| ; CHECK-NEXT: pushq %rax | |
| ; CHECK-NEXT: movq %rdi, %rbx | |
| ; CHECK-NEXT: movl $-32707, %ebp # imm = 0x803D | |
| ; CHECK-NEXT: andl (%rdi), %ebp | |
| ; CHECK-NEXT: callq maybe_mutate@PLT | |
| ; CHECK-NEXT: orl $514, %ebp # imm = 0x202 | |
| ; CHECK-NEXT: movw %bp, (%rbx) | |
| ; CHECK-NEXT: addq $8, %rsp | |
| ; CHECK-NEXT: popq %rbx | |
| ; CHECK-NEXT: popq %rbp | |
| ; CHECK-NEXT: retq | |
| %i0 = load i16, ptr %ptr, align 4 | |
| call void @maybe_mutate(ptr %ptr) | |
| %i1 = and i16 %i0, -32707 | |
| %i2 = or i16 %i1, 514 | |
| store i16 %i2, ptr %ptr, align 4 | |
| ret void | |
| } | |
| declare void @maybe_mutate(ptr) |