| ; 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) |
| |
