diff options
Diffstat (limited to 'llvm/test/Transforms/CodeGenPrepare/ARM/overflow-intrinsics.ll')
-rw-r--r-- | llvm/test/Transforms/CodeGenPrepare/ARM/overflow-intrinsics.ll | 56 |
1 files changed, 0 insertions, 56 deletions
diff --git a/llvm/test/Transforms/CodeGenPrepare/ARM/overflow-intrinsics.ll b/llvm/test/Transforms/CodeGenPrepare/ARM/overflow-intrinsics.ll deleted file mode 100644 index 3fbc2133141..00000000000 --- a/llvm/test/Transforms/CodeGenPrepare/ARM/overflow-intrinsics.ll +++ /dev/null @@ -1,56 +0,0 @@ -; RUN: opt -codegenprepare -S < %s | FileCheck %s - -target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" -target triple = "thumbv8m.main-arm-none-eabi" - -; CHECK-LABEL: uadd_overflow_too_far_cmp_dom -; CHECK-NOT: with.overflow.i32 -define i32 @uadd_overflow_too_far_cmp_dom(i32 %arg0) { -entry: - %cmp = icmp ne i32 %arg0, 0 - br i1 %cmp, label %if.else, label %if.then - -if.then: - call void @foo() - br label %exit - -if.else: - call void @bar() - br label %if.end - -if.end: - %dec = add nsw i32 %arg0, -1 - br label %exit - -exit: - %res = phi i32 [ %arg0, %if.then ], [ %dec, %if.end ] - ret i32 %res -} - -; CHECK-LABEL: uadd_overflow_too_far_math_dom -; CHECK-NOT: with.overflow.i32 -define i32 @uadd_overflow_too_far_math_dom(i32 %arg0, i32 %arg1) { -entry: - %dec = add nsw i32 %arg0, -1 - %cmp = icmp ugt i32 %arg0, 1 - br i1 %cmp, label %if.else, label %if.then - -if.then: - call void @foo() - br label %if.end - -if.else: - call void @bar() - br label %if.end - -if.end: - %cmp.i.i = icmp ne i32 %arg0, 0 - %tobool = zext i1 %cmp.i.i to i32 - br label %exit - -exit: - ret i32 %tobool -} - -declare void @foo() -declare void @bar() |