test/CodeGen/PowerPC/ppc64-abi-extend.ll

   1 ; Verify that i32 argument/return values are extended to i64
   2
   3 ; RUN: llc -verify-machineinstrs < %s | FileCheck %s
   4 target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128-v128:128:128-n32:64"
   5 target triple = "powerpc64-unknown-linux-gnu"
   6
   7 @si = common global i32 0, align 4
   8 @ui = common global i32 0, align 4
   9
  10 declare void @arg_si(i32 signext)
  11 declare void @arg_ui(i32 zeroext)
  12
  13 declare signext i32 @ret_si()
  14 declare zeroext i32 @ret_ui()
  15
  16 define void @pass_arg_si() nounwind {
  17 entry:
  18   %0 = load i32, i32* @si, align 4
  19   tail call void @arg_si(i32 signext %0) nounwind
  20   ret void
  21 }
  22 ; CHECK: @pass_arg_si
  23 ; CHECK: lwa 3,
  24 ; CHECK: bl arg_si
  25
  26 define void @pass_arg_ui() nounwind {
  27 entry:
  28   %0 = load i32, i32* @ui, align 4
  29   tail call void @arg_ui(i32 zeroext %0) nounwind
  30   ret void
  31 }
  32 ; CHECK: @pass_arg_ui
  33 ; CHECK: lwz 3,
  34 ; CHECK: bl arg_ui
  35
  36 define i64 @use_arg_si(i32 signext %x) nounwind readnone {
  37 entry:
  38   %conv = sext i32 %x to i64
  39   ret i64 %conv
  40 }
  41 ; CHECK: @use_arg_si
  42 ; CHECK: %entry
  43 ; CHECK-NEXT: blr
  44
  45 define i64 @use_arg_ui(i32 zeroext %x) nounwind readnone {
  46 entry:
  47   %conv = zext i32 %x to i64
  48   ret i64 %conv
  49 }
  50 ; CHECK: @use_arg_ui
  51 ; CHECK: %entry
  52 ; CHECK-NEXT: blr
  53
  54 define signext i32 @pass_ret_si() nounwind readonly {
  55 entry:
  56   %0 = load i32, i32* @si, align 4
  57   ret i32 %0
  58 }
  59 ; CHECK: @pass_ret_si
  60 ; CHECK: lwa 3,
  61 ; CHECK: blr
  62
  63 define zeroext i32 @pass_ret_ui() nounwind readonly {
  64 entry:
  65   %0 = load i32, i32* @ui, align 4
  66   ret i32 %0
  67 }
  68 ; CHECK: @pass_ret_ui
  69 ; CHECK: lwz 3,
  70 ; CHECK: blr
  71
  72 define i64 @use_ret_si() nounwind {
  73 entry:
  74   %call = tail call signext i32 @ret_si() nounwind
  75   %conv = sext i32 %call to i64
  76   ret i64 %conv
  77 }
  78 ; CHECK: @use_ret_si
  79 ; CHECK: bl ret_si
  80 ; This is to verify the return register (3) set up by the ret_si
  81 ; call is passed on unmodified as return value of use_ret_si.
  82 ; CHECK-NOT: 3
  83 ; CHECK: blr
  84
  85 define i64 @use_ret_ui() nounwind {
  86 entry:
  87   %call = tail call zeroext i32 @ret_ui() nounwind
  88   %conv = zext i32 %call to i64
  89   ret i64 %conv
  90 }
  91 ; CHECK: @use_ret_ui
  92 ; CHECK: bl ret_ui
  93 ; This is to verify the return register (3) set up by the ret_ui
  94 ; call is passed on unmodified as return value of use_ret_ui.
  95 ; CHECK-NOT: 3
  96 ; CHECK: blr
  97