32 lines · plain
1; Expect the constant propagation to evaluate signed and unsigned bit extract.2; RUN: llc -mtriple=hexagon -O2 < %s | FileCheck %s3 4target triple = "hexagon"5 6@x = common global i32 0, align 47@y = common global i32 0, align 48 9define void @foo() #0 {10entry:11 ; extractu(0x000ABCD0, 16, 4)12 ; should evaluate to 0xABCD (dec 43981)13 %0 = call i32 @llvm.hexagon.S2.extractu(i32 703696, i32 16, i32 4)14; CHECK: 4398115; CHECK-NOT: extractu16 store i32 %0, ptr @x, align 417 ; extract(0x000ABCD0, 16, 4)18 ; should evaluate to 0xFFFFABCD (dec 4294945741 or -21555)19 %1 = call i32 @llvm.hexagon.S4.extract(i32 703696, i32 16, i32 4)20; CHECK: -2155521; CHECK-NOT: extract22 store i32 %1, ptr @y, align 423 ret void24}25 26declare i32 @llvm.hexagon.S2.extractu(i32, i32, i32) #127 28declare i32 @llvm.hexagon.S4.extract(i32, i32, i32) #129 30attributes #0 = { nounwind "less-precise-fpmad"="false" "frame-pointer"="all" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }31attributes #1 = { nounwind readnone }32