15ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnara// RUN: %clang_cc1 -triple i386-unknown-unknown %s -emit-llvm -o - | FileCheck %s
25ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnara
35ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnaraint f();
45ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnaraint h();
55ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnara
65ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnaravoid t1() {
75ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnara  _Atomic(typeof((int (*)[f()]) h())) v;
85ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnara  // CHECK:      [[N:%.*]] = alloca i32*, align 4
95ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnara  // CHECK-NEXT: [[P:%.*]] = call i32 bitcast (i32 (...)* @f to i32 ()*)()
105ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnara  // CHECK-NEXT: [[P:%.*]] = call i32 bitcast (i32 (...)* @h to i32 ()*)()
115ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnara}
125ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnara
135ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnaravoid t2() {
145ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnara  typeof(typeof((int (*)[f()]) h())) v;
155ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnara  // CHECK:      [[N:%.*]] = alloca i32*, align 4
165ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnara  // CHECK-NEXT: [[P:%.*]] = call i32 bitcast (i32 (...)* @f to i32 ()*)()
175ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnara  // CHECK-NEXT: [[P:%.*]] = call i32 bitcast (i32 (...)* @h to i32 ()*)()
185ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnara}
195ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnara
205ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnaravoid t3(typeof((int (*)[f()]) h()) v) {
218844f454c7e4606578b763255a35c3a213219141NAKAMURA Takumi  // CHECK:      store i32* %v, i32** %{{[.0-9A-Za-z]+}}, align 4
225ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnara  // CHECK-NEXT: [[P:%.*]] = call i32 bitcast (i32 (...)* @f to i32 ()*)()
235ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnara  // CHECK-NEXT: [[P:%.*]] = call i32 bitcast (i32 (...)* @h to i32 ()*)()
245ff53b27dfd918a5d9943cd008de51edc8cbec2cAbramo Bagnara}
25