llvm/test/CodeGen/AArch64/lower-range-metadata-func-call.ll

   1 ; RUN: llc < %s -mtriple=aarch64-none-linux-gnu | FileCheck %s
   2
   3 ; and can be eliminated
   4 ; CHECK-LABEL: {{^}}test_call_known_max_range:
   5 ; CHECK: bl foo
   6 ; CHECK-NOT: and
   7 ; CHECK: ret
   8 define i32 @test_call_known_max_range() #0 {
   9 entry:
  10   %id = tail call i32 @foo(), !range !0, !noundef !{}
  11   %and = and i32 %id, 1023
  12   ret i32 %and
  13 }
  14
  15 ; CHECK-LABEL: {{^}}test_call_known_trunc_1_bit_range:
  16 ; CHECK: bl foo
  17 ; CHECK: and w{{[0-9]+}}, w0, #0x1ff
  18 ; CHECK: ret
  19 define i32 @test_call_known_trunc_1_bit_range() #0 {
  20 entry:
  21   %id = tail call i32 @foo(), !range !0, !noundef !{}
  22   %and = and i32 %id, 511
  23   ret i32 %and
  24 }
  25
  26 ; CHECK-LABEL: {{^}}test_call_known_max_range_m1:
  27 ; CHECK: bl foo
  28 ; CHECK: and w{{[0-9]+}}, w0, #0xff
  29 ; CHECK: ret
  30 define i32 @test_call_known_max_range_m1() #0 {
  31 entry:
  32   %id = tail call i32 @foo(), !range !1, !noundef !{}
  33   %and = and i32 %id, 255
  34   ret i32 %and
  35 }
  36
  37
  38 declare i32 @foo()
  39
  40 attributes #0 = { norecurse nounwind }
  41 attributes #1 = { nounwind readnone }
  42
  43 !0 = !{i32 0, i32 1024}
  44 !1 = !{i32 0, i32 1023}