[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / Thumb / PR35481.ll
blob99137c63d962bfb84bd7e27d59416ac9d6cc3c36
1 ; RUN: llc -mtriple thumbv4t-eabi    < %s | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-V4T
2 ; RUN: llc -mtriple armv8m.base-eabi < %s | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-V8M
4 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
6 ; Function Attrs: nounwind
7 define <4 x i32> @f() local_unnamed_addr #0 {
8 entry:
9   %call = tail call i32 @h(i32 1)
10   %call1 = tail call <4 x i32> @g(i32 %call, i32 2, i32 3, i32 4)
11   ret <4 x i32> %call1
12 ; CHECK: ldr r7, [sp, #4]
13 ; CHECK-NEXT: mov lr, r7
14 ; CHECK-NEXT: pop {r7}
15 ; CHECK-NEXT: add sp, #4
16 ; CHECK-V47: bx lr
17 ; CHECK-V8M: b g
20 declare <4 x i32> @g(i32, i32, i32, i32) local_unnamed_addr
22 declare i32 @h(i32) local_unnamed_addr
24 attributes #0 = { "disable-tail-calls"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" }