-
Notifications
You must be signed in to change notification settings - Fork 10.8k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
1 changed file
with
92 additions
and
25 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,46 +1,113 @@ | ||
// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 3 | ||
// RUN: %clang -target powerpc-linux-gnu -emit-llvm -S -mabi=ibmlongdouble \ | ||
// RUN: -O0 %s -o - | FileCheck %s --check-prefixes=CHECK,CHECK-BE | ||
// RUN: -O0 %s -o - | FileCheck %s --check-prefixes=CHECK-BE32 | ||
// RUN: %clang -target powerpc64-linux-gnu -emit-llvm -S -mabi=ibmlongdouble \ | ||
// RUN: -O0 %s -o - | FileCheck %s --check-prefixes=CHECK,CHECK-BE | ||
// RUN: -O0 %s -o - | FileCheck %s --check-prefixes=CHECK-BE64 | ||
// RUN: %clang -target powerpc64le-linux-gnu -emit-llvm -S -mabi=ibmlongdouble \ | ||
// RUN: -O0 %s -o - | FileCheck %s --check-prefixes=CHECK,CHECK-LE | ||
// RUN: -O0 %s -o - | FileCheck %s --check-prefixes=CHECK-LE | ||
|
||
bool b; | ||
double d = -1.0; | ||
long double ld = -1.0L; | ||
// CHECK-BE32-LABEL: define dso_local void @_Z12test_signbitv( | ||
// CHECK-BE32-SAME: ) #[[ATTR0:[0-9]+]] { | ||
// CHECK-BE32-NEXT: entry: | ||
// 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 | ||
// CHECK-BE32-NEXT: store i8 [[FROMBOOL]], ptr @b, align 1 | ||
// CHECK-BE32-NEXT: [[TMP0:%.*]] = load ppc_fp128, ptr @ld, align 16 | ||
// CHECK-BE32-NEXT: [[TMP1:%.*]] = bitcast ppc_fp128 [[TMP0]] to i128 | ||
// CHECK-BE32-NEXT: [[TMP2:%.*]] = lshr i128 [[TMP1]], 64 | ||
// CHECK-BE32-NEXT: [[TMP3:%.*]] = trunc i128 [[TMP2]] to i64 | ||
// CHECK-BE32-NEXT: [[TMP4:%.*]] = icmp slt i64 [[TMP3]], 0 | ||
// CHECK-BE32-NEXT: [[FROMBOOL1:%.*]] = zext i1 [[TMP4]] to i8 | ||
// CHECK-BE32-NEXT: store i8 [[FROMBOOL1]], ptr @b, align 1 | ||
// CHECK-BE32-NEXT: store i8 0, ptr @b, align 1 | ||
// CHECK-BE32-NEXT: [[TMP5:%.*]] = load double, ptr @d, align 8 | ||
// CHECK-BE32-NEXT: [[CONV:%.*]] = fptrunc double [[TMP5]] to float | ||
// CHECK-BE32-NEXT: [[TMP6:%.*]] = bitcast float [[CONV]] to i32 | ||
// CHECK-BE32-NEXT: [[TMP7:%.*]] = icmp slt i32 [[TMP6]], 0 | ||
// CHECK-BE32-NEXT: [[FROMBOOL2:%.*]] = zext i1 [[TMP7]] to i8 | ||
// CHECK-BE32-NEXT: store i8 [[FROMBOOL2]], ptr @b, align 1 | ||
// 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 | ||
// CHECK-BE32-NEXT: store i8 [[FROMBOOL3]], ptr @b, align 1 | ||
// CHECK-BE32-NEXT: [[TMP8:%.*]] = load ppc_fp128, ptr @ld, align 16 | ||
// CHECK-BE32-NEXT: [[TMP9:%.*]] = bitcast ppc_fp128 [[TMP8]] to i128 | ||
// CHECK-BE32-NEXT: [[TMP10:%.*]] = lshr i128 [[TMP9]], 64 | ||
// CHECK-BE32-NEXT: [[TMP11:%.*]] = trunc i128 [[TMP10]] to i64 | ||
// CHECK-BE32-NEXT: [[TMP12:%.*]] = icmp slt i64 [[TMP11]], 0 | ||
// CHECK-BE32-NEXT: [[FROMBOOL4:%.*]] = zext i1 [[TMP12]] to i8 | ||
// CHECK-BE32-NEXT: store i8 [[FROMBOOL4]], ptr @b, align 1 | ||
// CHECK-BE32-NEXT: ret void | ||
// | ||
// CHECK-BE64-LABEL: define dso_local void @_Z12test_signbitv( | ||
// CHECK-BE64-SAME: ) #[[ATTR0:[0-9]+]] { | ||
// CHECK-BE64-NEXT: entry: | ||
// 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 | ||
// CHECK-BE64-NEXT: store i8 [[FROMBOOL]], ptr @b, align 1 | ||
// CHECK-BE64-NEXT: [[TMP0:%.*]] = load ppc_fp128, ptr @ld, align 16 | ||
// CHECK-BE64-NEXT: [[TMP1:%.*]] = bitcast ppc_fp128 [[TMP0]] to i128 | ||
// CHECK-BE64-NEXT: [[TMP2:%.*]] = lshr i128 [[TMP1]], 64 | ||
// CHECK-BE64-NEXT: [[TMP3:%.*]] = trunc i128 [[TMP2]] to i64 | ||
// CHECK-BE64-NEXT: [[TMP4:%.*]] = icmp slt i64 [[TMP3]], 0 | ||
// CHECK-BE64-NEXT: [[FROMBOOL1:%.*]] = zext i1 [[TMP4]] to i8 | ||
// CHECK-BE64-NEXT: store i8 [[FROMBOOL1]], ptr @b, align 1 | ||
// CHECK-BE64-NEXT: store i8 0, ptr @b, align 1 | ||
// CHECK-BE64-NEXT: [[TMP5:%.*]] = load double, ptr @d, align 8 | ||
// CHECK-BE64-NEXT: [[CONV:%.*]] = fptrunc double [[TMP5]] to float | ||
// CHECK-BE64-NEXT: [[TMP6:%.*]] = bitcast float [[CONV]] to i32 | ||
// CHECK-BE64-NEXT: [[TMP7:%.*]] = icmp slt i32 [[TMP6]], 0 | ||
// CHECK-BE64-NEXT: [[FROMBOOL2:%.*]] = zext i1 [[TMP7]] to i8 | ||
// CHECK-BE64-NEXT: store i8 [[FROMBOOL2]], ptr @b, align 1 | ||
// 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 | ||
// CHECK-BE64-NEXT: store i8 [[FROMBOOL3]], ptr @b, align 1 | ||
// CHECK-BE64-NEXT: [[TMP8:%.*]] = load ppc_fp128, ptr @ld, align 16 | ||
// CHECK-BE64-NEXT: [[TMP9:%.*]] = bitcast ppc_fp128 [[TMP8]] to i128 | ||
// CHECK-BE64-NEXT: [[TMP10:%.*]] = lshr i128 [[TMP9]], 64 | ||
// CHECK-BE64-NEXT: [[TMP11:%.*]] = trunc i128 [[TMP10]] to i64 | ||
// CHECK-BE64-NEXT: [[TMP12:%.*]] = icmp slt i64 [[TMP11]], 0 | ||
// CHECK-BE64-NEXT: [[FROMBOOL4:%.*]] = zext i1 [[TMP12]] to i8 | ||
// CHECK-BE64-NEXT: store i8 [[FROMBOOL4]], ptr @b, align 1 | ||
// CHECK-BE64-NEXT: ret void | ||
// | ||
// CHECK-LE-LABEL: define dso_local void @_Z12test_signbitv( | ||
// CHECK-LE-SAME: ) #[[ATTR0:[0-9]+]] { | ||
// CHECK-LE-NEXT: entry: | ||
// CHECK-LE-NEXT: [[FROMBOOL:%.*]] = zext i1 icmp slt (i64 trunc (i128 bitcast (ppc_fp128 0xM3FF00000000000000000000000000000 to i128) to i64), i64 0) to i8 | ||
// CHECK-LE-NEXT: store i8 [[FROMBOOL]], ptr @b, align 1 | ||
// CHECK-LE-NEXT: [[TMP0:%.*]] = load ppc_fp128, ptr @ld, align 16 | ||
// CHECK-LE-NEXT: [[TMP1:%.*]] = bitcast ppc_fp128 [[TMP0]] to i128 | ||
// CHECK-LE-NEXT: [[TMP2:%.*]] = trunc i128 [[TMP1]] to i64 | ||
// CHECK-LE-NEXT: [[TMP3:%.*]] = icmp slt i64 [[TMP2]], 0 | ||
// CHECK-LE-NEXT: [[FROMBOOL1:%.*]] = zext i1 [[TMP3]] to i8 | ||
// CHECK-LE-NEXT: store i8 [[FROMBOOL1]], ptr @b, align 1 | ||
// CHECK-LE-NEXT: store i8 0, ptr @b, align 1 | ||
// CHECK-LE-NEXT: [[TMP4:%.*]] = load double, ptr @d, align 8 | ||
// CHECK-LE-NEXT: [[CONV:%.*]] = fptrunc double [[TMP4]] to float | ||
// CHECK-LE-NEXT: [[TMP5:%.*]] = bitcast float [[CONV]] to i32 | ||
// CHECK-LE-NEXT: [[TMP6:%.*]] = icmp slt i32 [[TMP5]], 0 | ||
// CHECK-LE-NEXT: [[FROMBOOL2:%.*]] = zext i1 [[TMP6]] to i8 | ||
// CHECK-LE-NEXT: store i8 [[FROMBOOL2]], ptr @b, align 1 | ||
// CHECK-LE-NEXT: [[FROMBOOL3:%.*]] = zext i1 icmp slt (i64 trunc (i128 bitcast (ppc_fp128 0xM3FF00000000000000000000000000000 to i128) to i64), i64 0) to i8 | ||
// CHECK-LE-NEXT: store i8 [[FROMBOOL3]], ptr @b, align 1 | ||
// CHECK-LE-NEXT: [[TMP7:%.*]] = load ppc_fp128, ptr @ld, align 16 | ||
// CHECK-LE-NEXT: [[TMP8:%.*]] = bitcast ppc_fp128 [[TMP7]] to i128 | ||
// CHECK-LE-NEXT: [[TMP9:%.*]] = trunc i128 [[TMP8]] to i64 | ||
// CHECK-LE-NEXT: [[TMP10:%.*]] = icmp slt i64 [[TMP9]], 0 | ||
// CHECK-LE-NEXT: [[FROMBOOL4:%.*]] = zext i1 [[TMP10]] to i8 | ||
// CHECK-LE-NEXT: store i8 [[FROMBOOL4]], ptr @b, align 1 | ||
// CHECK-LE-NEXT: ret void | ||
// | ||
void test_signbit() | ||
{ | ||
b = __builtin_signbit(1.0L); | ||
// CHECK: i128 | ||
// CHECK-LE-NOT: lshr | ||
// CHECK-BE: lshr | ||
// CHECK: bitcast | ||
// CHECK: ppc_fp128 | ||
|
||
b = __builtin_signbit(ld); | ||
// CHECK: bitcast | ||
// CHECK: ppc_fp128 | ||
// CHECK-LE-NOT: lshr | ||
// CHECK-BE: lshr | ||
|
||
b = __builtin_signbitf(1.0); | ||
// CHECK: store i8 0 | ||
|
||
b = __builtin_signbitf(d); | ||
// CHECK: bitcast | ||
// CHECK-LE-NOT: lshr | ||
// CHECK-BE-NOT: lshr | ||
|
||
b = __builtin_signbitl(1.0L); | ||
// CHECK: i128 | ||
// CHECK-LE-NOT: lshr | ||
// CHECK-BE: lshr | ||
// CHECK: bitcast | ||
// CHECK: ppc_fp128 | ||
|
||
b = __builtin_signbitl(ld); | ||
// CHECK: bitcast | ||
// CHECK: ppc_fp128 | ||
// CHECK-LE-NOT: lshr | ||
// CHECK-BE: lshr | ||
} |
cd7ba9f
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I replied on cfe-commits as well, but Outlook might be misbehaving, so I'll comment here as well to be safe. This is breaking tests when building without assertions enabled, e.g. https://lab.llvm.org/buildbot/#/builders/67/builds/13266/steps/7/logs/stdio, I think because the initial entry: label isn’t generated in such builds. Could you please take a look?
cd7ba9f
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I reverted this to fix the bots.
cd7ba9f
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Okay, the revert made the AMDGPU bots very unhappy, and I didn't want to cause more breakages before the weekend, so I reverted my revert, but also put in a hack in bdd396f to fix the original breakage. You should replace that with a proper fix when you get the chance.
cd7ba9f
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for landing the workaround! I believe 1b36a9f should fix this.