xref: /llvm-project/clang/test/CodeGen/dominating-store-to-return.c (revision 0f0623ab87e9041fe0df1e788958330a2787a494)
1 // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py
2 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm %s -o - | FileCheck %s --check-prefix=NO-LIFETIME
3 // RUN: %clang_cc1 -O1 -disable-llvm-optzns -triple x86_64-unknown-unknown -emit-llvm %s -o - | FileCheck %s --check-prefix=LIFETIME
4 
5 // NO-LIFETIME-LABEL: @main(
6 // NO-LIFETIME-NEXT:  entry:
7 // NO-LIFETIME-NEXT:    [[RETVAL:%.*]] = alloca i32, align 4
8 // NO-LIFETIME-NEXT:    [[FOO:%.*]] = alloca i32, align 4
9 // NO-LIFETIME-NEXT:    [[FOO2:%.*]] = alloca i32, align 4
10 // NO-LIFETIME-NEXT:    store i32 0, ptr [[RETVAL]], align 4
11 // NO-LIFETIME-NEXT:    ret i32 0
12 //
13 // LIFETIME-LABEL: @main(
14 // LIFETIME-NEXT:  entry:
15 // LIFETIME-NEXT:    [[RETVAL:%.*]] = alloca i32, align 4
16 // LIFETIME-NEXT:    [[FOO:%.*]] = alloca i32, align 4
17 // LIFETIME-NEXT:    [[FOO2:%.*]] = alloca i32, align 4
18 // LIFETIME-NEXT:    store i32 0, ptr [[RETVAL]], align 4
19 // LIFETIME-NEXT:    call void @llvm.lifetime.start.p0(i64 4, ptr [[FOO]]) #[[ATTR2:[0-9]+]]
20 // LIFETIME-NEXT:    call void @llvm.lifetime.start.p0(i64 4, ptr [[FOO2]]) #[[ATTR2]]
21 // LIFETIME-NEXT:    call void @llvm.lifetime.end.p0(i64 4, ptr [[FOO2]]) #[[ATTR2]]
22 // LIFETIME-NEXT:    call void @llvm.lifetime.end.p0(i64 4, ptr [[FOO]]) #[[ATTR2]]
23 // LIFETIME-NEXT:    ret i32 0
24 //
main()25 int main() {
26   unsigned foo, foo2;
27   return 0;
28 }
29