1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 3 2; RUN: opt -mtriple aarch64 -aggressive-instcombine-max-scan-instrs=1 -passes="aggressive-instcombine" -S < %s | FileCheck %s -check-prefix DBG 3; RUN: opt -strip-debug -mtriple aarch64 -aggressive-instcombine-max-scan-instrs=1 -passes="aggressive-instcombine" -S < %s | FileCheck %s -check-prefix NODBG 4 5; The DBG and NODBG cases should be the same. I.e. we should optimize the DBG 6; 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 1 13@l = global %s zeroinitializer, align 1 14 15define void @test() { 16; DBG-LABEL: define void @test() { 17; DBG-NEXT: entry: 18; DBG-NEXT: [[L1:%.*]] = load i32, ptr @e, align 1 19; DBG-NEXT: #dbg_value(i32 poison, [[META3:![0-9]+]], !DIExpression(), [[META5:![0-9]+]]) 20; DBG-NEXT: store i32 [[L1]], ptr @l, align 1 21; DBG-NEXT: ret void 22; 23; NODBG-LABEL: define void @test() { 24; NODBG-NEXT: entry: 25; NODBG-NEXT: [[L1:%.*]] = load i32, ptr @e, align 1 26; NODBG-NEXT: store i32 [[L1]], ptr @l, align 1 27; NODBG-NEXT: ret void 28; 29entry: 30 %l1 = load i16, ptr @e, align 1 31 call void @llvm.dbg.value(metadata i32 poison, metadata !3, metadata !DIExpression()), !dbg !5 32 %l2 = load i16, ptr getelementptr inbounds (%s, ptr @e, i16 0, i32 1), align 1 33 %e2 = zext i16 %l2 to i32 34 %e1 = zext i16 %l1 to i32 35 %s1 = shl nuw i32 %e1, 16 36 %o1 = or i32 %s1, %e2 37 store i32 %o1, ptr @l, align 1 38 ret void 39} 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