constp-combine-neg.ll
1.37 KB
; XFAIL: *
; Implement generic selection of a constant.
; RUN: llc -O2 -march=hexagon < %s | FileCheck %s --check-prefix=CHECK-TEST1
; RUN: llc -O2 -march=hexagon < %s | FileCheck %s --check-prefix=CHECK-TEST2
; RUN: llc -O2 -march=hexagon < %s | FileCheck %s --check-prefix=CHECK-TEST3
define i32 @main() #0 {
entry:
%l = alloca [7 x i32], align 8
%p_arrayidx45 = bitcast [7 x i32]* %l to i32*
%vector_ptr = bitcast [7 x i32]* %l to <2 x i32>*
store <2 x i32> <i32 3, i32 -2>, <2 x i32>* %vector_ptr, align 8
%p_arrayidx.1 = getelementptr [7 x i32], [7 x i32]* %l, i32 0, i32 2
%vector_ptr.1 = bitcast i32* %p_arrayidx.1 to <2 x i32>*
store <2 x i32> <i32 -4, i32 6>, <2 x i32>* %vector_ptr.1, align 8
%p_arrayidx.2 = getelementptr [7 x i32], [7 x i32]* %l, i32 0, i32 4
%vector_ptr.2 = bitcast i32* %p_arrayidx.2 to <2 x i32>*
store <2 x i32> <i32 -8, i32 -10>, <2 x i32>* %vector_ptr.2, align 8
ret i32 0
}
; The instructions seem to be in a different order in the .s file than
; the corresponding values in the .ll file, so just run the test three
; times and each time test for a different instruction.
; CHECK-TEST1: combine(#-2,#3)
; CHECK-TEST2: combine(#6,#-4)
; CHECK-TEST3: combine(#-10,#-8)
attributes #0 = { "less-precise-fpmad"="false" "frame-pointer"="non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }