52 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 32; RUN: opt -mtriple aarch64 -aggressive-instcombine-max-scan-instrs=1 -passes="aggressive-instcombine" -S < %s | FileCheck %s -check-prefix DBG3; RUN: opt -strip-debug -mtriple aarch64 -aggressive-instcombine-max-scan-instrs=1 -passes="aggressive-instcombine" -S < %s | FileCheck %s -check-prefix NODBG4 5; The DBG and NODBG cases should be the same. I.e. we should optimize the DBG6; case too even if there is a dbg.value.7 8target datalayout = "E"9 10%s = type { i16, i16 }11 12@e = global %s zeroinitializer, align 113@l = global %s zeroinitializer, align 114 15define void @test() {16; DBG-LABEL: define void @test() {17; DBG-NEXT: entry:18; DBG-NEXT: [[L1:%.*]] = load i32, ptr @e, align 119; DBG-NEXT: #dbg_value(i32 poison, [[META3:![0-9]+]], !DIExpression(), [[META5:![0-9]+]])20; DBG-NEXT: store i32 [[L1]], ptr @l, align 121; DBG-NEXT: ret void22;23; NODBG-LABEL: define void @test() {24; NODBG-NEXT: entry:25; NODBG-NEXT: [[L1:%.*]] = load i32, ptr @e, align 126; NODBG-NEXT: store i32 [[L1]], ptr @l, align 127; NODBG-NEXT: ret void28;29entry:30 %l1 = load i16, ptr @e, align 131 call void @llvm.dbg.value(metadata i32 poison, metadata !3, metadata !DIExpression()), !dbg !532 %l2 = load i16, ptr getelementptr inbounds (%s, ptr @e, i16 0, i32 1), align 133 %e2 = zext i16 %l2 to i3234 %e1 = zext i16 %l1 to i3235 %s1 = shl nuw i32 %e1, 1636 %o1 = or i32 %s1, %e237 store i32 %o1, ptr @l, align 138 ret void39}40 41declare void @llvm.dbg.value(metadata, metadata, metadata)42 43!llvm.dbg.cu = !{!0}44!llvm.module.flags = !{!2}45 46!0 = distinct !DICompileUnit(language: DW_LANG_C11, file: !1)47!1 = !DIFile(filename: "foo.c", directory: "/")48!2 = !{i32 2, !"Debug Info Version", i32 3}49!3 = !DILocalVariable(scope: !4)50!4 = distinct !DISubprogram(unit: !0)51!5 = !DILocation(scope: !4)52