1d3205bbcSTyker // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py
2*532dc62bSNikita Popov // RUN: %clang_cc1 -no-opaque-pointers %s -S -emit-llvm -triple x86_64-unknown-linux-gnu -o - | FileCheck %s
3d3205bbcSTyker
4d3205bbcSTyker // CHECK: @[[STR:.*]] = private unnamed_addr constant [45 x i8] c"_Generic selection expression should be fine\00", section "llvm.metadata"
5d3205bbcSTyker // CHECK-NEXT: @[[FILENAME:.*]] = private unnamed_addr constant {{.*}}, section "llvm.metadata"
6d3205bbcSTyker // CHECK-NEXT: @[[ARGS:.*]] = private unnamed_addr constant { i32 } zeroinitializer, section "llvm.metadata"
7d3205bbcSTyker
8d3205bbcSTyker // CHECK-LABEL: @_Z1fv(
9d3205bbcSTyker // CHECK-NEXT: entry:
10d3205bbcSTyker // CHECK-NEXT: [[N:%.*]] = alloca i32, align 4
11d3205bbcSTyker // CHECK-NEXT: [[J:%.*]] = alloca i32, align 4
12d3205bbcSTyker // CHECK-NEXT: store i32 10, i32* [[N]], align 4
13d3205bbcSTyker // CHECK-NEXT: [[J1:%.*]] = bitcast i32* [[J]] to i8*
14d3205bbcSTyker // CHECK-NEXT: call void @llvm.var.annotation(i8* [[J1]], i8* getelementptr inbounds ([45 x i8], [45 x i8]* @[[STR]], i32 0, i32 0), i8* getelementptr inbounds ([{{[0-9]+}} x i8], [{{[0-9]+}} x i8]* @[[FILENAME]], i32 0, i32 0), i32 {{.*}}, i8* bitcast ({ i32 }* @[[ARGS]] to i8*))
15d3205bbcSTyker // CHECK-NEXT: store i32 0, i32* [[J]], align 4
16d3205bbcSTyker // CHECK-NEXT: ret void
17d3205bbcSTyker //
f()18d3205bbcSTyker void f() {
19d3205bbcSTyker int n = 10;
20d3205bbcSTyker [[clang::annotate("_Generic selection expression should be fine", _Generic(n, int : 0, default : 1))]]
21d3205bbcSTyker int j = 0; // second arg should resolve to 0 fine
22d3205bbcSTyker }
23