llvm/test/CodeGen/AArch64/arm64-assert-zext-sext.ll

   1 ; RUN: llc -O2 -mtriple=aarch64-linux-gnu < %s | FileCheck %s
   2
   3 declare i32 @test(i32) local_unnamed_addr
   4 declare i32 @test1(i64) local_unnamed_addr
   5
   6 define i32 @assertzext(i32 %n, i1 %a, i32* %b) local_unnamed_addr {
   7 entry:
   8   %i = select i1 %a, i64 0, i64 66296709418
   9   %conv.i = trunc i64 %i to i32
  10   %cmp = icmp eq i32 %n, 0
  11   br i1 %cmp, label %if.then, label %if.end
  12
  13 if.then:                     ; preds = %entry
  14   store i32 0, i32* %b, align 4
  15   br label %if.end
  16
  17 if.end:                      ; preds = %if.then, %entry
  18   %i1 = phi i32 [ 0, %if.then ], [ %conv.i, %entry ]
  19   %call.i = tail call i32 @test(i32 %i1)
  20   %i2 = sext i32 %i1 to i64
  21   %call1.i = tail call i32 @test1(i64 %i2)
  22   ret i32 0
  23 ; CHECK:       // %if.end
  24 ; CHECK:       mov     w{{[0-9]+}}, w{{[0-9]+}}
  25 ; CHECK:       bl      test
  26 ; CHECK:       mov     w{{[0-9]+}}, w{{[0-9]+}}
  27 ; CHECK:       bl      test1
  28 }
  29
  30 define i32 @assertsext(i32 %n, i8 %a) local_unnamed_addr {
  31 entry:
  32   %conv.i = sext i8 %a to i32
  33   %cmp = icmp eq i32 %n, 0
  34   br i1 %cmp, label %if.then, label %if.end
  35
  36 if.then:                     ; preds = %entry
  37   %conv1 = zext i32 %conv.i to i64
  38   %div = udiv i64 2036854775807, %conv1
  39   br label %if.end
  40 ; CHECK:       // %if.then
  41 ; CHECK:       mov     w{{[0-9]+}}, w{{[0-9]+}}
  42 ; CHECK:       udiv    x{{[0-9]+}}, x{{[0-9]+}}, x{{[0-9]+}}
  43
  44 if.end:                      ; preds = %if.then, %entry
  45   %i1 = phi i64 [ %div, %if.then ], [ 0, %entry ]
  46   %call1.i = tail call i32 @test1(i64 %i1)
  47   ret i32 0
  48 }