https://github.com/thurstond updated
https://github.com/llvm/llvm-project/pull/119280
>From 1b3a64701a8f496343360d8b6b86670f039a8e6d Mon Sep 17 00:00:00 2001
From: Thurston Dang <thurs...@google.com>
Date: Mon, 9 Dec 2024 22:38:30 +0000
Subject: [PATCH 1/2] [NFC][clang] Add ubsan-handler-merge.c test to show
absence of nomerge
This shows that ubsan handlers do not have nomerge attributes, even if
-ubsan-unique-trap is enabled.
0d15d46362bd6ab5a9a2165805adaab13a7689f4 attaches nomerge but only for trap
mode.
ubsan-handler-merge.c is equivalent to ubsan-trap-merge.c
(1b68b33ac0b3c2c8bd2ab89fec4f516f622cebdf) but without using trap mode.
---
clang/test/CodeGen/ubsan-handler-merge.c | 113 +++++++++++++++++++++++
1 file changed, 113 insertions(+)
create mode 100644 clang/test/CodeGen/ubsan-handler-merge.c
diff --git a/clang/test/CodeGen/ubsan-handler-merge.c
b/clang/test/CodeGen/ubsan-handler-merge.c
new file mode 100644
index 00000000000000..a6914f94f73e61
--- /dev/null
+++ b/clang/test/CodeGen/ubsan-handler-merge.c
@@ -0,0 +1,113 @@
+// NOTE: Assertions have mostly been autogenerated by
utils/update_cc_test_checks.py UTC_ARGS: --version 5
+// The most important assertion is the attributes at the end of the file, which
+// shows that -ubsan-unique-traps does not attach 'nomerge' to each ubsan
handler.
+//
+// RUN: %clang_cc1 -triple x86_64-linux-gnu -emit-llvm
-fsanitize=signed-integer-overflow -O3 -mllvm -ubsan-unique-traps %s -o - \
+// RUN: | FileCheck %s
+//
+// REQUIRES: x86-registered-target
+
+// CHECK-LABEL: define dso_local range(i32 -2147483523, -2147483648) i32 @f(
+// CHECK-SAME: i32 noundef [[X:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {
+// CHECK-NEXT: [[ENTRY:.*:]]
+// CHECK-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 125), !nosanitize [[META2:![0-9]+]]
+// CHECK-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
+// CHECK-NEXT: br i1 [[TMP1]], label %[[HANDLER_ADD_OVERFLOW:.*]], label
%[[CONT:.*]], !prof [[PROF3:![0-9]+]], !nosanitize [[META2]]
+// CHECK: [[HANDLER_ADD_OVERFLOW]]:
+// CHECK-NEXT: [[TMP2:%.*]] = zext nneg i32 [[X]] to i64, !nosanitize
[[META2]]
+// CHECK-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB1:[0-9]+]], i64 [[TMP2]], i64 125) #[[ATTR4:[0-9]+]],
!nosanitize [[META2]]
+// CHECK-NEXT: unreachable, !nosanitize [[META2]]
+// CHECK: [[CONT]]:
+// CHECK-NEXT: [[TMP3:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
+// CHECK-NEXT: ret i32 [[TMP3]]
+//
+int f(int x) {
+ return x + 125;
+}
+
+// CHECK-LABEL: define dso_local range(i32 -2147483521, -2147483648) i32 @g(
+// CHECK-SAME: i32 noundef [[X:%.*]]) local_unnamed_addr #[[ATTR0]] {
+// CHECK-NEXT: [[ENTRY:.*:]]
+// CHECK-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 127), !nosanitize [[META2]]
+// CHECK-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
+// CHECK-NEXT: br i1 [[TMP1]], label %[[HANDLER_ADD_OVERFLOW:.*]], label
%[[CONT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
+// CHECK: [[HANDLER_ADD_OVERFLOW]]:
+// CHECK-NEXT: [[TMP2:%.*]] = zext nneg i32 [[X]] to i64, !nosanitize
[[META2]]
+// CHECK-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB2:[0-9]+]], i64 [[TMP2]], i64 127) #[[ATTR4]], !nosanitize
[[META2]]
+// CHECK-NEXT: unreachable, !nosanitize [[META2]]
+// CHECK: [[CONT]]:
+// CHECK-NEXT: [[TMP3:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
+// CHECK-NEXT: ret i32 [[TMP3]]
+//
+int g(int x) {
+ return x + 127;
+}
+
+// CHECK-LABEL: define dso_local range(i32 -2147483521, -2147483648) i32 @h(
+// CHECK-SAME: i32 noundef [[X:%.*]], i32 noundef [[Y:%.*]])
local_unnamed_addr #[[ATTR0]] {
+// CHECK-NEXT: [[ENTRY:.*:]]
+// CHECK-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 127), !nosanitize [[META2]]
+// CHECK-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
+// CHECK-NEXT: br i1 [[TMP1]], label %[[HANDLER_ADD_OVERFLOW:.*]], label
%[[CONT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
+// CHECK: [[HANDLER_ADD_OVERFLOW]]:
+// CHECK-NEXT: [[TMP2:%.*]] = zext nneg i32 [[X]] to i64, !nosanitize
[[META2]]
+// CHECK-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB3:[0-9]+]], i64 [[TMP2]], i64 127) #[[ATTR4]], !nosanitize
[[META2]]
+// CHECK-NEXT: unreachable, !nosanitize [[META2]]
+// CHECK: [[CONT]]:
+// CHECK-NEXT: [[TMP3:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[Y]], i32 129), !nosanitize [[META2]]
+// CHECK-NEXT: [[TMP4:%.*]] = extractvalue { i32, i1 } [[TMP3]], 1,
!nosanitize [[META2]]
+// CHECK-NEXT: br i1 [[TMP4]], label %[[HANDLER_ADD_OVERFLOW1:.*]], label
%[[CONT2:.*]], !prof [[PROF3]], !nosanitize [[META2]]
+// CHECK: [[HANDLER_ADD_OVERFLOW1]]:
+// CHECK-NEXT: [[TMP5:%.*]] = zext nneg i32 [[Y]] to i64, !nosanitize
[[META2]]
+// CHECK-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB4:[0-9]+]], i64 [[TMP5]], i64 129) #[[ATTR4]], !nosanitize
[[META2]]
+// CHECK-NEXT: unreachable, !nosanitize [[META2]]
+// CHECK: [[CONT2]]:
+// CHECK-NEXT: [[TMP6:%.*]] = extractvalue { i32, i1 } [[TMP3]], 0,
!nosanitize [[META2]]
+// CHECK-NEXT: [[TMP7:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
+// CHECK-NEXT: [[COND:%.*]] = tail call i32 @llvm.smin.i32(i32 [[TMP7]],
i32 [[TMP6]])
+// CHECK-NEXT: ret i32 [[COND]]
+//
+int h(int x, int y) {
+ x += 127;
+ y += 129;
+ return x < y ? x : y;
+}
+
+// CHECK-LABEL: define dso_local noundef i32 @m(
+// CHECK-SAME: i32 noundef [[X:%.*]], i32 noundef [[Y:%.*]])
local_unnamed_addr #[[ATTR0]] {
+// CHECK-NEXT: [[ENTRY:.*:]]
+// CHECK-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 125), !nosanitize [[META2]]
+// CHECK-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
+// CHECK-NEXT: br i1 [[TMP1]], label %[[HANDLER_ADD_OVERFLOW_I:.*]], label
%[[F_EXIT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
+// CHECK: [[HANDLER_ADD_OVERFLOW_I]]:
+// CHECK-NEXT: [[TMP2:%.*]] = zext nneg i32 [[X]] to i64, !nosanitize
[[META2]]
+// CHECK-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB1]], i64 [[TMP2]], i64 125) #[[ATTR4]], !nosanitize [[META2]]
+// CHECK-NEXT: unreachable, !nosanitize [[META2]]
+// CHECK: [[F_EXIT]]:
+// CHECK-NEXT: [[TMP3:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
+// CHECK-NEXT: [[TMP4:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[Y]], i32 127), !nosanitize [[META2]]
+// CHECK-NEXT: [[TMP5:%.*]] = extractvalue { i32, i1 } [[TMP4]], 1,
!nosanitize [[META2]]
+// CHECK-NEXT: br i1 [[TMP5]], label %[[HANDLER_ADD_OVERFLOW_I2:.*]], label
%[[G_EXIT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
+// CHECK: [[HANDLER_ADD_OVERFLOW_I2]]:
+// CHECK-NEXT: [[TMP6:%.*]] = zext nneg i32 [[Y]] to i64, !nosanitize
[[META2]]
+// CHECK-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB2]], i64 [[TMP6]], i64 127) #[[ATTR4]], !nosanitize [[META2]]
+// CHECK-NEXT: unreachable, !nosanitize [[META2]]
+// CHECK: [[G_EXIT]]:
+// CHECK-NEXT: [[TMP7:%.*]] = extractvalue { i32, i1 } [[TMP4]], 0,
!nosanitize [[META2]]
+// CHECK-NEXT: [[TMP8:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[TMP3]], i32 [[TMP7]]), !nosanitize [[META2]]
+// CHECK-NEXT: [[TMP9:%.*]] = extractvalue { i32, i1 } [[TMP8]], 1,
!nosanitize [[META2]]
+// CHECK-NEXT: br i1 [[TMP9]], label %[[HANDLER_ADD_OVERFLOW:.*]], label
%[[CONT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
+// CHECK: [[HANDLER_ADD_OVERFLOW]]:
+// CHECK-NEXT: [[TMP10:%.*]] = zext i32 [[TMP3]] to i64, !nosanitize
[[META2]]
+// CHECK-NEXT: [[TMP11:%.*]] = zext i32 [[TMP7]] to i64, !nosanitize
[[META2]]
+// CHECK-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB5:[0-9]+]], i64 [[TMP10]], i64 [[TMP11]]) #[[ATTR4]],
!nosanitize [[META2]]
+// CHECK-NEXT: unreachable, !nosanitize [[META2]]
+// CHECK: [[CONT]]:
+// CHECK-NEXT: [[TMP12:%.*]] = extractvalue { i32, i1 } [[TMP8]], 0,
!nosanitize [[META2]]
+// CHECK-NEXT: ret i32 [[TMP12]]
+//
+int m(int x, int y) {
+ return f(x) + g(y);
+}
+//.
+// CHECK: attributes #[[ATTR4]] = { noreturn nounwind }
>From 5441f6893688021670a4dd95ead413ce419057b9 Mon Sep 17 00:00:00 2001
From: Thurston Dang <thurs...@google.com>
Date: Mon, 9 Dec 2024 23:28:55 +0000
Subject: [PATCH 2/2] Merge ubsan-trap-merge.c with ubsan-handler-merge.c, and
test min-rt, per Vitaly's feedback
---
clang/test/CodeGen/ubsan-handler-merge.c | 113 --------
clang/test/CodeGen/ubsan-trap-merge.c | 330 +++++++++++++++++------
2 files changed, 253 insertions(+), 190 deletions(-)
delete mode 100644 clang/test/CodeGen/ubsan-handler-merge.c
diff --git a/clang/test/CodeGen/ubsan-handler-merge.c
b/clang/test/CodeGen/ubsan-handler-merge.c
deleted file mode 100644
index a6914f94f73e61..00000000000000
--- a/clang/test/CodeGen/ubsan-handler-merge.c
+++ /dev/null
@@ -1,113 +0,0 @@
-// NOTE: Assertions have mostly been autogenerated by
utils/update_cc_test_checks.py UTC_ARGS: --version 5
-// The most important assertion is the attributes at the end of the file, which
-// shows that -ubsan-unique-traps does not attach 'nomerge' to each ubsan
handler.
-//
-// RUN: %clang_cc1 -triple x86_64-linux-gnu -emit-llvm
-fsanitize=signed-integer-overflow -O3 -mllvm -ubsan-unique-traps %s -o - \
-// RUN: | FileCheck %s
-//
-// REQUIRES: x86-registered-target
-
-// CHECK-LABEL: define dso_local range(i32 -2147483523, -2147483648) i32 @f(
-// CHECK-SAME: i32 noundef [[X:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {
-// CHECK-NEXT: [[ENTRY:.*:]]
-// CHECK-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 125), !nosanitize [[META2:![0-9]+]]
-// CHECK-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
-// CHECK-NEXT: br i1 [[TMP1]], label %[[HANDLER_ADD_OVERFLOW:.*]], label
%[[CONT:.*]], !prof [[PROF3:![0-9]+]], !nosanitize [[META2]]
-// CHECK: [[HANDLER_ADD_OVERFLOW]]:
-// CHECK-NEXT: [[TMP2:%.*]] = zext nneg i32 [[X]] to i64, !nosanitize
[[META2]]
-// CHECK-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB1:[0-9]+]], i64 [[TMP2]], i64 125) #[[ATTR4:[0-9]+]],
!nosanitize [[META2]]
-// CHECK-NEXT: unreachable, !nosanitize [[META2]]
-// CHECK: [[CONT]]:
-// CHECK-NEXT: [[TMP3:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
-// CHECK-NEXT: ret i32 [[TMP3]]
-//
-int f(int x) {
- return x + 125;
-}
-
-// CHECK-LABEL: define dso_local range(i32 -2147483521, -2147483648) i32 @g(
-// CHECK-SAME: i32 noundef [[X:%.*]]) local_unnamed_addr #[[ATTR0]] {
-// CHECK-NEXT: [[ENTRY:.*:]]
-// CHECK-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 127), !nosanitize [[META2]]
-// CHECK-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
-// CHECK-NEXT: br i1 [[TMP1]], label %[[HANDLER_ADD_OVERFLOW:.*]], label
%[[CONT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
-// CHECK: [[HANDLER_ADD_OVERFLOW]]:
-// CHECK-NEXT: [[TMP2:%.*]] = zext nneg i32 [[X]] to i64, !nosanitize
[[META2]]
-// CHECK-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB2:[0-9]+]], i64 [[TMP2]], i64 127) #[[ATTR4]], !nosanitize
[[META2]]
-// CHECK-NEXT: unreachable, !nosanitize [[META2]]
-// CHECK: [[CONT]]:
-// CHECK-NEXT: [[TMP3:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
-// CHECK-NEXT: ret i32 [[TMP3]]
-//
-int g(int x) {
- return x + 127;
-}
-
-// CHECK-LABEL: define dso_local range(i32 -2147483521, -2147483648) i32 @h(
-// CHECK-SAME: i32 noundef [[X:%.*]], i32 noundef [[Y:%.*]])
local_unnamed_addr #[[ATTR0]] {
-// CHECK-NEXT: [[ENTRY:.*:]]
-// CHECK-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 127), !nosanitize [[META2]]
-// CHECK-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
-// CHECK-NEXT: br i1 [[TMP1]], label %[[HANDLER_ADD_OVERFLOW:.*]], label
%[[CONT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
-// CHECK: [[HANDLER_ADD_OVERFLOW]]:
-// CHECK-NEXT: [[TMP2:%.*]] = zext nneg i32 [[X]] to i64, !nosanitize
[[META2]]
-// CHECK-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB3:[0-9]+]], i64 [[TMP2]], i64 127) #[[ATTR4]], !nosanitize
[[META2]]
-// CHECK-NEXT: unreachable, !nosanitize [[META2]]
-// CHECK: [[CONT]]:
-// CHECK-NEXT: [[TMP3:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[Y]], i32 129), !nosanitize [[META2]]
-// CHECK-NEXT: [[TMP4:%.*]] = extractvalue { i32, i1 } [[TMP3]], 1,
!nosanitize [[META2]]
-// CHECK-NEXT: br i1 [[TMP4]], label %[[HANDLER_ADD_OVERFLOW1:.*]], label
%[[CONT2:.*]], !prof [[PROF3]], !nosanitize [[META2]]
-// CHECK: [[HANDLER_ADD_OVERFLOW1]]:
-// CHECK-NEXT: [[TMP5:%.*]] = zext nneg i32 [[Y]] to i64, !nosanitize
[[META2]]
-// CHECK-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB4:[0-9]+]], i64 [[TMP5]], i64 129) #[[ATTR4]], !nosanitize
[[META2]]
-// CHECK-NEXT: unreachable, !nosanitize [[META2]]
-// CHECK: [[CONT2]]:
-// CHECK-NEXT: [[TMP6:%.*]] = extractvalue { i32, i1 } [[TMP3]], 0,
!nosanitize [[META2]]
-// CHECK-NEXT: [[TMP7:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
-// CHECK-NEXT: [[COND:%.*]] = tail call i32 @llvm.smin.i32(i32 [[TMP7]],
i32 [[TMP6]])
-// CHECK-NEXT: ret i32 [[COND]]
-//
-int h(int x, int y) {
- x += 127;
- y += 129;
- return x < y ? x : y;
-}
-
-// CHECK-LABEL: define dso_local noundef i32 @m(
-// CHECK-SAME: i32 noundef [[X:%.*]], i32 noundef [[Y:%.*]])
local_unnamed_addr #[[ATTR0]] {
-// CHECK-NEXT: [[ENTRY:.*:]]
-// CHECK-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 125), !nosanitize [[META2]]
-// CHECK-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
-// CHECK-NEXT: br i1 [[TMP1]], label %[[HANDLER_ADD_OVERFLOW_I:.*]], label
%[[F_EXIT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
-// CHECK: [[HANDLER_ADD_OVERFLOW_I]]:
-// CHECK-NEXT: [[TMP2:%.*]] = zext nneg i32 [[X]] to i64, !nosanitize
[[META2]]
-// CHECK-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB1]], i64 [[TMP2]], i64 125) #[[ATTR4]], !nosanitize [[META2]]
-// CHECK-NEXT: unreachable, !nosanitize [[META2]]
-// CHECK: [[F_EXIT]]:
-// CHECK-NEXT: [[TMP3:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
-// CHECK-NEXT: [[TMP4:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[Y]], i32 127), !nosanitize [[META2]]
-// CHECK-NEXT: [[TMP5:%.*]] = extractvalue { i32, i1 } [[TMP4]], 1,
!nosanitize [[META2]]
-// CHECK-NEXT: br i1 [[TMP5]], label %[[HANDLER_ADD_OVERFLOW_I2:.*]], label
%[[G_EXIT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
-// CHECK: [[HANDLER_ADD_OVERFLOW_I2]]:
-// CHECK-NEXT: [[TMP6:%.*]] = zext nneg i32 [[Y]] to i64, !nosanitize
[[META2]]
-// CHECK-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB2]], i64 [[TMP6]], i64 127) #[[ATTR4]], !nosanitize [[META2]]
-// CHECK-NEXT: unreachable, !nosanitize [[META2]]
-// CHECK: [[G_EXIT]]:
-// CHECK-NEXT: [[TMP7:%.*]] = extractvalue { i32, i1 } [[TMP4]], 0,
!nosanitize [[META2]]
-// CHECK-NEXT: [[TMP8:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[TMP3]], i32 [[TMP7]]), !nosanitize [[META2]]
-// CHECK-NEXT: [[TMP9:%.*]] = extractvalue { i32, i1 } [[TMP8]], 1,
!nosanitize [[META2]]
-// CHECK-NEXT: br i1 [[TMP9]], label %[[HANDLER_ADD_OVERFLOW:.*]], label
%[[CONT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
-// CHECK: [[HANDLER_ADD_OVERFLOW]]:
-// CHECK-NEXT: [[TMP10:%.*]] = zext i32 [[TMP3]] to i64, !nosanitize
[[META2]]
-// CHECK-NEXT: [[TMP11:%.*]] = zext i32 [[TMP7]] to i64, !nosanitize
[[META2]]
-// CHECK-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB5:[0-9]+]], i64 [[TMP10]], i64 [[TMP11]]) #[[ATTR4]],
!nosanitize [[META2]]
-// CHECK-NEXT: unreachable, !nosanitize [[META2]]
-// CHECK: [[CONT]]:
-// CHECK-NEXT: [[TMP12:%.*]] = extractvalue { i32, i1 } [[TMP8]], 0,
!nosanitize [[META2]]
-// CHECK-NEXT: ret i32 [[TMP12]]
-//
-int m(int x, int y) {
- return f(x) + g(y);
-}
-//.
-// CHECK: attributes #[[ATTR4]] = { noreturn nounwind }
diff --git a/clang/test/CodeGen/ubsan-trap-merge.c
b/clang/test/CodeGen/ubsan-trap-merge.c
index dccce0ce4c56b6..aceb8608c2edf8 100644
--- a/clang/test/CodeGen/ubsan-trap-merge.c
+++ b/clang/test/CodeGen/ubsan-trap-merge.c
@@ -1,67 +1,171 @@
// NOTE: Assertions have mostly been autogenerated by
utils/update_cc_test_checks.py UTC_ARGS: --version 5
// The most important assertion is the attributes at the end of the file, which
-// shows that -ubsan-unique-traps attaches 'nomerge' to each ubsantrap
intrinsic.
+// shows whether -ubsan-unique-traps attaches 'nomerge' to each ubsan call.
//
-// RUN: %clang_cc1 -triple x86_64-linux-gnu -emit-llvm
-fsanitize=signed-integer-overflow -fsanitize-trap=signed-integer-overflow -O3
-mllvm -ubsan-unique-traps %s -o - \
-// RUN: | FileCheck %s
+// RUN: %clang_cc1 -triple x86_64-linux-gnu -emit-llvm
-fsanitize=signed-integer-overflow -O3 -mllvm -ubsan-unique-traps
-fsanitize-trap=signed-integer-overflow %s -o - \
+// RUN: | FileCheck %s --check-prefix=TRAP
+// RUN: %clang_cc1 -triple x86_64-linux-gnu -emit-llvm
-fsanitize=signed-integer-overflow -O3 -mllvm -ubsan-unique-traps %s -o - \
+// RUN: | FileCheck %s --check-prefix=HANDLER
+// RUN: %clang_cc1 -triple x86_64-linux-gnu -emit-llvm
-fsanitize=signed-integer-overflow -O3 -mllvm -ubsan-unique-traps
-fsanitize-minimal-runtime %s -o - \
+// RUN: | FileCheck %s --check-prefix=MINRT
//
// REQUIRES: x86-registered-target
-// CHECK-LABEL: define dso_local range(i32 -2147483523, -2147483648) i32 @f(
-// CHECK-SAME: i32 noundef [[X:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {
-// CHECK-NEXT: [[ENTRY:.*:]]
-// CHECK-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 125), !nosanitize [[META2:![0-9]+]]
-// CHECK-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
-// CHECK-NEXT: br i1 [[TMP1]], label %[[TRAP:.*]], label %[[CONT:.*]],
!nosanitize [[META2]]
-// CHECK: [[TRAP]]:
-// CHECK-NEXT: tail call void @llvm.ubsantrap(i8 0) #[[ATTR4:[0-9]+]],
!nosanitize [[META2]]
-// CHECK-NEXT: unreachable, !nosanitize [[META2]]
-// CHECK: [[CONT]]:
-// CHECK-NEXT: [[TMP2:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
-// CHECK-NEXT: ret i32 [[TMP2]]
+// TRAP-LABEL: define dso_local range(i32 -2147483523, -2147483648) i32 @f(
+// TRAP-SAME: i32 noundef [[X:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {
+// TRAP-NEXT: [[ENTRY:.*:]]
+// TRAP-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 125), !nosanitize [[META2:![0-9]+]]
+// TRAP-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
+// TRAP-NEXT: br i1 [[TMP1]], label %[[TRAP:.*]], label %[[CONT:.*]],
!nosanitize [[META2]]
+// TRAP: [[TRAP]]:
+// TRAP-NEXT: tail call void @llvm.ubsantrap(i8 0) #[[ATTR4:[0-9]+]],
!nosanitize [[META2]]
+// TRAP-NEXT: unreachable, !nosanitize [[META2]]
+// TRAP: [[CONT]]:
+// TRAP-NEXT: [[TMP2:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
+// TRAP-NEXT: ret i32 [[TMP2]]
+//
+// HANDLER-LABEL: define dso_local range(i32 -2147483523, -2147483648) i32 @f(
+// HANDLER-SAME: i32 noundef [[X:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {
+// HANDLER-NEXT: [[ENTRY:.*:]]
+// HANDLER-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 125), !nosanitize [[META2:![0-9]+]]
+// HANDLER-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
+// HANDLER-NEXT: br i1 [[TMP1]], label %[[HANDLER_ADD_OVERFLOW:.*]], label
%[[CONT:.*]], !prof [[PROF3:![0-9]+]], !nosanitize [[META2]]
+// HANDLER: [[HANDLER_ADD_OVERFLOW]]:
+// HANDLER-NEXT: [[TMP2:%.*]] = zext nneg i32 [[X]] to i64, !nosanitize
[[META2]]
+// HANDLER-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB1:[0-9]+]], i64 [[TMP2]], i64 125) #[[ATTR4:[0-9]+]],
!nosanitize [[META2]]
+// HANDLER-NEXT: unreachable, !nosanitize [[META2]]
+// HANDLER: [[CONT]]:
+// HANDLER-NEXT: [[TMP3:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
+// HANDLER-NEXT: ret i32 [[TMP3]]
+//
+// MINRT-LABEL: define dso_local range(i32 -2147483523, -2147483648) i32 @f(
+// MINRT-SAME: i32 noundef [[X:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {
+// MINRT-NEXT: [[ENTRY:.*:]]
+// MINRT-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 125), !nosanitize [[META2:![0-9]+]]
+// MINRT-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
+// MINRT-NEXT: br i1 [[TMP1]], label %[[HANDLER_ADD_OVERFLOW:.*]], label
%[[CONT:.*]], !prof [[PROF3:![0-9]+]], !nosanitize [[META2]]
+// MINRT: [[HANDLER_ADD_OVERFLOW]]:
+// MINRT-NEXT: tail call void @__ubsan_handle_add_overflow_minimal_abort()
#[[ATTR4:[0-9]+]], !nosanitize [[META2]]
+// MINRT-NEXT: unreachable, !nosanitize [[META2]]
+// MINRT: [[CONT]]:
+// MINRT-NEXT: [[TMP2:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
+// MINRT-NEXT: ret i32 [[TMP2]]
//
int f(int x) {
return x + 125;
}
-// CHECK-LABEL: define dso_local range(i32 -2147483521, -2147483648) i32 @g(
-// CHECK-SAME: i32 noundef [[X:%.*]]) local_unnamed_addr #[[ATTR0]] {
-// CHECK-NEXT: [[ENTRY:.*:]]
-// CHECK-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 127), !nosanitize [[META2]]
-// CHECK-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
-// CHECK-NEXT: br i1 [[TMP1]], label %[[TRAP:.*]], label %[[CONT:.*]],
!nosanitize [[META2]]
-// CHECK: [[TRAP]]:
-// CHECK-NEXT: tail call void @llvm.ubsantrap(i8 0) #[[ATTR4]], !nosanitize
[[META2]]
-// CHECK-NEXT: unreachable, !nosanitize [[META2]]
-// CHECK: [[CONT]]:
-// CHECK-NEXT: [[TMP2:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
-// CHECK-NEXT: ret i32 [[TMP2]]
+// TRAP-LABEL: define dso_local range(i32 -2147483521, -2147483648) i32 @g(
+// TRAP-SAME: i32 noundef [[X:%.*]]) local_unnamed_addr #[[ATTR0]] {
+// TRAP-NEXT: [[ENTRY:.*:]]
+// TRAP-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 127), !nosanitize [[META2]]
+// TRAP-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
+// TRAP-NEXT: br i1 [[TMP1]], label %[[TRAP:.*]], label %[[CONT:.*]],
!nosanitize [[META2]]
+// TRAP: [[TRAP]]:
+// TRAP-NEXT: tail call void @llvm.ubsantrap(i8 0) #[[ATTR4]], !nosanitize
[[META2]]
+// TRAP-NEXT: unreachable, !nosanitize [[META2]]
+// TRAP: [[CONT]]:
+// TRAP-NEXT: [[TMP2:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
+// TRAP-NEXT: ret i32 [[TMP2]]
+//
+// HANDLER-LABEL: define dso_local range(i32 -2147483521, -2147483648) i32 @g(
+// HANDLER-SAME: i32 noundef [[X:%.*]]) local_unnamed_addr #[[ATTR0]] {
+// HANDLER-NEXT: [[ENTRY:.*:]]
+// HANDLER-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 127), !nosanitize [[META2]]
+// HANDLER-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
+// HANDLER-NEXT: br i1 [[TMP1]], label %[[HANDLER_ADD_OVERFLOW:.*]], label
%[[CONT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
+// HANDLER: [[HANDLER_ADD_OVERFLOW]]:
+// HANDLER-NEXT: [[TMP2:%.*]] = zext nneg i32 [[X]] to i64, !nosanitize
[[META2]]
+// HANDLER-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB2:[0-9]+]], i64 [[TMP2]], i64 127) #[[ATTR4]], !nosanitize
[[META2]]
+// HANDLER-NEXT: unreachable, !nosanitize [[META2]]
+// HANDLER: [[CONT]]:
+// HANDLER-NEXT: [[TMP3:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
+// HANDLER-NEXT: ret i32 [[TMP3]]
+//
+// MINRT-LABEL: define dso_local range(i32 -2147483521, -2147483648) i32 @g(
+// MINRT-SAME: i32 noundef [[X:%.*]]) local_unnamed_addr #[[ATTR0]] {
+// MINRT-NEXT: [[ENTRY:.*:]]
+// MINRT-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 127), !nosanitize [[META2]]
+// MINRT-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
+// MINRT-NEXT: br i1 [[TMP1]], label %[[HANDLER_ADD_OVERFLOW:.*]], label
%[[CONT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
+// MINRT: [[HANDLER_ADD_OVERFLOW]]:
+// MINRT-NEXT: tail call void @__ubsan_handle_add_overflow_minimal_abort()
#[[ATTR4]], !nosanitize [[META2]]
+// MINRT-NEXT: unreachable, !nosanitize [[META2]]
+// MINRT: [[CONT]]:
+// MINRT-NEXT: [[TMP2:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
+// MINRT-NEXT: ret i32 [[TMP2]]
//
int g(int x) {
return x + 127;
}
-// CHECK-LABEL: define dso_local range(i32 -2147483521, -2147483648) i32 @h(
-// CHECK-SAME: i32 noundef [[X:%.*]], i32 noundef [[Y:%.*]])
local_unnamed_addr #[[ATTR0]] {
-// CHECK-NEXT: [[ENTRY:.*:]]
-// CHECK-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 127), !nosanitize [[META2]]
-// CHECK-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
-// CHECK-NEXT: br i1 [[TMP1]], label %[[TRAP:.*]], label %[[CONT:.*]],
!nosanitize [[META2]]
-// CHECK: [[TRAP]]:
-// CHECK-NEXT: tail call void @llvm.ubsantrap(i8 0) #[[ATTR4]], !nosanitize
[[META2]]
-// CHECK-NEXT: unreachable, !nosanitize [[META2]]
-// CHECK: [[CONT]]:
-// CHECK-NEXT: [[TMP2:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[Y]], i32 129), !nosanitize [[META2]]
-// CHECK-NEXT: [[TMP3:%.*]] = extractvalue { i32, i1 } [[TMP2]], 1,
!nosanitize [[META2]]
-// CHECK-NEXT: br i1 [[TMP3]], label %[[TRAP1:.*]], label %[[CONT2:.*]],
!nosanitize [[META2]]
-// CHECK: [[TRAP1]]:
-// CHECK-NEXT: tail call void @llvm.ubsantrap(i8 0) #[[ATTR4]], !nosanitize
[[META2]]
-// CHECK-NEXT: unreachable, !nosanitize [[META2]]
-// CHECK: [[CONT2]]:
-// CHECK-NEXT: [[TMP4:%.*]] = extractvalue { i32, i1 } [[TMP2]], 0,
!nosanitize [[META2]]
-// CHECK-NEXT: [[TMP5:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
-// CHECK-NEXT: [[COND:%.*]] = tail call i32 @llvm.smin.i32(i32 [[TMP5]],
i32 [[TMP4]])
-// CHECK-NEXT: ret i32 [[COND]]
+// TRAP-LABEL: define dso_local range(i32 -2147483521, -2147483648) i32 @h(
+// TRAP-SAME: i32 noundef [[X:%.*]], i32 noundef [[Y:%.*]]) local_unnamed_addr
#[[ATTR0]] {
+// TRAP-NEXT: [[ENTRY:.*:]]
+// TRAP-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 127), !nosanitize [[META2]]
+// TRAP-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
+// TRAP-NEXT: br i1 [[TMP1]], label %[[TRAP:.*]], label %[[CONT:.*]],
!nosanitize [[META2]]
+// TRAP: [[TRAP]]:
+// TRAP-NEXT: tail call void @llvm.ubsantrap(i8 0) #[[ATTR4]], !nosanitize
[[META2]]
+// TRAP-NEXT: unreachable, !nosanitize [[META2]]
+// TRAP: [[CONT]]:
+// TRAP-NEXT: [[TMP2:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[Y]], i32 129), !nosanitize [[META2]]
+// TRAP-NEXT: [[TMP3:%.*]] = extractvalue { i32, i1 } [[TMP2]], 1,
!nosanitize [[META2]]
+// TRAP-NEXT: br i1 [[TMP3]], label %[[TRAP1:.*]], label %[[CONT2:.*]],
!nosanitize [[META2]]
+// TRAP: [[TRAP1]]:
+// TRAP-NEXT: tail call void @llvm.ubsantrap(i8 0) #[[ATTR4]], !nosanitize
[[META2]]
+// TRAP-NEXT: unreachable, !nosanitize [[META2]]
+// TRAP: [[CONT2]]:
+// TRAP-NEXT: [[TMP4:%.*]] = extractvalue { i32, i1 } [[TMP2]], 0,
!nosanitize [[META2]]
+// TRAP-NEXT: [[TMP5:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
+// TRAP-NEXT: [[COND:%.*]] = tail call i32 @llvm.smin.i32(i32 [[TMP5]], i32
[[TMP4]])
+// TRAP-NEXT: ret i32 [[COND]]
+//
+// HANDLER-LABEL: define dso_local range(i32 -2147483521, -2147483648) i32 @h(
+// HANDLER-SAME: i32 noundef [[X:%.*]], i32 noundef [[Y:%.*]])
local_unnamed_addr #[[ATTR0]] {
+// HANDLER-NEXT: [[ENTRY:.*:]]
+// HANDLER-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 127), !nosanitize [[META2]]
+// HANDLER-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
+// HANDLER-NEXT: br i1 [[TMP1]], label %[[HANDLER_ADD_OVERFLOW:.*]], label
%[[CONT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
+// HANDLER: [[HANDLER_ADD_OVERFLOW]]:
+// HANDLER-NEXT: [[TMP2:%.*]] = zext nneg i32 [[X]] to i64, !nosanitize
[[META2]]
+// HANDLER-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB3:[0-9]+]], i64 [[TMP2]], i64 127) #[[ATTR4]], !nosanitize
[[META2]]
+// HANDLER-NEXT: unreachable, !nosanitize [[META2]]
+// HANDLER: [[CONT]]:
+// HANDLER-NEXT: [[TMP3:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[Y]], i32 129), !nosanitize [[META2]]
+// HANDLER-NEXT: [[TMP4:%.*]] = extractvalue { i32, i1 } [[TMP3]], 1,
!nosanitize [[META2]]
+// HANDLER-NEXT: br i1 [[TMP4]], label %[[HANDLER_ADD_OVERFLOW1:.*]], label
%[[CONT2:.*]], !prof [[PROF3]], !nosanitize [[META2]]
+// HANDLER: [[HANDLER_ADD_OVERFLOW1]]:
+// HANDLER-NEXT: [[TMP5:%.*]] = zext nneg i32 [[Y]] to i64, !nosanitize
[[META2]]
+// HANDLER-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB4:[0-9]+]], i64 [[TMP5]], i64 129) #[[ATTR4]], !nosanitize
[[META2]]
+// HANDLER-NEXT: unreachable, !nosanitize [[META2]]
+// HANDLER: [[CONT2]]:
+// HANDLER-NEXT: [[TMP6:%.*]] = extractvalue { i32, i1 } [[TMP3]], 0,
!nosanitize [[META2]]
+// HANDLER-NEXT: [[TMP7:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
+// HANDLER-NEXT: [[COND:%.*]] = tail call i32 @llvm.smin.i32(i32 [[TMP7]],
i32 [[TMP6]])
+// HANDLER-NEXT: ret i32 [[COND]]
+//
+// MINRT-LABEL: define dso_local range(i32 -2147483521, -2147483648) i32 @h(
+// MINRT-SAME: i32 noundef [[X:%.*]], i32 noundef [[Y:%.*]])
local_unnamed_addr #[[ATTR0]] {
+// MINRT-NEXT: [[ENTRY:.*:]]
+// MINRT-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 127), !nosanitize [[META2]]
+// MINRT-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
+// MINRT-NEXT: br i1 [[TMP1]], label %[[HANDLER_ADD_OVERFLOW:.*]], label
%[[CONT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
+// MINRT: [[HANDLER_ADD_OVERFLOW]]:
+// MINRT-NEXT: tail call void @__ubsan_handle_add_overflow_minimal_abort()
#[[ATTR4]], !nosanitize [[META2]]
+// MINRT-NEXT: unreachable, !nosanitize [[META2]]
+// MINRT: [[CONT]]:
+// MINRT-NEXT: [[TMP2:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[Y]], i32 129), !nosanitize [[META2]]
+// MINRT-NEXT: [[TMP3:%.*]] = extractvalue { i32, i1 } [[TMP2]], 1,
!nosanitize [[META2]]
+// MINRT-NEXT: br i1 [[TMP3]], label %[[HANDLER_ADD_OVERFLOW1:.*]], label
%[[CONT2:.*]], !prof [[PROF3]], !nosanitize [[META2]]
+// MINRT: [[HANDLER_ADD_OVERFLOW1]]:
+// MINRT-NEXT: tail call void @__ubsan_handle_add_overflow_minimal_abort()
#[[ATTR4]], !nosanitize [[META2]]
+// MINRT-NEXT: unreachable, !nosanitize [[META2]]
+// MINRT: [[CONT2]]:
+// MINRT-NEXT: [[TMP4:%.*]] = extractvalue { i32, i1 } [[TMP2]], 0,
!nosanitize [[META2]]
+// MINRT-NEXT: [[TMP5:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
+// MINRT-NEXT: [[COND:%.*]] = tail call i32 @llvm.smin.i32(i32 [[TMP5]],
i32 [[TMP4]])
+// MINRT-NEXT: ret i32 [[COND]]
//
int h(int x, int y) {
x += 127;
@@ -69,37 +173,109 @@ int h(int x, int y) {
return x < y ? x : y;
}
-// CHECK-LABEL: define dso_local noundef i32 @m(
-// CHECK-SAME: i32 noundef [[X:%.*]], i32 noundef [[Y:%.*]])
local_unnamed_addr #[[ATTR0]] {
-// CHECK-NEXT: [[ENTRY:.*:]]
-// CHECK-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 125), !nosanitize [[META2]]
-// CHECK-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
-// CHECK-NEXT: br i1 [[TMP1]], label %[[TRAP_I:.*]], label %[[F_EXIT:.*]],
!nosanitize [[META2]]
-// CHECK: [[TRAP_I]]:
-// CHECK-NEXT: tail call void @llvm.ubsantrap(i8 0) #[[ATTR4]], !nosanitize
[[META2]]
-// CHECK-NEXT: unreachable, !nosanitize [[META2]]
-// CHECK: [[F_EXIT]]:
-// CHECK-NEXT: [[TMP2:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[Y]], i32 127), !nosanitize [[META2]]
-// CHECK-NEXT: [[TMP3:%.*]] = extractvalue { i32, i1 } [[TMP2]], 1,
!nosanitize [[META2]]
-// CHECK-NEXT: br i1 [[TMP3]], label %[[TRAP_I2:.*]], label %[[G_EXIT:.*]],
!nosanitize [[META2]]
-// CHECK: [[TRAP_I2]]:
-// CHECK-NEXT: tail call void @llvm.ubsantrap(i8 0) #[[ATTR4]], !nosanitize
[[META2]]
-// CHECK-NEXT: unreachable, !nosanitize [[META2]]
-// CHECK: [[G_EXIT]]:
-// CHECK-NEXT: [[TMP4:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
-// CHECK-NEXT: [[TMP5:%.*]] = extractvalue { i32, i1 } [[TMP2]], 0,
!nosanitize [[META2]]
-// CHECK-NEXT: [[TMP6:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[TMP4]], i32 [[TMP5]]), !nosanitize [[META2]]
-// CHECK-NEXT: [[TMP7:%.*]] = extractvalue { i32, i1 } [[TMP6]], 1,
!nosanitize [[META2]]
-// CHECK-NEXT: br i1 [[TMP7]], label %[[TRAP:.*]], label %[[CONT:.*]],
!nosanitize [[META2]]
-// CHECK: [[TRAP]]:
-// CHECK-NEXT: tail call void @llvm.ubsantrap(i8 0) #[[ATTR4]], !nosanitize
[[META2]]
-// CHECK-NEXT: unreachable, !nosanitize [[META2]]
-// CHECK: [[CONT]]:
-// CHECK-NEXT: [[TMP8:%.*]] = extractvalue { i32, i1 } [[TMP6]], 0,
!nosanitize [[META2]]
-// CHECK-NEXT: ret i32 [[TMP8]]
+// TRAP-LABEL: define dso_local noundef i32 @m(
+// TRAP-SAME: i32 noundef [[X:%.*]], i32 noundef [[Y:%.*]]) local_unnamed_addr
#[[ATTR0]] {
+// TRAP-NEXT: [[ENTRY:.*:]]
+// TRAP-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 125), !nosanitize [[META2]]
+// TRAP-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
+// TRAP-NEXT: br i1 [[TMP1]], label %[[TRAP_I:.*]], label %[[F_EXIT:.*]],
!nosanitize [[META2]]
+// TRAP: [[TRAP_I]]:
+// TRAP-NEXT: tail call void @llvm.ubsantrap(i8 0) #[[ATTR4]], !nosanitize
[[META2]]
+// TRAP-NEXT: unreachable, !nosanitize [[META2]]
+// TRAP: [[F_EXIT]]:
+// TRAP-NEXT: [[TMP2:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[Y]], i32 127), !nosanitize [[META2]]
+// TRAP-NEXT: [[TMP3:%.*]] = extractvalue { i32, i1 } [[TMP2]], 1,
!nosanitize [[META2]]
+// TRAP-NEXT: br i1 [[TMP3]], label %[[TRAP_I2:.*]], label %[[G_EXIT:.*]],
!nosanitize [[META2]]
+// TRAP: [[TRAP_I2]]:
+// TRAP-NEXT: tail call void @llvm.ubsantrap(i8 0) #[[ATTR4]], !nosanitize
[[META2]]
+// TRAP-NEXT: unreachable, !nosanitize [[META2]]
+// TRAP: [[G_EXIT]]:
+// TRAP-NEXT: [[TMP4:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
+// TRAP-NEXT: [[TMP5:%.*]] = extractvalue { i32, i1 } [[TMP2]], 0,
!nosanitize [[META2]]
+// TRAP-NEXT: [[TMP6:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[TMP4]], i32 [[TMP5]]), !nosanitize [[META2]]
+// TRAP-NEXT: [[TMP7:%.*]] = extractvalue { i32, i1 } [[TMP6]], 1,
!nosanitize [[META2]]
+// TRAP-NEXT: br i1 [[TMP7]], label %[[TRAP:.*]], label %[[CONT:.*]],
!nosanitize [[META2]]
+// TRAP: [[TRAP]]:
+// TRAP-NEXT: tail call void @llvm.ubsantrap(i8 0) #[[ATTR4]], !nosanitize
[[META2]]
+// TRAP-NEXT: unreachable, !nosanitize [[META2]]
+// TRAP: [[CONT]]:
+// TRAP-NEXT: [[TMP8:%.*]] = extractvalue { i32, i1 } [[TMP6]], 0,
!nosanitize [[META2]]
+// TRAP-NEXT: ret i32 [[TMP8]]
+//
+// HANDLER-LABEL: define dso_local noundef i32 @m(
+// HANDLER-SAME: i32 noundef [[X:%.*]], i32 noundef [[Y:%.*]])
local_unnamed_addr #[[ATTR0]] {
+// HANDLER-NEXT: [[ENTRY:.*:]]
+// HANDLER-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 125), !nosanitize [[META2]]
+// HANDLER-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
+// HANDLER-NEXT: br i1 [[TMP1]], label %[[HANDLER_ADD_OVERFLOW_I:.*]],
label %[[F_EXIT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
+// HANDLER: [[HANDLER_ADD_OVERFLOW_I]]:
+// HANDLER-NEXT: [[TMP2:%.*]] = zext nneg i32 [[X]] to i64, !nosanitize
[[META2]]
+// HANDLER-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB1]], i64 [[TMP2]], i64 125) #[[ATTR4]], !nosanitize [[META2]]
+// HANDLER-NEXT: unreachable, !nosanitize [[META2]]
+// HANDLER: [[F_EXIT]]:
+// HANDLER-NEXT: [[TMP3:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
+// HANDLER-NEXT: [[TMP4:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[Y]], i32 127), !nosanitize [[META2]]
+// HANDLER-NEXT: [[TMP5:%.*]] = extractvalue { i32, i1 } [[TMP4]], 1,
!nosanitize [[META2]]
+// HANDLER-NEXT: br i1 [[TMP5]], label %[[HANDLER_ADD_OVERFLOW_I2:.*]],
label %[[G_EXIT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
+// HANDLER: [[HANDLER_ADD_OVERFLOW_I2]]:
+// HANDLER-NEXT: [[TMP6:%.*]] = zext nneg i32 [[Y]] to i64, !nosanitize
[[META2]]
+// HANDLER-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB2]], i64 [[TMP6]], i64 127) #[[ATTR4]], !nosanitize [[META2]]
+// HANDLER-NEXT: unreachable, !nosanitize [[META2]]
+// HANDLER: [[G_EXIT]]:
+// HANDLER-NEXT: [[TMP7:%.*]] = extractvalue { i32, i1 } [[TMP4]], 0,
!nosanitize [[META2]]
+// HANDLER-NEXT: [[TMP8:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[TMP3]], i32 [[TMP7]]), !nosanitize [[META2]]
+// HANDLER-NEXT: [[TMP9:%.*]] = extractvalue { i32, i1 } [[TMP8]], 1,
!nosanitize [[META2]]
+// HANDLER-NEXT: br i1 [[TMP9]], label %[[HANDLER_ADD_OVERFLOW:.*]], label
%[[CONT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
+// HANDLER: [[HANDLER_ADD_OVERFLOW]]:
+// HANDLER-NEXT: [[TMP10:%.*]] = zext i32 [[TMP3]] to i64, !nosanitize
[[META2]]
+// HANDLER-NEXT: [[TMP11:%.*]] = zext i32 [[TMP7]] to i64, !nosanitize
[[META2]]
+// HANDLER-NEXT: tail call void @__ubsan_handle_add_overflow_abort(ptr
nonnull @[[GLOB5:[0-9]+]], i64 [[TMP10]], i64 [[TMP11]]) #[[ATTR4]],
!nosanitize [[META2]]
+// HANDLER-NEXT: unreachable, !nosanitize [[META2]]
+// HANDLER: [[CONT]]:
+// HANDLER-NEXT: [[TMP12:%.*]] = extractvalue { i32, i1 } [[TMP8]], 0,
!nosanitize [[META2]]
+// HANDLER-NEXT: ret i32 [[TMP12]]
+//
+// MINRT-LABEL: define dso_local noundef i32 @m(
+// MINRT-SAME: i32 noundef [[X:%.*]], i32 noundef [[Y:%.*]])
local_unnamed_addr #[[ATTR0]] {
+// MINRT-NEXT: [[ENTRY:.*:]]
+// MINRT-NEXT: [[TMP0:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[X]], i32 125), !nosanitize [[META2]]
+// MINRT-NEXT: [[TMP1:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1,
!nosanitize [[META2]]
+// MINRT-NEXT: br i1 [[TMP1]], label %[[HANDLER_ADD_OVERFLOW_I:.*]], label
%[[F_EXIT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
+// MINRT: [[HANDLER_ADD_OVERFLOW_I]]:
+// MINRT-NEXT: tail call void @__ubsan_handle_add_overflow_minimal_abort()
#[[ATTR4]], !nosanitize [[META2]]
+// MINRT-NEXT: unreachable, !nosanitize [[META2]]
+// MINRT: [[F_EXIT]]:
+// MINRT-NEXT: [[TMP2:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[Y]], i32 127), !nosanitize [[META2]]
+// MINRT-NEXT: [[TMP3:%.*]] = extractvalue { i32, i1 } [[TMP2]], 1,
!nosanitize [[META2]]
+// MINRT-NEXT: br i1 [[TMP3]], label %[[HANDLER_ADD_OVERFLOW_I2:.*]], label
%[[G_EXIT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
+// MINRT: [[HANDLER_ADD_OVERFLOW_I2]]:
+// MINRT-NEXT: tail call void @__ubsan_handle_add_overflow_minimal_abort()
#[[ATTR4]], !nosanitize [[META2]]
+// MINRT-NEXT: unreachable, !nosanitize [[META2]]
+// MINRT: [[G_EXIT]]:
+// MINRT-NEXT: [[TMP4:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0,
!nosanitize [[META2]]
+// MINRT-NEXT: [[TMP5:%.*]] = extractvalue { i32, i1 } [[TMP2]], 0,
!nosanitize [[META2]]
+// MINRT-NEXT: [[TMP6:%.*]] = tail call { i32, i1 }
@llvm.sadd.with.overflow.i32(i32 [[TMP4]], i32 [[TMP5]]), !nosanitize [[META2]]
+// MINRT-NEXT: [[TMP7:%.*]] = extractvalue { i32, i1 } [[TMP6]], 1,
!nosanitize [[META2]]
+// MINRT-NEXT: br i1 [[TMP7]], label %[[HANDLER_ADD_OVERFLOW:.*]], label
%[[CONT:.*]], !prof [[PROF3]], !nosanitize [[META2]]
+// MINRT: [[HANDLER_ADD_OVERFLOW]]:
+// MINRT-NEXT: tail call void @__ubsan_handle_add_overflow_minimal_abort()
#[[ATTR4]], !nosanitize [[META2]]
+// MINRT-NEXT: unreachable, !nosanitize [[META2]]
+// MINRT: [[CONT]]:
+// MINRT-NEXT: [[TMP8:%.*]] = extractvalue { i32, i1 } [[TMP6]], 0,
!nosanitize [[META2]]
+// MINRT-NEXT: ret i32 [[TMP8]]
//
int m(int x, int y) {
return f(x) + g(y);
}
+// TRAP: attributes #[[ATTR4]] = { nomerge noreturn nounwind }
+// HANDLER: attributes #[[ATTR4]] = { noreturn nounwind }
+// MINRT: attributes #[[ATTR4]] = { noreturn nounwind }
+//.
+// TRAP: [[META2]] = !{}
+//.
+// HANDLER: [[META2]] = !{}
+// HANDLER: [[PROF3]] = !{!"branch_weights", i32 1, i32 1048575}
+//.
+// MINRT: [[META2]] = !{}
+// MINRT: [[PROF3]] = !{!"branch_weights", i32 1, i32 1048575}
//.
-// CHECK: attributes #[[ATTR4]] = { nomerge noreturn nounwind }
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
