| ; RUN: llc < %s -mtriple=x86_64-- -O0 | FileCheck %s |
| ; Make sure fast-isel doesn't reset the materialised constant map |
| ; across an intrinsic call. |
| |
| ; CHECK: movl $100000 |
| ; CHECK-NOT: movl $100000 |
| define i1 @test1(i32 %v1, i32 %v2, i32* %X) nounwind { |
| entry: |
| %a = shl i32 100000, %v1 |
| %t = call {i32, i1} @llvm.sadd.with.overflow.i32(i32 %a, i32 %v2) |
| %ext = extractvalue {i32, i1} %t, 0 |
| %sum = shl i32 100000, %ext |
| %obit = extractvalue {i32, i1} %t, 1 |
| br i1 %obit, label %overflow, label %normal |
| |
| normal: |
| store i32 %sum, i32* %X |
| br label %overflow |
| |
| overflow: |
| ret i1 false |
| } |
| |
| declare {i32, i1} @llvm.sadd.with.overflow.i32(i32, i32) |