Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / llvm / f23ddf54eabb0b3b15c22e166e7f6ff966caafb4 / . / test / CodeGen / ARM / constants.ll
blob: 3baa103e3d5df10842726970798c2246c6fb1469 [file] [log] [blame]
Jakob Stoklund Olesene7fdef42012-08-20 21:39:52 +0000[diff] [blame]1; RUN: llc < %s -mtriple=armv4t-unknown-linux-gnueabi -disable-cgp-branch-opts -verify-machineinstrs | FileCheck %s
Rafael Espindola7246d332006-09-21 11:29:52 +0000[diff] [blame]2
Tanya Lattner6263f942008-02-17 20:02:20 +0000[diff] [blame]3define i32 @f1() {
Bob Wilson13e80bd2009-10-27 05:50:28 +0000[diff] [blame]4; CHECK: f1
5; CHECK: mov r0, #0
Tanya Lattner6263f942008-02-17 20:02:20 +0000[diff] [blame]6 ret i32 0
Rafael Espindola7246d332006-09-21 11:29:52 +0000[diff] [blame]7}
8
Tanya Lattner6263f942008-02-17 20:02:20 +0000[diff] [blame]9define i32 @f2() {
Bob Wilson13e80bd2009-10-27 05:50:28 +0000[diff] [blame]10; CHECK: f2
11; CHECK: mov r0, #255
Tanya Lattner6263f942008-02-17 20:02:20 +0000[diff] [blame]12 ret i32 255
Rafael Espindola7246d332006-09-21 11:29:52 +0000[diff] [blame]13}
14
Tanya Lattner6263f942008-02-17 20:02:20 +0000[diff] [blame]15define i32 @f3() {
Bob Wilson13e80bd2009-10-27 05:50:28 +0000[diff] [blame]16; CHECK: f3
Jim Grosbach589130f2011-07-11 16:48:36 +0000[diff] [blame]17; CHECK: mov r0, #256
Tanya Lattner6263f942008-02-17 20:02:20 +0000[diff] [blame]18 ret i32 256
Rafael Espindola7246d332006-09-21 11:29:52 +0000[diff] [blame]19}
20
Tanya Lattner6263f942008-02-17 20:02:20 +0000[diff] [blame]21define i32 @f4() {
Bob Wilson13e80bd2009-10-27 05:50:28 +0000[diff] [blame]22; CHECK: f4
Jim Grosbach589130f2011-07-11 16:48:36 +0000[diff] [blame]23; CHECK: orr{{.*}}#256
Tanya Lattner6263f942008-02-17 20:02:20 +0000[diff] [blame]24 ret i32 257
Rafael Espindola7246d332006-09-21 11:29:52 +0000[diff] [blame]25}
26
Tanya Lattner6263f942008-02-17 20:02:20 +0000[diff] [blame]27define i32 @f5() {
Bob Wilson13e80bd2009-10-27 05:50:28 +0000[diff] [blame]28; CHECK: f5
Jim Grosbach589130f2011-07-11 16:48:36 +0000[diff] [blame]29; CHECK: mov r0, #-1073741761
Tanya Lattner6263f942008-02-17 20:02:20 +0000[diff] [blame]30 ret i32 -1073741761
Rafael Espindola7246d332006-09-21 11:29:52 +0000[diff] [blame]31}
32
Tanya Lattner6263f942008-02-17 20:02:20 +0000[diff] [blame]33define i32 @f6() {
Bob Wilson13e80bd2009-10-27 05:50:28 +0000[diff] [blame]34; CHECK: f6
Jim Grosbach589130f2011-07-11 16:48:36 +0000[diff] [blame]35; CHECK: mov r0, #1008
Tanya Lattner6263f942008-02-17 20:02:20 +0000[diff] [blame]36 ret i32 1008
Rafael Espindola7246d332006-09-21 11:29:52 +0000[diff] [blame]37}
Rafael Espindola8897a7b2006-12-14 18:58:37 +0000[diff] [blame]38
Tanya Lattner6263f942008-02-17 20:02:20 +0000[diff] [blame]39define void @f7(i32 %a) {
Bob Wilson13e80bd2009-10-27 05:50:28 +0000[diff] [blame]40; CHECK: f7
Jim Grosbach589130f2011-07-11 16:48:36 +0000[diff] [blame]41; CHECK: cmp r0, #65536
Jim Grosbachb2331552010-10-22 23:46:04 +0000[diff] [blame]42 %b = icmp ugt i32 %a, 65536
Tanya Lattner6263f942008-02-17 20:02:20 +0000[diff] [blame]43 br i1 %b, label %r, label %r
Jim Grosbachb2331552010-10-22 23:46:04 +0000[diff] [blame]44r:
Tanya Lattner6263f942008-02-17 20:02:20 +0000[diff] [blame]45 ret void
Rafael Espindola8897a7b2006-12-14 18:58:37 +0000[diff] [blame]46}
Nick Lewycky5b7ac142011-06-22 18:55:03 +0000[diff] [blame]47
Kristof Beyls789efba2012-09-12 11:25:02 +0000[diff] [blame]48define i32 @f8() nounwind {
49; Check that constant propagation through (i32)-1 => (float)Nan => (i32)-1
50; gives expected result
51; CHECK: f8
52; CHECK: mvn r0, #0
53 %tmp0 = bitcast i32 -1 to float
54 %tmp1 = bitcast float %tmp0 to i32
55 ret i32 %tmp1
56}
57
Nick Lewycky5b7ac142011-06-22 18:55:03 +0000[diff] [blame]58%t1 = type { <3 x float>, <3 x float> }
59
60@const1 = global %t1 { <3 x float> zeroinitializer,
61 <3 x float> <float 1.000000e+00,
62 float 2.000000e+00,
63 float 3.000000e+00> }, align 16
64; CHECK: const1
65; CHECK: .zero 16
66; CHECK: float 1.0
67; CHECK: float 2.0
68; CHECK: float 3.0
69; CHECK: .zero 4