| |
| ; RUN: clspv-opt -ReplaceOpenCLBuiltin %s -o %t.ll |
| ; RUN: FileCheck %s < %t.ll |
| |
| ; AUTO-GENERATED TEST FILE |
| ; This test was generated by add_sat_test_gen.cpp. |
| ; Please modify the that file and regenerate the tests to make changes. |
| |
| target datalayout = "e-p:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024" |
| target triple = "spir-unknown-unknown" |
| |
| define i32 @hadd_uint(i32 %a, i32 %b) { |
| entry: |
| %call = call i32 @_Z4haddjj(i32 %a, i32 %b) |
| ret i32 %call |
| } |
| |
| declare i32 @_Z4haddjj(i32, i32) |
| |
| ; CHECK: [[a_shr:%[a-zA_Z0-9_.]+]] = lshr i32 %a, 1 |
| ; CHECK: [[b_shr:%[a-zA-Z0-9_.]+]] = lshr i32 %b, 1 |
| ; CHECK: [[add:%[a-zA-Z0-9_.]+]] = add i32 [[a_shr]], [[b_shr]] |
| ; CHECK: [[join:%[a-zA-Z0-9_.]+]] = and i32 %a, %b |
| ; CHECK: [[and:%[a-zA-Z0-9_.]+]] = and i32 [[join]], 1 |
| ; CHECK: [[hadd:%[a-zA-Z0-9_.]+]] = add i32 [[add]], [[and]] |
| ; CHECK: ret i32 [[hadd]] |
