File: n809_2.c

package info (click to toggle)
llvm-toolchain-19 1%3A19.1.7-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,998,520 kB
  • sloc: cpp: 6,951,680; ansic: 1,486,157; asm: 913,598; python: 232,024; f90: 80,126; objc: 75,281; lisp: 37,276; pascal: 16,990; sh: 10,009; ml: 5,058; perl: 4,724; awk: 3,523; makefile: 3,167; javascript: 2,504; xml: 892; fortran: 664; cs: 573
file content (64 lines) | stat: -rw-r--r-- 2,678 bytes parent folder | download | duplicates (7)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
// RUN: %clang_cc1 -ast-dump -std=c99 %s | FileCheck %s

void variadic(int i, ...);

void func(void) {
  // CHECK: FunctionDecl {{.*}} func 'void (void)'

  // Show that we correctly convert between two complex domains.
  _Complex float cf = 1.0f;
  _Complex double cd;

  cd = cf;
  // CHECK: BinaryOperator {{.*}} '_Complex double' '='
  // CHECK-NEXT: DeclRefExpr {{.*}} 'cd'
  // CHECK-NEXT: ImplicitCastExpr {{.*}} '_Complex double' <FloatingComplexCast>
  // CHECK-NEXT: ImplicitCastExpr {{.*}} '_Complex float' <LValueToRValue>
  // CHECK-NEXT: DeclRefExpr {{.*}} 'cf'

  cf = cd;
  // CHECK: BinaryOperator {{.*}} '_Complex float' '='
  // CHECK-NEXT: DeclRefExpr {{.*}} 'cf'
  // CHECK-NEXT: ImplicitCastExpr {{.*}} '_Complex float' <FloatingComplexCast>
  // CHECK-NEXT: ImplicitCastExpr {{.*}} '_Complex double' <LValueToRValue>
  // CHECK-NEXT: DeclRefExpr {{.*}} 'cd'

  // Show that we correctly convert to the common type of a complex and real.
  // This should convert the _Complex float to a _Complex double ("without
  // change of domain" c.f. C99 6.3.1.8p1).
  (void)(cf + 1.0);
  // CHECK: BinaryOperator {{.*}} '_Complex double' '+'
  // CHECK-NEXT: ImplicitCastExpr {{.*}} '_Complex double' <FloatingComplexCast>
  // CHECK-NEXT: ImplicitCastExpr {{.*}} '_Complex float' <LValueToRValue>
  // CHECK-NEXT: DeclRefExpr {{.*}} 'cf'
  // CHECK-NEXT: FloatingLiteral {{.*}} 'double' 1.0

  // This should convert the float constant to double, then produce a
  // _Complex double.
  (void)(cd + 1.0f);
  // CHECK: BinaryOperator {{.*}} '_Complex double' '+'
  // CHECK-NEXT: ImplicitCastExpr {{.*}} '_Complex double' <LValueToRValue>
  // CHECK-NEXT: DeclRefExpr {{.*}} 'cd'
  // CHECK-NEXT: ImplicitCastExpr {{.*}} 'double' <FloatingCast>
  // CHECK-NEXT: FloatingLiteral {{.*}} 'float' 1.0

  // This should convert the int constant to float, then produce a
  // _Complex float.
  (void)(cf + 1);
  // CHECK: BinaryOperator {{.*}} '_Complex float' '+'
  // CHECK-NEXT: ImplicitCastExpr {{.*}} '_Complex float' <LValueToRValue>
  // CHECK-NEXT: DeclRefExpr {{.*}} 'cf'
  // CHECK-NEXT: ImplicitCastExpr {{.*}} 'float' <IntegralToFloating>
  // CHECK-NEXT: IntegerLiteral {{.*}} 'int' 1

  // Show that we do not promote a _Complex float to _Complex double as part of
  // the default argument promotions when passing to a variadic function.
  variadic(1, cf);
  // CHECK: CallExpr
  // CHECK-NEXT: ImplicitCastExpr {{.*}} <FunctionToPointerDecay>
  // CHECK-NEXT: DeclRefExpr {{.*}} 'variadic'
  // CHECK-NEXT: IntegerLiteral {{.*}} 'int' 1
  // CHECK-NEXT: ImplicitCastExpr {{.*}} '_Complex float' <LValueToRValue>
  // CHECK-NEXT: DeclRefExpr {{.*}} 'cf'
}