Skip to content

Commit 55ac332

Browse files
smeenaismeenai
committed
Revert "Revert "[Clang] Generate test checks (NFC)""
This reverts commit 3bb7ecc. The revert breaks AMDGPU backend tests (which I didn't have enabled locally), and I don't want to risk more breakages before the weekend, so just restore things as they were.
1 parent 3bb7ecc commit 55ac332

File tree

1 file changed

+92
-25
lines changed

1 file changed

+92
-25
lines changed

‎clang/test/Analysis/builtin_signbit.cpp

Lines changed: 92 additions & 25 deletions
Original file line numberDiff line numberDiff line change
@@ -1,46 +1,113 @@
1+
// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 3
12
// RUN: %clang -target powerpc-linux-gnu -emit-llvm -S -mabi=ibmlongdouble \
2-
// RUN: -O0 %s -o - | FileCheck %s --check-prefixes=CHECK,CHECK-BE
3+
// RUN: -O0 %s -o - | FileCheck %s --check-prefixes=CHECK-BE32
34
// RUN: %clang -target powerpc64-linux-gnu -emit-llvm -S -mabi=ibmlongdouble \
4-
// RUN: -O0 %s -o - | FileCheck %s --check-prefixes=CHECK,CHECK-BE
5+
// RUN: -O0 %s -o - | FileCheck %s --check-prefixes=CHECK-BE64
56
// RUN: %clang -target powerpc64le-linux-gnu -emit-llvm -S -mabi=ibmlongdouble \
6-
// RUN: -O0 %s -o - | FileCheck %s --check-prefixes=CHECK,CHECK-LE
7+
// RUN: -O0 %s -o - | FileCheck %s --check-prefixes=CHECK-LE
78

89
bool b;
910
double d = -1.0;
1011
long double ld = -1.0L;
12+
// CHECK-BE32-LABEL: define dso_local void @_Z12test_signbitv(
13+
// CHECK-BE32-SAME: ) #[[ATTR0:[0-9]+]] {
14+
// CHECK-BE32-NEXT: entry:
15+
// CHECK-BE32-NEXT: [[FROMBOOL:%.*]] = zext i1 icmp slt (i64 trunc (i128 lshr (i128 bitcast (ppc_fp128 0xM3FF00000000000000000000000000000 to i128), i128 64) to i64), i64 0) to i8
16+
// CHECK-BE32-NEXT: store i8 [[FROMBOOL]], ptr @b, align 1
17+
// CHECK-BE32-NEXT: [[TMP0:%.*]] = load ppc_fp128, ptr @ld, align 16
18+
// CHECK-BE32-NEXT: [[TMP1:%.*]] = bitcast ppc_fp128 [[TMP0]] to i128
19+
// CHECK-BE32-NEXT: [[TMP2:%.*]] = lshr i128 [[TMP1]], 64
20+
// CHECK-BE32-NEXT: [[TMP3:%.*]] = trunc i128 [[TMP2]] to i64
21+
// CHECK-BE32-NEXT: [[TMP4:%.*]] = icmp slt i64 [[TMP3]], 0
22+
// CHECK-BE32-NEXT: [[FROMBOOL1:%.*]] = zext i1 [[TMP4]] to i8
23+
// CHECK-BE32-NEXT: store i8 [[FROMBOOL1]], ptr @b, align 1
24+
// CHECK-BE32-NEXT: store i8 0, ptr @b, align 1
25+
// CHECK-BE32-NEXT: [[TMP5:%.*]] = load double, ptr @d, align 8
26+
// CHECK-BE32-NEXT: [[CONV:%.*]] = fptrunc double [[TMP5]] to float
27+
// CHECK-BE32-NEXT: [[TMP6:%.*]] = bitcast float [[CONV]] to i32
28+
// CHECK-BE32-NEXT: [[TMP7:%.*]] = icmp slt i32 [[TMP6]], 0
29+
// CHECK-BE32-NEXT: [[FROMBOOL2:%.*]] = zext i1 [[TMP7]] to i8
30+
// CHECK-BE32-NEXT: store i8 [[FROMBOOL2]], ptr @b, align 1
31+
// CHECK-BE32-NEXT: [[FROMBOOL3:%.*]] = zext i1 icmp slt (i64 trunc (i128 lshr (i128 bitcast (ppc_fp128 0xM3FF00000000000000000000000000000 to i128), i128 64) to i64), i64 0) to i8
32+
// CHECK-BE32-NEXT: store i8 [[FROMBOOL3]], ptr @b, align 1
33+
// CHECK-BE32-NEXT: [[TMP8:%.*]] = load ppc_fp128, ptr @ld, align 16
34+
// CHECK-BE32-NEXT: [[TMP9:%.*]] = bitcast ppc_fp128 [[TMP8]] to i128
35+
// CHECK-BE32-NEXT: [[TMP10:%.*]] = lshr i128 [[TMP9]], 64
36+
// CHECK-BE32-NEXT: [[TMP11:%.*]] = trunc i128 [[TMP10]] to i64
37+
// CHECK-BE32-NEXT: [[TMP12:%.*]] = icmp slt i64 [[TMP11]], 0
38+
// CHECK-BE32-NEXT: [[FROMBOOL4:%.*]] = zext i1 [[TMP12]] to i8
39+
// CHECK-BE32-NEXT: store i8 [[FROMBOOL4]], ptr @b, align 1
40+
// CHECK-BE32-NEXT: ret void
41+
//
42+
// CHECK-BE64-LABEL: define dso_local void @_Z12test_signbitv(
43+
// CHECK-BE64-SAME: ) #[[ATTR0:[0-9]+]] {
44+
// CHECK-BE64-NEXT: entry:
45+
// CHECK-BE64-NEXT: [[FROMBOOL:%.*]] = zext i1 icmp slt (i64 trunc (i128 lshr (i128 bitcast (ppc_fp128 0xM3FF00000000000000000000000000000 to i128), i128 64) to i64), i64 0) to i8
46+
// CHECK-BE64-NEXT: store i8 [[FROMBOOL]], ptr @b, align 1
47+
// CHECK-BE64-NEXT: [[TMP0:%.*]] = load ppc_fp128, ptr @ld, align 16
48+
// CHECK-BE64-NEXT: [[TMP1:%.*]] = bitcast ppc_fp128 [[TMP0]] to i128
49+
// CHECK-BE64-NEXT: [[TMP2:%.*]] = lshr i128 [[TMP1]], 64
50+
// CHECK-BE64-NEXT: [[TMP3:%.*]] = trunc i128 [[TMP2]] to i64
51+
// CHECK-BE64-NEXT: [[TMP4:%.*]] = icmp slt i64 [[TMP3]], 0
52+
// CHECK-BE64-NEXT: [[FROMBOOL1:%.*]] = zext i1 [[TMP4]] to i8
53+
// CHECK-BE64-NEXT: store i8 [[FROMBOOL1]], ptr @b, align 1
54+
// CHECK-BE64-NEXT: store i8 0, ptr @b, align 1
55+
// CHECK-BE64-NEXT: [[TMP5:%.*]] = load double, ptr @d, align 8
56+
// CHECK-BE64-NEXT: [[CONV:%.*]] = fptrunc double [[TMP5]] to float
57+
// CHECK-BE64-NEXT: [[TMP6:%.*]] = bitcast float [[CONV]] to i32
58+
// CHECK-BE64-NEXT: [[TMP7:%.*]] = icmp slt i32 [[TMP6]], 0
59+
// CHECK-BE64-NEXT: [[FROMBOOL2:%.*]] = zext i1 [[TMP7]] to i8
60+
// CHECK-BE64-NEXT: store i8 [[FROMBOOL2]], ptr @b, align 1
61+
// CHECK-BE64-NEXT: [[FROMBOOL3:%.*]] = zext i1 icmp slt (i64 trunc (i128 lshr (i128 bitcast (ppc_fp128 0xM3FF00000000000000000000000000000 to i128), i128 64) to i64), i64 0) to i8
62+
// CHECK-BE64-NEXT: store i8 [[FROMBOOL3]], ptr @b, align 1
63+
// CHECK-BE64-NEXT: [[TMP8:%.*]] = load ppc_fp128, ptr @ld, align 16
64+
// CHECK-BE64-NEXT: [[TMP9:%.*]] = bitcast ppc_fp128 [[TMP8]] to i128
65+
// CHECK-BE64-NEXT: [[TMP10:%.*]] = lshr i128 [[TMP9]], 64
66+
// CHECK-BE64-NEXT: [[TMP11:%.*]] = trunc i128 [[TMP10]] to i64
67+
// CHECK-BE64-NEXT: [[TMP12:%.*]] = icmp slt i64 [[TMP11]], 0
68+
// CHECK-BE64-NEXT: [[FROMBOOL4:%.*]] = zext i1 [[TMP12]] to i8
69+
// CHECK-BE64-NEXT: store i8 [[FROMBOOL4]], ptr @b, align 1
70+
// CHECK-BE64-NEXT: ret void
71+
//
72+
// CHECK-LE-LABEL: define dso_local void @_Z12test_signbitv(
73+
// CHECK-LE-SAME: ) #[[ATTR0:[0-9]+]] {
74+
// CHECK-LE-NEXT: entry:
75+
// CHECK-LE-NEXT: [[FROMBOOL:%.*]] = zext i1 icmp slt (i64 trunc (i128 bitcast (ppc_fp128 0xM3FF00000000000000000000000000000 to i128) to i64), i64 0) to i8
76+
// CHECK-LE-NEXT: store i8 [[FROMBOOL]], ptr @b, align 1
77+
// CHECK-LE-NEXT: [[TMP0:%.*]] = load ppc_fp128, ptr @ld, align 16
78+
// CHECK-LE-NEXT: [[TMP1:%.*]] = bitcast ppc_fp128 [[TMP0]] to i128
79+
// CHECK-LE-NEXT: [[TMP2:%.*]] = trunc i128 [[TMP1]] to i64
80+
// CHECK-LE-NEXT: [[TMP3:%.*]] = icmp slt i64 [[TMP2]], 0
81+
// CHECK-LE-NEXT: [[FROMBOOL1:%.*]] = zext i1 [[TMP3]] to i8
82+
// CHECK-LE-NEXT: store i8 [[FROMBOOL1]], ptr @b, align 1
83+
// CHECK-LE-NEXT: store i8 0, ptr @b, align 1
84+
// CHECK-LE-NEXT: [[TMP4:%.*]] = load double, ptr @d, align 8
85+
// CHECK-LE-NEXT: [[CONV:%.*]] = fptrunc double [[TMP4]] to float
86+
// CHECK-LE-NEXT: [[TMP5:%.*]] = bitcast float [[CONV]] to i32
87+
// CHECK-LE-NEXT: [[TMP6:%.*]] = icmp slt i32 [[TMP5]], 0
88+
// CHECK-LE-NEXT: [[FROMBOOL2:%.*]] = zext i1 [[TMP6]] to i8
89+
// CHECK-LE-NEXT: store i8 [[FROMBOOL2]], ptr @b, align 1
90+
// CHECK-LE-NEXT: [[FROMBOOL3:%.*]] = zext i1 icmp slt (i64 trunc (i128 bitcast (ppc_fp128 0xM3FF00000000000000000000000000000 to i128) to i64), i64 0) to i8
91+
// CHECK-LE-NEXT: store i8 [[FROMBOOL3]], ptr @b, align 1
92+
// CHECK-LE-NEXT: [[TMP7:%.*]] = load ppc_fp128, ptr @ld, align 16
93+
// CHECK-LE-NEXT: [[TMP8:%.*]] = bitcast ppc_fp128 [[TMP7]] to i128
94+
// CHECK-LE-NEXT: [[TMP9:%.*]] = trunc i128 [[TMP8]] to i64
95+
// CHECK-LE-NEXT: [[TMP10:%.*]] = icmp slt i64 [[TMP9]], 0
96+
// CHECK-LE-NEXT: [[FROMBOOL4:%.*]] = zext i1 [[TMP10]] to i8
97+
// CHECK-LE-NEXT: store i8 [[FROMBOOL4]], ptr @b, align 1
98+
// CHECK-LE-NEXT: ret void
99+
//
11100
void test_signbit()
12101
{
13102
b = __builtin_signbit(1.0L);
14-
// CHECK: i128
15-
// CHECK-LE-NOT: lshr
16-
// CHECK-BE: lshr
17-
// CHECK: bitcast
18-
// CHECK: ppc_fp128
19103

20104
b = __builtin_signbit(ld);
21-
// CHECK: bitcast
22-
// CHECK: ppc_fp128
23-
// CHECK-LE-NOT: lshr
24-
// CHECK-BE: lshr
25105

26106
b = __builtin_signbitf(1.0);
27-
// CHECK: store i8 0
28107

29108
b = __builtin_signbitf(d);
30-
// CHECK: bitcast
31-
// CHECK-LE-NOT: lshr
32-
// CHECK-BE-NOT: lshr
33109

34110
b = __builtin_signbitl(1.0L);
35-
// CHECK: i128
36-
// CHECK-LE-NOT: lshr
37-
// CHECK-BE: lshr
38-
// CHECK: bitcast
39-
// CHECK: ppc_fp128
40111

41112
b = __builtin_signbitl(ld);
42-
// CHECK: bitcast
43-
// CHECK: ppc_fp128
44-
// CHECK-LE-NOT: lshr
45-
// CHECK-BE: lshr
46113
}

0 commit comments

Comments
 (0)