61 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -o - %s -mtriple=x86_64--unknown-linux-gnu | FileCheck %s3 4; When compiled and run this should print zero.5 6 7@c = common dso_local local_unnamed_addr global i32 0, align 48@f = common dso_local local_unnamed_addr global i32 0, align 49@e = common dso_local local_unnamed_addr global i32 0, align 410@.str.1 = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 111 12; We should only see a single store to f (a bytes store to f+3).13define dso_local void @k(i32 %l) {14; CHECK-LABEL: k:15; CHECK: # %bb.0:16; CHECK-NEXT: movl e(%rip), %eax17; CHECK-NEXT: orl f(%rip), %eax18; CHECK-NEXT: shrl $24, %eax19; CHECK-NEXT: movb %al, f+3(%rip)20; CHECK-NEXT: retq21 %load = load i32, ptr @c, align 422 %load6 = load i32, ptr @f, align 423 %clear7 = and i32 %load6, 1677721524 store i32 %clear7, ptr @c, align 425 %neg = and i32 %load6, 209715126 %value = xor i32 %neg, 209715127 store i32 %load, ptr @c, align 428 %t0 = load i32, ptr @e, align 429 %value15 = xor i32 %t0, %value30 %clear16 = and i32 %load6, -1677721631 %set17 = or i32 %value15, %clear1632 store i32 %set17, ptr @f, align 433 %clear25 = and i32 %set17, -1677721634 %set26 = or i32 %clear25, %clear735 store i32 %set26, ptr @f, align 436 ret void37}38 39declare i32 @printf(ptr nocapture readonly, ...)40 41define dso_local i32 @main() {42; CHECK-LABEL: main:43; CHECK: # %bb.0:44; CHECK-NEXT: pushq %rax45; CHECK-NEXT: .cfi_def_cfa_offset 1646; CHECK-NEXT: movl $1, %edi47; CHECK-NEXT: callq k48; CHECK-NEXT: movl f(%rip), %esi49; CHECK-NEXT: movl $.L.str.1, %edi50; CHECK-NEXT: xorl %eax, %eax51; CHECK-NEXT: callq printf@PLT52; CHECK-NEXT: xorl %eax, %eax53; CHECK-NEXT: popq %rcx54; CHECK-NEXT: .cfi_def_cfa_offset 855; CHECK-NEXT: retq56 tail call void @k(i32 1)57 %load = load i32, ptr @f, align 458 %call = tail call i32 (ptr, ...) @printf(ptr @.str.1, i32 %load)59 ret i32 060}61