parent
							
								
									4b8dbcb74c
								
							
						
					
					
						commit
						686cf49f7a
					
				| 
						 | 
					@ -1,7 +1,15 @@
 | 
				
			||||||
 | 
					; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 | 
				
			||||||
; RUN: opt -S -instcombine < %s | FileCheck %s
 | 
					; RUN: opt -S -instcombine < %s | FileCheck %s
 | 
				
			||||||
 | 
					
 | 
				
			||||||
define float @test1(i32 %scale) {
 | 
					define float @test1(i32 %scale) {
 | 
				
			||||||
entry:
 | 
					; CHECK-LABEL: @test1(
 | 
				
			||||||
 | 
					; CHECK-NEXT:    [[TMP1:%.*]] = icmp slt i32 %scale, 1
 | 
				
			||||||
 | 
					; CHECK-NEXT:    [[TMP2:%.*]] = select i1 [[TMP1]], i32 1, i32 %scale
 | 
				
			||||||
 | 
					; CHECK-NEXT:    [[TMP3:%.*]] = sitofp i32 [[TMP2]] to float
 | 
				
			||||||
 | 
					; CHECK-NEXT:    [[TMP4:%.*]] = icmp sgt i32 [[TMP2]], 0
 | 
				
			||||||
 | 
					; CHECK-NEXT:    [[SEL:%.*]] = select i1 [[TMP4]], float [[TMP3]], float 0.000000e+00
 | 
				
			||||||
 | 
					; CHECK-NEXT:    ret float [[SEL]]
 | 
				
			||||||
 | 
					;
 | 
				
			||||||
  %tmp1 = icmp sgt i32 1, %scale
 | 
					  %tmp1 = icmp sgt i32 1, %scale
 | 
				
			||||||
  %tmp2 = select i1 %tmp1, i32 1, i32 %scale
 | 
					  %tmp2 = select i1 %tmp1, i32 1, i32 %scale
 | 
				
			||||||
  %tmp3 = sitofp i32 %tmp2 to float
 | 
					  %tmp3 = sitofp i32 %tmp2 to float
 | 
				
			||||||
| 
						 | 
					@ -10,10 +18,3 @@ entry:
 | 
				
			||||||
  ret float %sel
 | 
					  ret float %sel
 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
; CHECK-LABEL: define float @test1(
 | 
					 | 
				
			||||||
; CHECK:  %[[tmp1:.*]] = icmp slt i32 %scale, 1
 | 
					 | 
				
			||||||
; CHECK:  %[[tmp2:.*]] = select i1 %[[tmp1]], i32 1, i32 %scale
 | 
					 | 
				
			||||||
; CHECK:  %[[tmp3:.*]] = sitofp i32 %[[tmp2]] to float
 | 
					 | 
				
			||||||
; CHECK:  %[[tmp4:.*]] = icmp sgt i32 %[[tmp2]], 0
 | 
					 | 
				
			||||||
; CHECK:  %[[sel:.*]] = select i1 %[[tmp4]], float %[[tmp3]], float 0.000000e+00
 | 
					 | 
				
			||||||
; CHECK:  ret float %[[sel]]
 | 
					 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
		Reference in New Issue