test/CodeGen/Hexagon/bit-has.ll

   1 ; RUN: llc -march=hexagon -hexagon-initial-cfg-cleanup=0 < %s | FileCheck %s
   2 ; REQUIRES: asserts
   3
   4 ; This used to crash. Check for some sane output.
   5 ; CHECK: sath
   6
   7 target triple = "hexagon"
   8
   9 define void @fred() local_unnamed_addr #0 {
  10 b0:
  11   %v1 = load i32, i32* undef, align 4
  12   %v2 = tail call i32 @llvm.hexagon.A2.sath(i32 undef)
  13   %v3 = and i32 %v1, 603979776
  14   %v4 = trunc i32 %v3 to i30
  15   switch i30 %v4, label %b22 [
  16     i30 -536870912, label %b5
  17     i30 -469762048, label %b6
  18   ]
  19
  20 b5:                                               ; preds = %b0
  21   unreachable
  22
  23 b6:                                               ; preds = %b0
  24   %v7 = load i32, i32* undef, align 4
  25   %v8 = sub nsw i32 65536, %v7
  26   %v9 = load i32, i32* undef, align 4
  27   %v10 = mul nsw i32 %v9, %v9
  28   %v11 = zext i32 %v10 to i64
  29   %v12 = mul nsw i32 %v2, %v8
  30   %v13 = sext i32 %v12 to i64
  31   %v14 = mul nsw i64 %v13, %v11
  32   %v15 = trunc i64 %v14 to i32
  33   %v16 = and i32 %v15, 2147483647
  34   store i32 %v16, i32* undef, align 4
  35   %v17 = lshr i64 %v14, 31
  36   %v18 = trunc i64 %v17 to i32
  37   store i32 %v18, i32* undef, align 4
  38   br label %b19
  39
  40 b19:                                              ; preds = %b6
  41   br i1 undef, label %b20, label %b21
  42
  43 b20:                                              ; preds = %b19
  44   unreachable
  45
  46 b21:                                              ; preds = %b19
  47   br label %b23
  48
  49 b22:                                              ; preds = %b0
  50   unreachable
  51
  52 b23:                                              ; preds = %b21
  53   %v24 = load i32, i32* undef, align 4
  54   %v25 = shl i32 %v24, 1
  55   %v26 = and i32 %v25, 65534
  56   %v27 = or i32 %v26, 0
  57   store i32 %v27, i32* undef, align 4
  58   ret void
  59 }
  60
  61 declare i32 @llvm.hexagon.A2.sath(i32) #1
  62
  63 attributes #0 = { nounwind "target-cpu"="hexagonv5" "target-features"="-hvx,-long-calls" }
  64 attributes #1 = { nounwind readnone }