42 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -S -passes='move-auto-init' -verify-memoryssa | FileCheck %s3 4@__const.foo.buffer = private unnamed_addr constant [8 x i32] [i32 -1431655766, i32 -1431655766, i32 -1431655766, i32 -1431655766, i32 -1431655766, i32 -1431655766, i32 -1431655766, i32 -1431655766], align 165 6define void @foo(i32 %x) {7; CHECK-LABEL: @foo(8; CHECK-NEXT: entry:9; CHECK-NEXT: [[BUFFER:%.*]] = alloca [8 x i32], align 1610; CHECK-NEXT: [[TOBOOL:%.*]] = icmp ne i32 [[X:%.*]], 011; CHECK-NEXT: br i1 [[TOBOOL]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]12; CHECK: if.then:13; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 16 [[BUFFER]], ptr align 16 @__const.foo.buffer, i64 32, i1 false), !annotation !014; CHECK-NEXT: call void @dump(ptr [[BUFFER]])15; CHECK-NEXT: br label [[IF_END]]16; CHECK: if.end:17; CHECK-NEXT: ret void18;19 20entry:21 %buffer = alloca [8 x i32], align 1622 call void @llvm.memcpy.p0.p0.i64(ptr align 16 %buffer, ptr align 16 @__const.foo.buffer, i64 32, i1 false), !annotation !023 %tobool = icmp ne i32 %x, 024 br i1 %tobool, label %if.then, label %if.end25 26if.then: ; preds = %entry27 call void @dump(ptr %buffer)28 br label %if.end29 30if.end: ; preds = %if.then, %entry31 ret void32}33 34 35 36declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg)37 38declare void @dump(ptr)39 40!0 = !{!"auto-init"}41 42