1 ; RUN: llc < %s -mtriple=armv4t-unknown-linux-gnueabi -disable-cgp-branch-opts -verify-machineinstrs | FileCheck %s 2 3 define i32 @f1() { 4 ; CHECK: f1 5 ; CHECK: mov r0, #0 6 ret i32 0 7 } 8 9 define i32 @f2() { 10 ; CHECK: f2 11 ; CHECK: mov r0, #255 12 ret i32 255 13 } 14 15 define i32 @f3() { 16 ; CHECK: f3 17 ; CHECK: mov r0, #256 18 ret i32 256 19 } 20 21 define i32 @f4() { 22 ; CHECK: f4 23 ; CHECK: orr{{.*}}#256 24 ret i32 257 25 } 26 27 define i32 @f5() { 28 ; CHECK: f5 29 ; CHECK: mov r0, #-1073741761 30 ret i32 -1073741761 31 } 32 33 define i32 @f6() { 34 ; CHECK: f6 35 ; CHECK: mov r0, #1008 36 ret i32 1008 37 } 38 39 define void @f7(i32 %a) { 40 ; CHECK: f7 41 ; CHECK: cmp r0, #65536 42 %b = icmp ugt i32 %a, 65536 43 br i1 %b, label %r, label %r 44 r: 45 ret void 46 } 47 48 define 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 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 70
