← Back to branch summary

~pali/+junk/llvm-toolchain-3.7

« back to all changes in this revision

Viewing changes to test/CodeGen/AArch64/setcc-takes-i32.ll

  • Committer: Package Import Robot
  • Author(s): Sylvestre Ledru
  • Date: 2015-07-15 17:51:08 UTC
  • Revision ID: package-import@ubuntu.com-20150715175108-l8mynwovkx4zx697
Tags: upstream-3.7~+rc2
Import upstream version 3.7~+rc2

Show diffs side-by-side

added added

removed removed

Lines of Context:
test/CodeGen/AArch64/setcc-takes-i32.ll
 
1
; RUN: llc -verify-machineinstrs -mtriple=aarch64-none-linux-gnu -o - %s | FileCheck %s
 
2
 
 
3
; Most important point here is that the promotion of the i1 works
 
4
; correctly. Previously LLVM thought that i64 was the appropriate SetCC output,
 
5
; which meant it proceded in two steps and produced an i64 -> i64 any_ext which
 
6
; couldn't be selected and faulted.
 
7
 
 
8
; It was expecting the smallest legal promotion of i1 to be the preferred SetCC
 
9
; type, so we'll satisfy it (this actually arguably gives better code anyway,
 
10
; with flag-manipulation operations allowed to use W-registers).
 
11
 
 
12
declare {i64, i1} @llvm.umul.with.overflow.i64(i64, i64)
 
13
 
 
14
define i64 @test_select(i64 %lhs, i64 %rhs) {
 
15
; CHECK-LABEL: test_select:
 
16
 
 
17
  %res = call {i64, i1} @llvm.umul.with.overflow.i64(i64 %lhs, i64 %rhs)
 
18
  %flag = extractvalue {i64, i1} %res, 1
 
19
  %retval = select i1 %flag, i64 %lhs, i64 %rhs
 
20
  ret i64 %retval
 
21
; CHECK: ret
 
22
}