test/CodeGen/X86/GlobalISel/brcond.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=x86_64-linux-gnu    -global-isel -verify-machineinstrs %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=X64
   3 ; RUN: llc -mtriple=i386-linux-gnu      -global-isel -verify-machineinstrs %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=X32
   4
   5 define i32 @test_1(i32 %a, i32 %b, i32 %tValue, i32 %fValue) {
   6 ; X64-LABEL: test_1:
   7 ; X64:       # %bb.0: # %entry
   8 ; X64-NEXT:    cmpl %esi, %edi
   9 ; X64-NEXT:    setl %al
  10 ; X64-NEXT:    testb $1, %al
  11 ; X64-NEXT:    je .LBB0_2
  12 ; X64-NEXT:  # %bb.1: # %if.then
  13 ; X64-NEXT:    movl %edx, -{{[0-9]+}}(%rsp)
  14 ; X64-NEXT:    movl -{{[0-9]+}}(%rsp), %eax
  15 ; X64-NEXT:    retq
  16 ; X64-NEXT:  .LBB0_2: # %if.else
  17 ; X64-NEXT:    movl %ecx, -{{[0-9]+}}(%rsp)
  18 ; X64-NEXT:    movl -{{[0-9]+}}(%rsp), %eax
  19 ; X64-NEXT:    retq
  20 ;
  21 ; X32-LABEL: test_1:
  22 ; X32:       # %bb.0: # %entry
  23 ; X32-NEXT:    pushl %eax
  24 ; X32-NEXT:    .cfi_def_cfa_offset 8
  25 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax
  26 ; X32-NEXT:    cmpl %eax, {{[0-9]+}}(%esp)
  27 ; X32-NEXT:    setl %al
  28 ; X32-NEXT:    testb $1, %al
  29 ; X32-NEXT:    je .LBB0_2
  30 ; X32-NEXT:  # %bb.1: # %if.then
  31 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax
  32 ; X32-NEXT:    jmp .LBB0_3
  33 ; X32-NEXT:  .LBB0_2: # %if.else
  34 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax
  35 ; X32-NEXT:  .LBB0_3: # %return
  36 ; X32-NEXT:    movl %eax, (%esp)
  37 ; X32-NEXT:    movl (%esp), %eax
  38 ; X32-NEXT:    popl %ecx
  39 ; X32-NEXT:    .cfi_def_cfa_offset 4
  40 ; X32-NEXT:    retl
  41 entry:
  42   %retval = alloca i32, align 4
  43   %cmp = icmp slt i32 %a, %b
  44   br i1 %cmp, label %if.then, label %if.else
  45
  46 if.then:
  47   store i32 %tValue, i32* %retval, align 4
  48   br label %return
  49
  50 if.else:
  51   store i32 %fValue, i32* %retval, align 4
  52   br label %return
  53
  54 return:
  55   %0 = load i32, i32* %retval, align 4
  56   ret i32 %0
  57 }
  58
  59 define i32 @test_2(i32 %a) {
  60 ; X64-LABEL: test_2:
  61 ; X64:       # %bb.0: # %entry
  62 ; X64-NEXT:    testb $1, %dil
  63 ; X64-NEXT:    je .LBB1_2
  64 ; X64-NEXT:  # %bb.1: # %if.then
  65 ; X64-NEXT:    xorl %eax, %eax
  66 ; X64-NEXT:    retq
  67 ; X64-NEXT:  .LBB1_2: # %if.else
  68 ; X64-NEXT:    movl $1, %eax
  69 ; X64-NEXT:    retq
  70 ;
  71 ; X32-LABEL: test_2:
  72 ; X32:       # %bb.0: # %entry
  73 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax
  74 ; X32-NEXT:    testb $1, %al
  75 ; X32-NEXT:    je .LBB1_2
  76 ; X32-NEXT:  # %bb.1: # %if.then
  77 ; X32-NEXT:    xorl %eax, %eax
  78 ; X32-NEXT:    retl
  79 ; X32-NEXT:  .LBB1_2: # %if.else
  80 ; X32-NEXT:    movl $1, %eax
  81 ; X32-NEXT:    retl
  82 entry:
  83   %cmp = trunc i32 %a to i1
  84   br i1 %cmp, label %if.then, label %if.else
  85
  86 if.then:
  87   ret i32 0
  88 if.else:
  89   ret i32 1
  90 }
  91