13ef98bcdSJeremy Morse; RUN: opt -S -debugify -codegenprepare %s -o - | FileCheck %s --check-prefix=DEBUGIFY 23ef98bcdSJeremy Morse; RUN: opt -S -debugify -codegenprepare %s -o - --try-experimental-debuginfo-iterators | FileCheck %s --check-prefix=DEBUGIFY 33ef98bcdSJeremy Morse; 43ef98bcdSJeremy Morse; Copied from codegen-prepare-addrmode-sext.ll -- for the twoArgsNoPromotion 53ef98bcdSJeremy Morse; function, CGP attempts a type promotion transaction on the sext to replace 63ef98bcdSJeremy Morse; it with %add, but then rolls it back. This involves re-inserting the sext 73ef98bcdSJeremy Morse; instruction between two dbg.value intrinsics, and un-RAUWing the users of 83ef98bcdSJeremy Morse; the sext. 93ef98bcdSJeremy Morse; This test checks that this works correctly in both dbg.value mode, but also 103ef98bcdSJeremy Morse; RemoveDIs non-intrinsic debug-info mode. 113ef98bcdSJeremy Morse 123ef98bcdSJeremy Morsetarget datalayout = "e-i64:64-f80:128-s:64-n8:16:32:64-S128" 133ef98bcdSJeremy Morsetarget triple = "x86_64-apple-macosx" 143ef98bcdSJeremy Morse 153ef98bcdSJeremy Morse; DEBUGIFY-LABEL: @twoArgsNoPromotion 163ef98bcdSJeremy Morse; DEBUGIFY-NEXT: %add = add 17*09457270SStephen Tozer; DEBUGIFY-NEXT: #dbg_value(i32 %add, 183ef98bcdSJeremy Morse; DEBUGIFY-NEXT: %sextadd = sext 19*09457270SStephen Tozer; DEBUGIFY-NEXT: #dbg_value(i64 %sextadd, 203ef98bcdSJeremy Morse; DEBUGIFY-NEXT: %arrayidx = getelementptr 21*09457270SStephen Tozer; DEBUGIFY-NEXT: #dbg_value(ptr %arrayidx, 223ef98bcdSJeremy Morse; DEBUGIFY-NEXT: %res = load i8, 23*09457270SStephen Tozer; DEBUGIFY-NEXT: #dbg_value(i8 %res, 243ef98bcdSJeremy Morse; DEBUGIFY-NEXT: ret i8 %res, 253ef98bcdSJeremy Morsedefine i8 @twoArgsNoPromotion(i32 %arg1, i32 %arg2, ptr %base) { 263ef98bcdSJeremy Morse %add = add nsw i32 %arg1, %arg2 273ef98bcdSJeremy Morse %sextadd = sext i32 %add to i64 283ef98bcdSJeremy Morse %arrayidx = getelementptr inbounds i8, ptr %base, i64 %sextadd 293ef98bcdSJeremy Morse %res = load i8, ptr %arrayidx 303ef98bcdSJeremy Morse ret i8 %res 313ef98bcdSJeremy Morse} 323ef98bcdSJeremy Morse 33