test/CodeGen/X86/noreturn-call.ll

   1 ; RUN: llc < %s -mtriple=i686-pc-win32 | FileCheck %s
   2
   3 define void @test1(i32 %c) {
   4 ; CHECK-LABEL: test1:
   5 entry:
   6   %0 = alloca i8, i32 %c
   7   %tobool = icmp eq i32 %c, 0
   8   br i1 %tobool, label %if.end, label %if.then
   9
  10 if.end:
  11   call void @g(i8* %0)
  12   ret void
  13
  14 if.then:
  15   call void @crash(i8* %0)
  16   unreachable
  17 ; CHECK: calll _crash
  18 ; There is no need to adjust the stack after the call, since
  19 ; the function is noreturn and that code will therefore never run.
  20 ; CHECK-NOT: add
  21 ; CHECK-NOT: pop
  22 }
  23
  24 define void @test2(i32 %c) {
  25 ; CHECK-LABEL: test2:
  26 entry:
  27   %0 = alloca i8, i32 %c
  28   %tobool = icmp eq i32 %c, 0
  29   br i1 %tobool, label %if.end, label %if.then
  30
  31 if.end:
  32   call void @g(i8* %0)
  33   ret void
  34
  35 if.then:
  36   call void @crash2(i8* %0)
  37   unreachable
  38 ; CHECK: calll _crash2
  39 ; Even though _crash2 is not marked noreturn, it is in practice because
  40 ; of the "unreachable" right after it. This happens e.g. when falling off
  41 ; a non-void function after a call.
  42 ; CHECK-NOT: add
  43 ; CHECK-NOT: pop
  44 }
  45
  46 declare void @crash(i8*) noreturn
  47 declare void @crash2(i8*)
  48 declare void @g(i8*)