aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/CodeGen/DirectX/UAddc_errors.ll
blob: 0c6964a09c953f0d17dbc21c57dc0b0c50d2996f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
; We use llc for this test so that we don't abort after the first error.
; RUN: not llc %s -o /dev/null 2>&1 | FileCheck %s

target triple = "dxil-pc-shadermodel6.3-library"

; DXIL operation UAddc only supports i32. Other integer types are unsupported.
; CHECK: error:
; CHECK-SAME: in function uaddc_i16
; CHECK-SAME: Cannot create UAddc operation: Invalid overload type

define noundef i16 @uaddc_i16(i16 noundef %a, i16 noundef %b) "hlsl.export" {
  %uaddc = call { i16, i1 } @llvm.uadd.with.overflow.i16(i16 %a, i16 %b)
  %carry = extractvalue { i16, i1 } %uaddc, 1
  %sum = extractvalue { i16, i1 } %uaddc, 0
  %carry_zext = zext i1 %carry to i16
  %result = add i16 %sum, %carry_zext
  ret i16 %result
}

; CHECK: error:
; CHECK-SAME: in function uaddc_return
; CHECK-SAME: DXIL ops that return structs may only be used by insert- and extractvalue

define noundef { i32, i1 } @uaddc_return(i32 noundef %a, i32 noundef %b) "hlsl.export" {
  %uaddc = call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 %a, i32 %b)
  ret { i32, i1 } %uaddc
}

declare { i16, i1 } @llvm.uadd.with.overflow.i16(i16, i16)