1 ; RUN: opt < %s -sccp -S | FileCheck %s 2 3 ; Test that SCCP has basic knowledge of when div can nuke overdefined values. 4 5 ; 0 / X = 0 even if X is overdefined. 6 ; CHECK-LABEL: test1 7 ; CHECK-NEXT: ret i32 0 8 define i32 @test1(i32 %foo) { 9 %tinkywinky = udiv i32 0, %foo 10 ret i32 %tinkywinky 11 } 12 13 ; CHECK-LABEL: test2 14 ; CHECK-NEXT: ret i32 0 15 define i32 @test2(i32 %foo) { 16 %tinkywinky = sdiv i32 0, %foo 17 ret i32 %tinkywinky 18 } 19 20 ; CHECK-LABEL: test3 21 ; CHECK: ret i32 %tinkywinky 22 define i32 @test3(i32 %foo) { 23 %tinkywinky = udiv i32 %foo, 0 24 ret i32 %tinkywinky 25 } 26 27 ; CHECK-LABEL: test4 28 ; CHECK: ret i32 %tinkywinky 29 define i32 @test4(i32 %foo) { 30 %tinkywinky = sdiv i32 %foo, 0 31 ret i32 %tinkywinky 32 } 33
