test/CodeGen/X86/returned-trunc-tail-calls.ll

   1 ; RUN: llc < %s -mtriple=x86_64-pc-win32 | FileCheck %s
   2
   3 declare i32 @ret32(i32 returned)
   4 declare i64 @ret64(i64 returned)
   5
   6 define i64 @test1(i64 %val) {
   7 ; CHECK-LABEL: test1:
   8 ; CHECK-NOT: jmp
   9 ; CHECK: callq
  10   %in = trunc i64 %val to i32
  11   tail call i32 @ret32(i32 returned %in)
  12   ret i64 %val
  13 }
  14
  15 define i32 @test2(i64 %val) {
  16 ; CHECK-LABEL: test2:
  17 ; CHECK: jmp
  18 ; CHECK-NOT: callq
  19   %in = trunc i64 %val to i32
  20   tail call i64 @ret64(i64 returned %val)
  21   ret i32 %in
  22 }
  23
  24 define i32 @test3(i64 %in) {
  25 ; CHECK-LABEL: test3:
  26 ; CHECK: jmp
  27 ; CHECK-NOT: callq
  28   %small = trunc i64 %in to i32
  29   tail call i32 @ret32(i32 returned %small)
  30   ret i32 %small
  31 }
  32
  33 declare {i32, i8} @take_i32_i8({i32, i8} returned)
  34 define { i8, i8 } @test_nocommon_value({i32, i32} %in) {
  35 ; CHECK-LABEL: test_nocommon_value
  36 ; CHECK: jmp
  37
  38   %first = extractvalue {i32, i32} %in, 0
  39   %first.trunc = trunc i32 %first to i8
  40
  41   %second = extractvalue {i32, i32} %in, 1
  42   %second.trunc = trunc i32 %second to i8
  43
  44   %tmp = insertvalue {i32, i8} undef, i32 %first, 0
  45   %callval = insertvalue {i32, i8} %tmp, i8 %second.trunc, 1
  46   tail call {i32, i8} @take_i32_i8({i32, i8} returned %callval)
  47
  48   %restmp = insertvalue {i8, i8} undef, i8 %first.trunc, 0
  49   %res = insertvalue {i8, i8} %restmp, i8 %second.trunc, 1
  50   ret {i8, i8} %res
  51 }
  52
  53 declare {i32, {i32, i32}} @give_i32_i32_i32()
  54 define {{i32, i32}, i32} @test_structs_different_shape() {
  55 ; CHECK-LABEL: test_structs_different_shape
  56 ; CHECK: jmp
  57   %val = tail call {i32, {i32, i32}} @give_i32_i32_i32()
  58
  59   %first = extractvalue {i32, {i32, i32}} %val, 0
  60   %second = extractvalue {i32, {i32, i32}} %val, 1, 0
  61   %third = extractvalue {i32, {i32, i32}} %val, 1, 1
  62
  63   %restmp = insertvalue {{i32, i32}, i32} undef, i32 %first, 0, 0
  64   %reseventmper = insertvalue {{i32, i32}, i32} %restmp, i32 %second, 0, 1
  65   %res = insertvalue {{i32, i32}, i32} %reseventmper, i32 %third, 1
  66
  67   ret {{i32, i32}, i32} %res
  68 }
  69
  70 define i64 @test_undef_asymmetry() {
  71 ; CHECK: test_undef_asymmetry
  72 ; CHECK-NOT: jmp
  73   tail call i64 @ret64(i64 returned undef)
  74   ret i64 2
  75 }
  76
  77 define {{}, {{}, i32, {}}, [1 x i32]} @evil_empty_aggregates() {
  78 ; CHECK-LABEL: evil_empty_aggregates
  79 ; CHECK: jmp
  80   %agg = tail call {i32, {i32, i32}} @give_i32_i32_i32()
  81
  82   %first = extractvalue {i32, {i32, i32}} %agg, 0
  83   %second = extractvalue {i32, {i32, i32}} %agg, 1, 0
  84
  85   %restmp = insertvalue {{}, {{}, i32, {}}, [1 x i32]} undef, i32 %first, 1, 1
  86   %res = insertvalue {{}, {{}, i32, {}}, [1 x i32]} %restmp, i32 %second, 2, 0
  87   ret {{}, {{}, i32, {}}, [1 x i32]} %res
  88 }
  89
  90 define i32 @structure_is_unimportant() {
  91 ; CHECK-LABEL: structure_is_unimportant
  92 ; CHECK: jmp
  93   %val = tail call {i32, {i32, i32}} @give_i32_i32_i32()
  94
  95   %res = extractvalue {i32, {i32, i32}} %val, 0
  96   ret i32 %res
  97 }