1 ; RUN: llc -debugify-check-and-strip-all-safe -o - %s 2>&1 | FileCheck %s
4 source_filename = "main.c"
6 @ga = dso_local global i32 2, align 4
8 define dso_local i32 @foo(i32 %a, i32 %b) {
10 %a.addr = alloca i32, align 4
11 %b.addr = alloca i32, align 4
12 %c = alloca i32, align 4
13 store i32 %a, i32* %a.addr, align 4
14 store i32 %b, i32* %b.addr, align 4
15 %0 = load i32, i32* %a.addr, align 4
16 %1 = load i32, i32* %b.addr, align 4
17 %add = add nsw i32 %0, %1
18 store i32 %add, i32* %c, align 4
19 %2 = load i32, i32* %c, align 4
20 %mul = mul nsw i32 %2, 2
21 store i32 %mul, i32* @ga, align 4
22 %3 = load i32, i32* %c, align 4
26 ; Different Back-Ends may have different number of passes, here we only
27 ; check two of them to make sure -debugify-check-and-strip-all-safe works.
28 ;CHECK: Machine IR debug info check: PASS
29 ;CHECK: Machine IR debug info check: PASS